ABSTRACT
Why can it be so hard to extract the "truth" from the code, especially on important big-picture, architectural issues in large systems? Models designed for human understanding can display these things much more clearly, but how do you keep the models in sync with the code? Well, suppose the model was the code -- then you could have the best of both worlds! This is, indeed, possible, as is demonstrated using a combination of standard UML graphical class modeling and standard Alf action language programming, all based on a common, standard executable semantic foundation, new capabilities implemented in the Eclipse Papyrus UML tool. The result is a step toward a next generation agile programming environment.
- https://www.eclipse.org/modeling/emf/?project=emf#emfGoogle Scholar
- https://projects.eclipse.org/projects/modeling.mdt.oclGoogle Scholar
- https://www.eclipse.org/papyrus/Google Scholar
- https://projects.eclipse.org/projects/modeling.mmt.qvt-omlGoogle Scholar
- https://projects.eclipse.org/projects/modeling.mdt.uml2Google Scholar
- https://www.eclipse.org/Xtext/Google Scholar
- Harel, D. and Politi, M., 1998. Modeling Reactive Systems with Statecharts: The Statement Approach. McGraw-Hill.Google ScholarDigital Library
- http://agilemanifesto.org.Google Scholar
- http://www.omg.org/spec/QVT/1.1Google Scholar
- http://www.omg.org/spec/MOF/2.4.1Google Scholar
- http://www.omg.org/spec/OCL/2.3.1Google Scholar
- http://www.omg.org/spec/FUML/1.1Google Scholar
- http://www.omg.org/spec/ALF/1.0.1Google Scholar
- http://www.omg.org/spec/UML/2.5/Beta2Google Scholar
- Selic, B., Gullekson, G. and Ward. P., 1994. Real-Time Object-Oriented Modeling. Wiley.Google Scholar
- Shlaer, S. and Mellor, S. J., 1988. Object-Oriented Systems Analysis: Modeling the World in Data. Prentice Hall.Google Scholar
- Shlaer, S. and Mellor, S. J., 1991. Object Lifecycles: Modeling the World in States. Prentice Hall.Google ScholarDigital Library
Index Terms
- Agile programming with executable models: an open-source, standards-based eclipse environment
Recommendations
UML with meaning: executable modeling in foundational UML and the Alf action language
HILT '14: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technologyTo most in the software community, "modeling" is drawing pictures, something much different than "coding". While programming languages must be specified precisely enough to be executable, this has not necessarily been the case for modeling languages. ...
UML with meaning: executable modeling in foundational UML and the Alf action language
HILT '14To most in the software community, "modeling" is drawing pictures, something much different than "coding". While programming languages must be specified precisely enough to be executable, this has not necessarily been the case for modeling languages. ...
An Execution Framework for MARTE-Based Models
ICECCS '08: Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer SystemsThe UML is now the most widespread language for systems modeling. However, this language has been designed as a general purpose modeling language that may lack for modeling constructs for specific domain, as for the real-time embedded (RTE) domain. In ...
Comments