Definition und Realisierung einer Plattform zur modellbasierten Komposition von Simulationsmodellen

Modular hierarchical modeling formalisms distinghuish clearly between simulation algorithms and model definitions and offer well-defined means to construct models flexibly. At the same time they are particularily aimed at a centralized development of models. In contrast, simulation-based integration approaches clearly separate interface descriptions from model implementations, but offer less support for constructing models and experimenting with them. A carefull combination of concepts from the area of component-oriented software development, model-driven development and service-oriented architectures allows to combine the advantages of model-based and simulation-based composition approaches. This thesis conceives, defines, and realizes a platform for the composition of simulation models. The platform allows to associate model implementations, defined in specific formalisms, with formalism-independent interface definitions and to deploy models as parametrizable components. Interface definitions may be stored as XML documents in databases to search, select, and analyze composition candidates. A meta model formalizes the description means of the component platform, such that the refinement of interfaces into model implementations and the compatibility of interfaces can be checked automatically. The composition tool CoMo (Component Models) realizes the platform definition in the Java programming language. CoMo allows to derive platform-specific simulation models from platformindependent compositions. The integration of simulation platforms is demonstrated on the example of the existing simulation system James II. The developed composition platform is used in a simulation study to evaluate service trading mechanisms in mobile ad-hoc networks.

[1]  Adelinde M. Uhrmacher,et al.  Plug'n Simulate , 2007, 40th Annual Simulation Symposium (ANSS'07).

[2]  M. Beek,et al.  A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods ? , 2006 .

[3]  Michael F. G. Klein,et al.  Comparison of overlay mechanisms for service trading in ad hoc networks , 2004 .

[4]  Bran Selic.  On the Semantic Foundations of Standard UML 2.0 , 2004, SFM.

[5]  Chien-Chung Shen.  A CORBA facility for network simulation , 1996, Winter Simulation Conference.

[6]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

[7]  Levent Yilmaz,et al.  On the Need for Contextualized Introspective Models to Improve Reuse and Composability of Defense Simulations , 2004 .

[8]  Birgitta König-Ries,et al.  Dynamic Binding for BPEL Processes - A Lightweight Approach to Integrate Semantics into Web Services , 2006, ICSOC Workshops.

[9]  Koustuv Dasgupta,et al.  A service creation environment based on end to end composition of Web services , 2005, WWW '05.

[10]  Robert C. Martin.  Agile Software Development, Principles, Patterns, and Practices , 2002 .

[11]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[12]  Paul Gustavson,et al.  Using XML and BOMs to rapidly compose simulations and simulation environments , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[13]  Bernard P. Zeigler,et al.  Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems , 1990 .

[14]  John A. Miller,et al.  Ontologies for modeling and simulation: issues and approaches , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[15]  Rob J. van Glabbeek.  A Characterisation of Weak Bisimulation Congruence , 2005, Processes, Terms and Cycles.

[17]  Edward A. Lee,et al.  Classes and subclasses in actor-oriented design , 2004, MEMOCODE.

[18]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[19]  M. Heisel.  A Description Structure for Simulation Model Components , 2004 .

[20]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[21]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[22]  Andreas Tolk,et al.  What Comes After the Semantic Web - PADS Implications for the Dynamic Web , 2006, 20th Workshop on Principles of Advanced and Distributed Simulation (PADS'06).

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

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

[25]  Jean-Marc Jézéquel,et al.  Making Components Contract Aware , 1999, Computer.

[26]  Alexander Verbraeck,et al.  Effect of simulation building Blocks on Simulation , 2003 .

[27]  Bernard P. Zeigler,et al.  Parallel DEVS: a parallel, hierarchical, modular modeling formalism , 1994, Proceedings of Winter Simulation Conference.

[28]  Paul K. Davis,et al.  Observations on new developments in composability and multi-resolution modeling , 2007, 2007 Winter Simulation Conference.

[29]  Bernard P. Zeigler,et al.  DEVSML: automating DEVS execution over SOA towards transparent simulators , 2007, SpringSim '07.

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

[31]  Hans Vangheluwe,et al.  Transforming Statecharts to Devs , .

[32]  Gerti Kappel,et al.  Representing XML Schema in UML - A Comparison of Approaches , 2004, ICWE.

[33]  Birgitta König-Ries,et al.  Activity-Based User Modeling in Wireless Networks , 2006, Mob. Networks Appl..

[34]  B. Zeigler,et al.  Support for Hierarchical Modular Component-based Model Construction in DEVS / HLA 1 , 1999 .

[35]  Juan de Lara,et al.  XML-based modeling and simulation: meta-models are models too , 2002, WSC '02.

[36]  Paul K. Davis,et al.  Improving the Composability of DoD Models and Simulations , 2004 .

[37]  Nabil Hameurlain.  On compatibility and behavioural substitutability of component protocols , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

[38]  Joseph P. Macker,et al.  Mobile Ad hoc Networking (MANET): Routing Protocol Performance Issues and Evaluation Considerations , 1999, RFC.

[39]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[40]  Adelinde M. Uhrmacher,et al.  Towards Reusing Model Components in Systems Biology , 2004, CMSB.

[41]  Bedir Tekinerdogan,et al.  An Analysis of Composability and Composition Anomalies , 2003 .

[42]  M. Röhl.  Platform Independent Specification Of Simulation Model Components , 2006 .

[43]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

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

[45]  Robin Milner,et al.  Operational and Algebraic Semantics of Concurrent Processes , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[46]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[47]  Alexander Verbraeck,et al.  Advantages and Disadvantages of Building Blocks in Simulation Studies , 2003 .

[48]  Alexander Verbraeck,et al.  Distributed Simulation in Industry - A Survey Part 2 - Experts on Distributed Simulation , 2006, Proceedings of the 2006 Winter Simulation Conference.

[49]  Dr. Andreas Tolk.  Metamodels and Mappings – Ending the Interoperability War , 2022 .

[50]  Adelinde M. Uhrmacher,et al.  Controlled Experimentation with Agents - Models and Implementations , 2004, ESAW.

[51]  Ki-Hyung Kim,et al.  A Web Services-Based Distributed Simulation Architecture for Hierarchical DEVS Models , 2004, AIS.

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

[53]  Jack P. C. Kleijnen,et al.  EUROPEAN JOURNAL OF OPERATIONAL , 1992 .

[54]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[55]  S. Kasputis,et al.  Composable simulations , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).

