Composing Variable Structure Models - A Revision of COMO

Alexander Steiniger, Adelinde M. Uhrmacher

Abstract

Component-based approaches aim at facilitating the storage, exchange, and reuse of components and their compositions. For this, components provide interfaces that formulate contracts composition can be based upon. Variable structure models imply the change of compositions, couplings, and even interfaces in terms of ports. Thus, combining variable structure models with a component-based approach poses specific challenges. We present a revision of the model composition framework COMO taking the specifics of variable structure models into account, e.g., by specifying interfaces as sets of parameters and supersets of ports, defining couplings intensionally, and introducing supersets of components as part of the compositional description. As target for generating executable simulation models the formalism ML-DEVS has been selected.

References

  1. Barros, F. J. (1995). Dynamic Structure Discrete Event System Specification: A New Formalism for Dynamic Structure Modeling and Simulation. In Alexopoulos, C., Kang, K., Lilegdon, W. R., and Goldsman, D., editors, Proceedings of the 1995 Winter Simulation Conference, pages 781-785. IEEE Computer Society.
  2. Bergstra, J. A. and Klop, J. W. (1989). ACTt: A Universal Axiom System for Process Specification. In Wirsing, M. and Bergstra, J. A., editors, Algebraic Methods: Theory, Tools and Applications, volume 394 of Lecture Notes in Computer Science, pages 447-463. Springer-Verlag.
  3. Chen, G. and Szymanski, B. K. (2002). COST: A Component-Oriented Discrete Event Simulator. In Yücesan, E., Chen, C.-H., Snowdon, J. L., and Charnes, J. M., editors, Proceedings of the 2002 Winter Simulation Conference, pages 776-782. IEEE Computer Society.
  4. Chow, A. C. and Zeigler, B. P. (1994). Parallel DEVS: A parallel, hierarchical, modular modeling formalism. In Tew, J. D., S., M., Sadowski, D. A., and Seila, A., editors, Proceedings of the 1994 Winter Simulation Conference, pages 716-722. IEEE Computer Society.
  5. de Lara, J. and Vangheluwe, H. L. M. (2002). AToM3: A Tool for Multi-formalism and Meta-modelling. In Kutsche, R.-D. and Weber, H., editors, Fundamental Approaches to Software Engineering, volume 2306 of Lecture Notes in Computer Science, pages 174-188. Springer-Verlag.
  6. Krüger, F., Steiniger, A., Bader, S., and Kirste, T. (2012). Evaluating the robustness of activity recognition using computational causal behavior models. In Dey, A. K., Chu, H.-H., and Hayes, G., editors, Proceedings of the 2012 ACM Conference on Ubiquitous Computing, pages 1066-1074. ACM Press.
  7. Maus, C. (2008). Component-Based Modelling of RNA Structure Folding. In Heiner, M. and Uhrmacher, A. M., editors, Computational Methods in Systems Biology, volume 5307 of Lecture Notes in Computer Science, pages 44-62. Springer-Verlag.
  8. Milner, R. (1999). Communicating and Mobile Systems: the p-calculus. Cambridge University Press, 1st edition.
  9. Oury, N. and Plotkin, G. D. (2011). Coloured Stochastic Multilevel Multiset Rewriting. In Fages, F., editor, Computational Methods in Systems Biology, pages 171-181. ACM Press.
  10. Petty, M. D. and Weisel, E. W. (2003). A Composability Lexicon. In Proceedings of the Spring 2003 Simulation Interoperability Workshop, pages 181-187.
  11. Priami, C. and Quaglia, P. (2005). Beta Binders for Biological Interactions. In Danos, V. and Schachter, V., editors, Computational Methods in Systems Biology, volume 3082 of Lecture Notes in Computer Science, pages 20-33. Springer-Verlag.
  12. Röhl, M. and Uhrmacher, A. M. (2006). Composing Simulations from XML-Specified Model Components. In Perrone, L. F., Wieland, F. P., Liu, J., Lawson, B. G., Nicol, D. M., and Fujimoto, R. M., editors, Proceedings of the 2006 Winter Simulation Conference, pages 1083-1090. IEEE Computer Society.
  13. Röhl, M. and Uhrmacher, A. M. (2008). Definition and Analysis of Composition Structures for DiscreteEvent Models. In Mason, S. J., Hill, R. R., Mönch, L., Rose, O., Jefferson, T., and Fowler, J. W., editors, Proceedings of the 2008 Winter Simulation Conference, pages 942-950. IEEE Computer Society.
  14. Steiniger, A., Krüger, F., and Uhrmacher, A. M. (2012). Modeling Agents and their Environment in MultiLevel-DEVS. In Laroque, C., Himmelspach, J., Pasupathy, R., Rose, O., and Uhrmacher, A. M., editors, Proceedings of the 2012 Winter Simulation Conference. IEEE Computer Society. Article No. 233.
  15. Szabo, C. and Teo, Y. M. (2007). On Syntactic Composability and Model Reuse. In Al-Dabass, D., Zobel, R., Abraham, A., and Turner, S., editors, Proceedings of the First Asia International Conference on Modelling & Simulation, pages 230-237. IEEE.
  16. Tolk, A. and Muguira, J. A. (2003). The Level of Conceptual Interoperability Model. In Fall Simulation Interoperability Workshop.
  17. Uhrmacher, A. M. (2001). Dynamic Structures in Modeling and Simulation: A Reflective Approach. ACM Transactions on Modeling and Computer Simulation, 11(2):206-232.
  18. Uhrmacher, A. M., Ewald, R., John, M., Maus, C., Jeschke, M., and Biermann, S. (2007). Combining Micro and Macro-Modeling in DEVS for Computational Biology. In Henderson, S. G., Biller, B., Hsieh, M.-H., Shortle, J., Tew, J. D., and Barton, R. R., editors, Proceedings of the 2007 Winter Simulation Conference, pages 871-880. IEEE Computer Society.
  19. Verbraeck, A. (2004). Component-based Distributed Simulations. The Way Forward? In Proceedings of the 18th Workshop on Parallel and Distributed Simulation, pages 141-148. IEEE Computer Society.
  20. Zeigler, B. P., Praehofer, H., and Kim, T. G. (2000). Theory of Modeling and Simulation. Academic Press, 2nd edition.
  21. Zinn, S. (2011). A Continuous-Time Microsimulation and First Steps Towards a Multi-Level Approach in Demography. Dissertation, University of Rostock, Rostock, Germany.
Download


Paper Citation


in Harvard Style

Steiniger A. and Uhrmacher A. (2013). Composing Variable Structure Models - A Revision of COMO . In Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-69-3, pages 286-293. DOI: 10.5220/0004486302860293


in Bibtex Style

@conference{simultech13,
author={Alexander Steiniger and Adelinde M. Uhrmacher},
title={Composing Variable Structure Models - A Revision of COMO},
booktitle={Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2013},
pages={286-293},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004486302860293},
isbn={978-989-8565-69-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Composing Variable Structure Models - A Revision of COMO
SN - 978-989-8565-69-3
AU - Steiniger A.
AU - Uhrmacher A.
PY - 2013
SP - 286
EP - 293
DO - 10.5220/0004486302860293