Conference article

The Impreciseness of UML and Implications for ModelicaML

Jörn Guy Süss
ITEE, The University of Queensland, Australia

Peter Fritzson
Linköpings Universitet, Sweden

Adrian Pop
Linköpings Universitet, Sweden

Download article

Published in: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools

Linköping Electronic Conference Proceedings 29:3, p. 17-26

Show more +

Published: 2008-07-02

ISBN: 978-91-7519-823-1

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

The Modelica community has long pursued the vision of Integrated Whole Product Modelling. This implies the ability to integrate best practice modelling languages and techniques. With ModelicaML a first step towards an open integration within the sphere of the Eclipse Modelling Framework exists. This paper argues for a development direction of ModelicaML that creates a small core with well-defined semantics; instead of the current version that is based on an extension of SysML. To this end; modelling standards and their practicabilities are discussed and exemplified through a usage scenario.

Keywords

EMF; UML; ModelicaML; design

References

[1] David Akhvlediani. Design and implementation of a UML profile for Modelica/SysML. Technical Report LITH-IDAEX– 06/061-SE; Linköpings Universitet; April 2007. Final Thesis.

[2] Marcus Alanen and Ivan Porres. Difference and union of models. In Perdita Stevens; Jon Whittle; and Grady Booch; editors; UML; volume 2863 of Lecture Notes in Computer Science; pages 2–17. Springer; 2003.

[3] Marcus Alanen and Ivan Porres. Differences and Union of Models. In Perdita Stevens; Jon Whittle; and Grady Booch; editors; UML 2003 - The Unified Modeling Language. Model Languages and Applications. 6th International Conference; San Francisco; CA; USA; October 2003; Proceedings; volume 2863 of LNCS; pages 2–17. Springer; 2003.

[4] Alex E. Bell. Death by UML Fever. ACM Queue; 2(1):72– 80; March 2004.

[5] Fadi Chabarek. Development of an OCL Parser for UML Extensions. Diplomarbeit; Technical University Berlin; Computation and Information Structures; TU Berlin Fak.IV Franklinstraße 28/29 · D-10587 Berlin; March 2003.

[6] Dan Chiorean and Dragos Cojocari. Implementation of OCL Support in UML CASE Tools - the ROCASE Experience. Information Systems Modelling ISM ’01; May 9 - 11; 2001 Hradec nad Moravicí; Czech Republic; November 2001.

[7] Andy Evans. Making UML Precise. In Luis Andrade; Ana Moreira; Akash Deshpande; and Stuart Kent; editors; Proceedings of the OOPSLA’98 Workshop on Formalizing UML. Why? How?; 1998.

[8] Martin Fowler. What Is the Point of the UML? In Perdita Stevens; Jon Whittle; and Grady Booch; editors; UML 2003 - The Unified Modeling Language. Model Languages and Applications. 6th International Conference; San Francisco; CA; USA; October 2003; Proceedings; volume 2863 of LNCS; page 325. Springer; 2003.

[9] Robert B. France; Sudipto Ghosh; Trung Dinh-Trong; and Arnor Solberg. Model-Driven Development Using UML 2.0: Promises and Pitfalls. IEEE Computer; 39(2):59–66; 2006.

[10] Peter Fritzson; Peter Aronsson; Håkan Lundvall; Kaj Nyström; Adrian Pop; Levon Saldamli; and David Broman. The OpenModelica Modeling; Simulation; and Development Environment. In Proceedings of the 46th Conference on Simulation and Modeling; pages 83–90; 2005.

[11] Peter Fritzson and Peter Bunus. Modelica-A General Object-Oriented Language for Continuous and Discrete- Event System Modeling and Simulation. In Annual Simulation Symposium; pages 365–380. IEEE Computer Society; 2002.

[12] Anna Gerber and Kerry Raymond. MOF to EMF: there and back again. In Michael G. Burke; editor; OOPSLA Workshop on Eclipse Technology eXchange; pages 60–64. ACM; 2003.