[56]  Adelinde M. Uhrmacher,et al.  Exploiting web service techniques for composing simulation models , 2007, 2007 Winter Simulation Conference.

[57]  Björn Niehaves,et al.  A Framework for Epistemological Perspectives on Simulation , 2005, J. Artif. Soc. Soc. Simul..

[58]  Athman Bouguettaya,et al.  A multilevel composability model for semantic Web services , 2005, IEEE Transactions on Knowledge and Data Engineering.

[59]  Adelinde M. Uhrmacher,et al.  A Non-Fragmenting Partitioning Algorithm for Hierarchical Models , 2006, Proceedings of the 2006 Winter Simulation Conference.

[60]  Zhong Wang,et al.  A survey of software component models , 2005 .

[61]  José Luis Risco-Martín,et al.  A W3C XML schema for DEVS scenarios , 2007, SpringSim '07.

[62]  Ki-Hyung Kim,et al.  CORBA-Based, Multi-threaded Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-hierarchical One , 2004, ICCSA.

[63]  Rassul Ayani,et al.  Simulation Model Composition using BOMs , 2006, 2006 Tenth IEEE International Symposium on Distributed Simulation and Real-Time Applications.

[64]  Philip Koopman,et al.  A widely deployable Web-based network simulation framework using CORBA IDL-based APIs , 1999, WSC '99.

[65]  Gabriel A. Wainer,et al.  On the Construction of Complex Models Using Reusable Components , 2004 .

