Definition and analysis of composition structures for discrete-event models

The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discrete-event models. Interfaces are introduced as separate units of description that complement model definitions. As XML documents, interfaces may be stored in databases to search, select, and analyze composition candidates based on public visible property descriptions. A meta model formalizes interfaces, components, and compositions, such that the refinement of interfaces into model implementations and the compatibility of interfaces can be analyzed. The composition approach combines different hierarchical relations (type hierarchies, refinement hierarchies, and composition hierarchies) to simplify the modeling process.

[1]  Alexander Verbraeck,et al.  Component-based distributed simulations: the way forward? , 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..

[2]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[3]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) , 2008 .

[4]  T. Janssen.  Compositionality ∗ with an appendix by B , 1997 .

[5]  Greg O'Keefe,et al.  Improving the definition of UML , 2006, MoDELS'06.

[6]  M. Broy,et al.  2nd UML 2 semantics symposium: formal semantics for UML , 2006, MoDELS'06.

[7]  H. Vangheluwe.  DEVS as a common denominator for multi-formalism hybrid systems modelling , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[8]  Elliote Rusty Harold.  Processing Xml with Java , 2002 .

[9]  Thomas A. Henzinger,et al.  INTERFACE-BASED DESIGN , 2005 .

[10]  Axel Lehmann,et al.  Proceedings of the eighteenth workshop on Parallel and distributed simulation , 2004 .

[11]  Hilding Elmqvist,et al.  Object-Oriented and Hybrid Modeling in Modelica , 2001 .

[12]  Paul J. Walmsley,et al.  XML Schema Part 0: Primer Second Edition , 2004 .

[13]  A. G. Kleppe,et al.  A Language Description is More than a Metamodel , 2007 .

[14]  Gunnar Schröter,et al.  Characterization and comparison of formal refinement and development relations for software modeling techniques , 2005 .

[15]  I. Oliver,et al.  On UML ’ s Composite Structure Diagram , 2006 .

[16]  Mathias Röhl,et al.  Composing simulation models using interface definitions based on web service descriptions , 2007, 2007 Winter Simulation Conference.

[17]  Andreas Tolk,et al.  The Levels of Conceptual Interoperability Model , 2003 .

[18]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[19]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[20]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[21]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.