Filters








13,656 Hits in 2.2 sec

Refinement Patterns for UML

K. Lano, K. Androutsopolous, D. Clark
2005 Electronical Notes in Theoretical Computer Science  
This paper describes strategies or 'patterns' for the refinement of UML specifications into executable implementations, using a semantically precise subset, UML-RSDS, of UML.  ...  Future work includes the development of a complete catalogue of model transformations and refinement patterns for UML-RSDS, and their incorporation in tools.  ...  Refinement Patterns for Constraint Implementation More fine-grain refinement transformations can be carried out by considering the constraints of a model.  ... 
doi:10.1016/j.entcs.2005.04.028 fatcat:5kc5r3uv3zdufdxnnfd7g5oz3q

Heuristics on the Definition of UML Refinement Patterns [chapter]

Claudia Pons
2006 Lecture Notes in Computer Science  
structures that designers do not perceive as refinements in UML.  ...  The aim of this work is not to formalize the UML notation itself, but to substantiate a number of intuitions about the nature of possible refinement relations in UML, and even to discover particular refinement  ...  This means that each single Object-Z refine-ment pattern can be analyzed from a number of perspectives, which give rise to a number of UML refinement structures, one for each perspective.  ... 
doi:10.1007/11611257_44 fatcat:wpo3rgtusjbodfjgvznjoviuna

Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements

Heather J. Goldsby, Sascha Konrad, Betty H.C. Cheng
2007 10th IEEE High Assurance Systems Engineering Symposium (HASE'07)  
Behavioral consistency is achieved by analyzing the UML models for adherence to the constraints specified in the goal model.  ...  To address these challenges, this paper introduces COBRA patterns that provide UML and goal model templates to be instantiated in tandem to create models that capture system requirements and their constraints  ...  A goal is AND-refined if the sub-goals must all be achieved for the goal to be achieved. A goal is OR-refined if only one of the sub-goals must be achieved for the goal to be achieved.  ... 
doi:10.1109/hase.2007.21 dblp:conf/hase/GoldsbyKC07 fatcat:qz5qputq2nacjmjnhjryprhgr4

Towards a context-driven development framework for ambient intelligence

D. Wagelaar
2004 24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings.  
We propose using a context-driven framework for the development of AmI components, which is based upon a gradual refinement mechanism.  ...  This refinement mechanism can cope with the course-grained differences between component models as well as the fine-grained differences between computing configurations.  ...  Composition patterns are template packages that are parametrised with specific UML element. The KobrA method [3] is an approach for component-based product line engineering with UML.  ... 
doi:10.1109/icdcsw.2004.1284047 dblp:conf/icdcsw/Wagelaar04 fatcat:a4htwaghbzfpnim6irm5cby5k4

VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)

Dániel Varró, András Pataricza
2003 Journal of Software and Systems Modeling  
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration  ...  algebras, etc.) for formal analysis purposes as foreseen, for instance, in submissions for the OMG RFP for Schedulability, Performance and Time.  ...  The authors are grateful to Gergely Varró, John Rushby and many of his colleagues for their valuable comments.  ... 
doi:10.1007/s10270-003-0028-8 fatcat:ht7nobu7gjcs3lx4ico2mp5l7u

Model transformations in the UPES/UPSoC development process for embedded systems

Elvinia Riccobene, Patrizia Scandurra
2009 Innovations in Systems and Software Engineering  
and techniques for embedded systems design and analysis based on UML, Abstract State Machines, and SystemC at STMicroelectronics, AST R&I of Agrate  ...  Modeling languages, like profiles of the Unified Modeling Language (UML), are increasingly being adopted for specific domains of interest to alleviate the complexity of platforms and express domain concepts  ...  for the applied pattern.  ... 
doi:10.1007/s11334-009-0080-9 fatcat:kubeojzn6remffzih7vbjwkadu

Reuse of Specification Patterns with the B Method [article]

