The Impreciseness of UML and Implications for ModelicaML

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.

[1]  Martin Gogolla,et al.  Analysis of UML Stereotypes within the UML Metamodel , 2002, UML.

[2]  Cris Kobryn.  UML 2001: a standardization odyssey , 1999, CACM.

[3]  J. Favre,et al.  On Squeezing M 0 , M 1 , M 2 , and M 3 into a Single Object Diagram , 2005 .

[4]  Marie-Pierre Gervais,et al.  Collaborative software engineering on large-scale models: requirements and experience in ModelBus , 2008, SAC '08.

[5]  Alex E. Bell.  Death by UML Fever , 2004, ACM Queue.

[6]  K Lano,et al.  Making Uml Precise , 1998 .

[7]  Lu Zhang,et al.  Applying OO Metrics to Assess UML Meta-models , 2004, UML.

[8]  Robert B. France,et al.  Model-driven development using UML 2.0: promises and pitfalls , 2006, Computer.

[9]  Adrian Pop,et al.  Towards Unified System Modeling with the ModelicaML UML Profile , 2007, EOOLT.

[10]  Cris Kobryn.  Will UML 2.0 be agile or awkward? , 2002, CACM.

[11]  Chris Rupp,et al.  UML 2.0—Neue Möglichkeiten und alte Probleme , 2004, Informatik-Spektrum.

[12]  Mario Jeckle.  UML Profiles und sonstige UML-bezogene Aktivit?aten , 2002 .

[13]  Peter Fritzson,et al.  Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation , 2002, Proceedings 35th Annual Simulation Symposium. SS 2002.

[14]  Anna Gerber,et al.  MOF to EMF: there and back again , 2003, eclipse '03.

[15]  Adrian Pop,et al.  Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica , 2008 .

[16]  Ivan Porres,et al.  Difference and Union of Models , 2003, UML.

[17]  Martin Fowler.  What Is the Point of the UML? , 2003, UML.

[18]  Adrian Pop,et al.  The OpenModelica Modeling, Simulation, and Development Environment , 2005 .

[19]  Adrian Pop,et al.  Integrated UML and modelica system modeling with ModelicaML in Eclipse , 2007, ICSE 2007.

[20]  Arnor Solberg.  Navigating the MetaMuddle , 2005 .

[21]  Qing Li,et al.  Unified Modeling Language , 2009 .

[22]  Adrian Pop,et al.  Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica , 2008, 19th Australian Conference on Software Engineering (aswec 2008).

[23]  A Standardization Odyssey , 1999 .

[24]  Tony Clark,et al.  Model-driven development - Guest editor's introduction , 2003 .

[25]  Perdita Stevens,et al.  «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications , 2003, Lecture Notes in Computer Science.