A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Filters
Refinement Patterns for UML
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]
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
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
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)
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
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]
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
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]
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]
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]
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
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)
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
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
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