Sandrine Blazy, Régine Laleau
2006 arXiv   pre-print
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language.  ...  Reusing a specification pattern means instantiating it or composing it with other specification patterns.  ...  Ideally, a pattern should be specified by several machines (for instance, one machine for each class of the UML diagram), all included in a machine which stands for an interface of the pattern (see UML-B  ... 
arXiv:cs/0610097v1 fatcat:6qcu5uubarc6na3blknk45cuoy

Detecting Design Level Anti-patterns; Structure and Semantics in UML Class Diagrams

Eman K. Elsayed
2018 Journal of Computers  
Its four phases merge between OWL(Web Ontology Language) Ontologybased and event B for detection many anti-patterns; semantic and structure in UML class diagram components (attributes, classes, operations  ...  The correction phase Case Study This section presents the experimental case "Hospital UML class diagram" for applying the proposed method.  ...  It scopes on the design for UML class diagram.  ... 
doi:10.17706/jcp.13.6.638-654 fatcat:nywgtzbqlzh5zkum2wvky4iloq

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models [chapter]

Dániel Varró, András Pataricza
2002 Lecture Notes in Computer Science  
In the paper, we propose a UML-based metamodeling technique with precise static and dynamic semantics (based on a refinement calculus and graph transformation) where the structure and operational semantics  ...  algebras, etc.) for formal analysis purposes as foreseen, for instance, in submissions for the OMG RFP for Schedulability, Performance and Time.  ...  Acknowledgments We would like to thank Gergely Varró, John Rushby and many of his colleagues at SRI International for their valuable comments.  ... 
doi:10.1007/3-540-45800-x_3 fatcat:2vhfv2fc55dvrmoc7yojy3d55e

Reuse of Specification Patterns with the B Method [chapter]

Sandrine Blazy, Frédéric Gervais, Régine Laleau
2003 Lecture Notes in Computer Science  
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language.  ...  Reusing a specification pattern means instantiating it or composing it with other specification patterns.  ...  Ideally, a pattern should be specified by several machines (for instance, one machine for each class of the UML diagram), all included in a machine which stands for an interface of the pattern (see UML-B  ... 
doi:10.1007/3-540-44880-2_4 fatcat:ih2u3un53vhbbkdoqptpvwdxwq

Structuring UML Design Deliverables [chapter]

Pavel Hruby
1999 Lecture Notes in Computer Science  
This paper introduces a simple structure for design deliverables that can be used for software development with UML.  ...  Many would like to use UML for software development, but do not know how to structure design models and what the relationships between various UML diagrams are.  ...  User Interface The pattern can be used for designing user interface. Screens (windows) can be shown as stereotyped classes in UML.  ... 
doi:10.1007/978-3-540-48480-6_22 fatcat:7bues4idzveufhxrpnnmuzenvy

Incremental Database Design using UML-B and Event-B

Ahmed Al-Brashdi, Michael Butler, Abdolbaghi Rezazadeh
2018 Electronic Proceedings in Theoretical Computer Science  
UML-B is a graphical representation of the Event-B formalism and the Rodin tool supports verification for Event-B and UML-B.  ...  This research aims to investigate and deliver a comprehensive and practical approach for modelling databases in formal methods through layered refinements.  ...  The patterns will define how provide a solution for common problems when modelling information systems using UML-B and Event-B.  ... 
doi:10.4204/eptcs.271.3 fatcat:qwxy3flrbnhlliswhms7gpkchi

Reliable yet flexible software through formal model transformation (rule definition)

Abbas Rasoolzadegan, Ahmad Abdollahzadeh Barforoush
2013 Knowledge and Information Systems  
Semi-formal (visual) modeling methods, which are widely used in practical large-scale software development, are not good enough for reliable software development.  ...  UML class diagram makes the use of design patterns and polymorphism easy for designers to develop high-flexible artifacts.  Among all model transformation mechanisms, the proposed mechanism is the first  ...  According to the application of the Observer pattern, this part is a suitable candidate for revision, using the Observer pattern. The right column of Figure 3 illustrates the revised version.  ... 
doi:10.1007/s10115-013-0621-2 fatcat:t6zpzzznbfgwjdtyq2rlpaz52y

A METHODOLOGY FOR DESIGNING HIGH CONFIDENCE PATTERN VIA EVENT B

E.K Elsayed, A Ibrahim
2017 International Journal of Intelligent Computing and Information Sciences  
The accuracy of the proposed verification steps are suitable for using to any systems or medical device.  ...  Finally, we could verify that the code generated from the proposed approach is correct and formal to use as a pattern.  ...  These patterns are ATM UML class diagram [23] , Library and Android UML class diagrams [24] , Hasp UML class diagram [25] , Seminar, Order and Auction UML class diagrams [26] and Furniture UML class  ... 
doi:10.21608/ijicis.2017.9149 fatcat:gcustkk4afhbvlrulfdt7egm7i

SystemC/C-based model-driven design for embedded systems

Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
2009 ACM Transactions on Embedded Computing Systems  
Section 6 illustrates the notion of model refinement (carried out at UML level) focusing, in particular, on the communication refinement aspect.  ...  We then included a multithread C UML profile for modelling software applications.  ...  For example, we illustrate the application at UML level of these communication refinement patterns to a hardware-hardware scenario.  ... 
doi:10.1145/1550987.1550993 fatcat:ikn2b5yenrf5xh5nxsakzvo5km
« Previous Showing results 1 — 15 out of 13,656 results