[66]  Yuliang Shi,et al.  Formal analysis of compatibility of Web services via CCS , 2005, International Conference on Next Generation Web Services Practices (NWeSP'05).

[67]  José M. Troya,et al.  Compatibility and inheritance in software architectures , 2001, Sci. Comput. Program..

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

[69]  Adelinde M. Uhrmacher,et al.  A component-based simulation layer for JAMES , 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..

[70]  Adelinde M. Uhrmacher,et al.  The Role Of Reflection In Simulating And Testing Agents: An Exploration Based On The Simulation System James , 2002, Appl. Artif. Intell..

[71]  Erhard Rahm,et al.  Comparison of Schema Matching Evaluations , 2002, Web, Web-Services, and Database Systems.

[72]  Bas Luttik,et al.  Finite Equational Bases in Process Algebra: Results and Open Questions , 2005, Processes, Terms and Cycles.

[73]  Andreas Tolk,et al.  Using Web Services to Integrate Heterogeneous Simulations in a Grid Environment , 2004, International Conference on Conceptual Structures.

[74]  Stephan Schulz,et al.  Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

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

[76]  Erhard Rahm,et al.  Schema and ontology matching with COMA++ , 2005, SIGMOD '05.

[77]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[78]  Birgitta König-Ries,et al.  DIANE: an integrated approach to automated service discovery, matchmaking and composition , 2007, WWW '07.

[79]  Edward A. Lee,et al.  A behavioral type system and its application in Ptolemy II , 2004, Formal Aspects of Computing.

[80]  Douglas C. Schmidt,et al.  Overview of the CORBA component model , 2001 .

[81]  Alexander Pretschner,et al.  Abstractions for Model-Based Testing , 2005, Electron. Notes Theor. Comput. Sci..

[82]  Adelinde M. Uhrmacher,et al.  Composing Simulations from XML-Specified Model Components , 2006, Proceedings of the 2006 Winter Simulation Conference.

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

[84]  Marko A. Hofmann.  Challenges of Model Interoperation in Military Simulations , 2004, Simul..

[85]  John A. Miller,et al.  Simulation and the semantic Web , 2005, Proceedings of the Winter Simulation Conference, 2005..

[86]  Jean-Marie Favre,et al.  Towards a Megamodel to Model Software Evolution Through Transformations , 2005, SETra@ICGT.

[87]  Andreas Tolk,et al.  Applying a Methodology to Identify Structural Variances in Interoperations , 2006 .

[88]  Dmitry Zinoviev,et al.  Mapping DEVS Models onto UML Models , 2005, ArXiv.

[89]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[90]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

[91]  Jonas Larsson.  A Framework for Implementation-Independent Simulation Models , 2006, Simul..

[92]  Desney S. Tan,et al.  Design and Evaluation of an Individually Simulated Mobility Model in Wireless Ad Hoc Networks , 2001 .

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

[94]  Alexander Verbraeck,et al.  Distributed Simulation in Industry - A Survey Part 1 - The Cots Vendors , 2006, Proceedings of the 2006 Winter Simulation Conference.

[95]  Philipp Obreiter,et al.  Lanes - A Lightweight Overlay for Service Discovery in Mobile Ad Hoc Networks , 2003 .

[96]  Tracy Camp,et al.  MANET simulation studies: the incredibles , 2005, MOCO.

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

[98]  Clemens A. Szyperski,et al.  Component technology - what, where, and how? , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[99]  B.K. Szymanski,et al.  COST: a component-oriented discrete event simulator , 2002, Proceedings of the Winter Simulation Conference.

[100]  Faron Moller,et al.  On the computational complexity of bisimulation, redux , 2003, Inf. Comput..

[101]  Andreas Tolk.  Avoiding another Green Elephant - A Proposal for the Next Generation HLA based on the Model Driven Architecture , 2010, ArXiv.

[102]  Lidia Fuentes,et al.  Adding Roles to CORBA Objects , 2003, IEEE Trans. Software Eng..

[103]  James D. Arthur,et al.  Improving the model development process: expanding our horizons in verification, validation, and accreditation research and practice , 2002, WSC '02.

[104]  Jan Himmelspach,et al.  JAMES II - Experiences and Interpretations , 2009, Multi-Agent Systems.

[105]  Adelinde M. Uhrmacher,et al.  Dynamic structures in modeling and simulation: a reflective approach , 2001, TOMC.

[106]  Jos C. M. Baeten,et al.  A brief history of process algebra , 2005, Theor. Comput. Sci..

[107]  Erhard Rahm,et al.  COMA - A System for Flexible Combination of Schema Matching Approaches , 2002, VLDB.

[108]  Michael Pidd,et al.  Simulation software: not the same yesterday, today or forever , 2006, J. Simulation.

[109]  Leslie S. Winters,et al.  Composable M&S Web Services for Net-Centric Applications , 2006 .

[110]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .

[111]  Adelinde M. Uhrmacher,et al.  Flexible integration of XML into modeling and simulation systems , 2005, Proceedings of the Winter Simulation Conference, 2005..

[112]  Reinhold Weiss,et al.  Model-driven development of recursive CORBA component assemblies , 2004, Proceedings. 30th Euromicro Conference, 2004..

[113]  Levent Yilmaz,et al.  Verifying Collaborative Behavior in Component-Based DEVS Models , 2004, Simul..

[114]  Todd R. Andel,et al.  On the credibility of manet simulations , 2006, Computer.

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

[116]  Javier Cámara,et al.  Issues in the formalization of Web Service Orchestrations , 2005 .

[117]  Paul F. Reynolds,et al.  In Search of the Philosopher's Stone: Simulation Composability Versus Component-Based Software Design , 2004 .

[118]  Edward A. Lee,et al.  Actor-oriented models for codesign: balancing re-use and performance , 2004 .

[119]  Mikel D. Petty,et al.  Validity of Models and Classes of Models in Semantic Composability , 2003 .

[120]  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).

[121]  Michael Klein.  DIANEmu – A Java Based Generic Simulation Environment for Distributed Protocols , 2004 .

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

[123]  Sarah M. Keating,et al.  Evolving a lingua franca and associated software infrastructure for computational systems biology: the Systems Biology Markup Language (SBML) project. , 2004, Systems biology.

[124]  Gwen Salaün,et al.  Describing and Reasoning on Web Services using Process Algebra , 2004, ICWS.

[125]  Ling Liu,et al.  Formalizing the semantics of UML statecharts with Z , 2004, The Fourth International Conference onComputer and Information Technology, 2004. CIT '04..

[126]  Jana Koehler,et al.  Web Service Composition - Current Solutions and Open Problems , 2003 .

[127]  Eyal de Lara,et al.  Simplified simulation models for indoor MANET evaluation are not robust , 2004, 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004..

[128]  Bernard P. Zeigler,et al.  Implications of M&S Foundations for the V&V of Large Scale Complex Simulation Models , 2002 .

[129]  B. Page,et al.  Simulating discrete event systems with UML and JAVA , 2006 .