ABSTRACT
Alf is an action language designed as a textual notation for specifying detailed behaviors within an executable UML model. The Alf implementation in MagicDraw, a leading commercial tool for modeling using the Unified Modeling Language (UML) from No Magic, Inc., aims to support the practical application of Alf in real-world uses of executable UML modeling. It includes syntax-aware editing and checking of Alf code, with valid code automatically and transparently compiled into UML activity models. The resulting models are fully integrated within the wider UML modeling context, and they can then be executed as part of full system simulation scenarios. The Alf compiler also tracks the dependencies of all Alf text on other UML model elements, allowing for automatic re-checking and re-building the Alf code as necessitated by changes in referenced elements. The goal is to provide an IDE-level experience for the easy entry and maintenance of Alf code within an overall executable UML model.
- D. Harel and M. Politi. 1998. Modeling Reactive Systems with Statecharts: The Statement Approach. McGraw-Hill.Google ScholarDigital Library
- R. Karban, N. Jankevičius, M. Elaasar. 2016. Creating System Engineering Products with Executable Models in a Model Based Engineering Environment. In Modeling, Systems Engineering, and Project Management for Astronomy VI, SPIE. Edinburgh, UK.Google Scholar
- S. J. Mellor and M. J. Balcer. 2002. Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley.Google ScholarDigital Library
- Object Management Group. 2013-2017. Concrete Syntax for a UML Action Language for Foundational UML™ (Alf™). http://www.omg.org/spec/ALFGoogle Scholar
- Object Management Group. 2011-2016. Object Constraint Language™ (OCL™). http://www.omg.org/spec/OCLGoogle Scholar
- Object Management Group. 2011-2017. Semantics of a Foundational Subset for Executable UML (fUML™). http://www.omg.org/spec/FUMLGoogle Scholar
- Object Management Group. 2000-2015. Unified Modeling Language™ (UML®). http://www.omg.org/spec/UMLGoogle Scholar
- B. Selic, G. Gullekson and P. Ward. 1994. Real-Time Object-Oriented Modeling. Wiley.Google Scholar
- S. Shlaer and S. J. Mellor. 1988. Object-Oriented Systems Analysis: Modeling the World in Data. Prentice Hall.Google ScholarDigital Library
- S. Shlaer and S. J. Mellor. 1991. Object Lifecycles: Modeling the World in States. Prentice Hall. Figure 5. Error annotations Figure 4. addProduct method activityGoogle ScholarDigital Library
Index Terms
- A development environment for the Alf language within the MagicDraw UML tool (tool demo)
Recommendations
Behaviour-Driven Development of Foundational UML Components
Behaviour-Driven Development (BDD) focuses all development activities on the delivery of behaviours - what a system should do, described such that developers and domain experts speak the same language. BDD frameworks allow users to represent the ...
Investigation and Evaluation of UML Action Languages
MODELSWARD 2014: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software DevelopmentWe analyze the current direction of UML Action Languages development and provide a classification of the proposed action language structure and statements. We also present Umple, a functioning implementation of an action language and discuss our ...
Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML
MODELSWARD 2014: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software DevelopmentInnovations constraints due to competition forces industrials to increase features and services of their sys-tems, while improving their quality and reducing both time and cost to market. Consequently, product com-plexity is not far from the limit of ...
Comments