[13] Martin Gogolla; Jean-Marie Favre; and Fabian Büttner. On Squeezing M0; M1; M2; and M3 into a Single Object Diagram. In Thomas Baar; Dan Chiorean; Alexandre Correa; Martin Gogolla; Heinrich Hußmann; Octavian Patrascoiu; Peter H. Schmitt; and Jos Warmer; editors; Proc. MoDELS’ 2005 Workshop Tool Support for OCL and Related Formalisms. In: Satellite Events at MoDELS’2005 Conference. Jean-Michel Bruel (Ed.). Springer; LNCS 3844. Long Version: EPFL (Switzerland); Technical Report LGLREPORT- 2005-001; 2005.

[14] Martin Gogolla and Brian Henderson-Sellers. Analysis of UML Stereotypes within the UML Metamodel. Lecture Notes in Computer Science; 2460:84–99; 2002.

[15] Object Management Group. OMG Unified Modeling Language 2.0. OMG; http://www.omg.com/uml/; 2005.

[16] The Precise UML Group. The Precise UML Group Homepage.

[17] Mario Jeckle. UML Profiles und sonstige UML-bezogene Aktivitäten. http://www.jeckle.de/uml_spec. htm; 2004.

[18] Mario Jeckle. Unified Modeling Language (UML) Tools. http://www.jeckle.de/umltools.html; 2004.

[19] Mario Jeckle; Chris Rupp; Barbara Zengler; Stefan Queins; and Jürgen Hahn. UML 2.0 - Neue Möglichkeiten und alte Probleme. Informatik Spektrum; 27(4):323–331; 2004.

[20] Cris Kobryn. UML 2001: A Standardization Odyssey. Communications of the ACM; 42(10):29–37; October 1999.

[21] Cris Kobryn. Will UML 2.0 be agile or awkward? Commun. ACM; 45(1):107–110; 2002.

[22] Haohai Ma; Weizhong Shao; Lu Zhang; Zhiyi Ma; and Yanbing Jiang. Applying OO Metrics to Assess UML Meta-models. In Thomas Baar; Alfred Strohmeier; Ana Moreira; and Stephen J. Mellor; editors; UML 2004 - The Unified Modeling Language. Modeling Languages and Applications. 7th International Conference; Lisbon; Portugal; October 2004; Proceedings; volume 3271 of LNCS; pages 12–26. Springer; 2004.

[23] OMG. Requirements for UML Profiles; 1.0 edition; June 1999.

[24] OMG. Model Driven Architecture (MDA); July 2001.

[25] OMG. Meta Object Facility(MOF) Specification; April 2002. Version 1.4.

[26] OMG. Unified Modeling Language Specification; Version 1.3; March 2003.

[27] OMG. Unified Modeling Language Specification; Version 1.4; July 2004.

[28] OMG. SysML; May 2006.

[29] Adrian Pop; David Akhlevidiani; and Peter Fritzson. Towards Unified System Modeling with the ModelicaML UML Profile. In EOOLT’2007; Berlin; July 2007.

[30] Adrian Pop; David Akhvlediani; and Peter Fritzson. Integrated UML and Modelica System Modeling with ModelicaML in Eclipse. In The 11th IASTED Int. Conf on Software Eng. and Appl. (SEA 2007); Cambridge; MA; USA; Nov 19-21 2007.

[31] Arnor Solberg; Robert France; and Raghu Reddy. Navigating the MetaMuddle. In Proceedings of the 4th Workshop in Software Model Engineering (WiSME 2005); Montego Bay; Jamaica; 2005.

[32] Prawee Sriplakich; Xavier Blanc; and Marie-Pierre Gervais. Collaborative software engineering on large-scale models: requirements and experience in modelbus. In Roger L. Wainwright and Hisham Haddad; editors; SAC; pages 674– 681. ACM; 2008.

[33] Jim Steele. UML2 gripes; May 2004. Blog on MOF2 inconsistencies. Snapshot on 11/19/04.

[34] Jörn Guy Süß; Adrian Pop; Peter Fritzson; and Luke Wildman. Towards integrated model-driven testing of scada systems using the eclipse modeling framework and modelica. In Australian Software Engineering Conference; pages 149–159. IEEE Computer Society; 2008.

[35] Jos Warmer. MDA Explained. Addison-Wesley; to appear; 2003.

[36] Erik Wedin. Model-Based Development of Embedded Systems with MDA and xtUML. Presentation at the MODPROD Workshop on Model-based Product Development at the University of Linköping; Sweden; Feb 2007.

Citations in Crossref