![](bg8.png)
approaches need to be inspected as well, such as
(Oury and Plotkin, 2011).
ACKNOWLEDGEMENTS
This research is supported by the German Research
Foundation (DFG) within the context of the project
MuSAMA (Multimodal Smart Appliance Ensembles
for Mobile Applications).
REFERENCES
Barros, F. J. (1995). Dynamic Structure Discrete Event Sys-
tem Specification: A New Formalism for Dynamic
Structure Modeling and Simulation. In Alexopoulos,
C., Kang, K., Lilegdon, W. R., and Goldsman, D., edi-
tors, Proceedings of the 1995 Winter Simulation Con-
ference, pages 781–785. IEEE Computer Society.
Bergstra, J. A. and Klop, J. W. (1989). ACT
τ
: A Univer-
sal Axiom System for Process Specification. In Wirs-
ing, M. and Bergstra, J. A., editors, Algebraic Meth-
ods: Theory, Tools and Applications, volume 394 of
Lecture Notes in Computer Science, pages 447–463.
Springer-Verlag.
Chen, G. and Szymanski, B. K. (2002). COST: A
Component-Oriented Discrete Event Simulator. In
Y
¨
ucesan, 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.
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.
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.
Kr
¨
uger, 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.
Maus, C. (2008). Component-Based Modelling of RNA
Structure Folding. In Heiner, M. and Uhrmacher,
A. M., editors, Computational Methods in Systems Bi-
ology, volume 5307 of Lecture Notes in Computer Sci-
ence, pages 44–62. Springer-Verlag.
Milner, R. (1999). Communicating and Mobile Systems: the
π-calculus. Cambridge University Press, 1st edition.
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.
Petty, M. D. and Weisel, E. W. (2003). A Composability
Lexicon. In Proceedings of the Spring 2003 Simula-
tion Interoperability Workshop, pages 181–187.
Priami, C. and Quaglia, P. (2005). Beta Binders for Bio-
logical 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.
R
¨
ohl, M. and Uhrmacher, A. M. (2006). Composing Sim-
ulations 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, Proceed-
ings of the 2006 Winter Simulation Conference, pages
1083–1090. IEEE Computer Society.
R
¨
ohl, M. and Uhrmacher, A. M. (2008). Definition
and Analysis of Composition Structures for Discrete-
Event Models. In Mason, S. J., Hill, R. R., M
¨
onch, L.,
Rose, O., Jefferson, T., and Fowler, J. W., editors, Pro-
ceedings of the 2008 Winter Simulation Conference,
pages 942–950. IEEE Computer Society.
Steiniger, A., Kr
¨
uger, F., and Uhrmacher, A. M. (2012).
Modeling Agents and their Environment in Multi-
Level-DEVS. In Laroque, C., Himmelspach, J., Pa-
supathy, R., Rose, O., and Uhrmacher, A. M., editors,
Proceedings of the 2012 Winter Simulation Confer-
ence. IEEE Computer Society. Article No. 233.
Szabo, C. and Teo, Y. M. (2007). On Syntactic Compos-
ability 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.
Tolk, A. and Muguira, J. A. (2003). The Level of Concep-
tual Interoperability Model. In Fall Simulation Inter-
operability Workshop.
Uhrmacher, A. M. (2001). Dynamic Structures in Mod-
eling and Simulation: A Reflective Approach. ACM
Transactions on Modeling and Computer Simulation,
11(2):206–232.
Uhrmacher, A. M., Ewald, R., John, M., Maus, C., Jeschke,
M., and Biermann, S. (2007). Combining Micro and
Macro-Modeling in DEVS for Computational Biol-
ogy. In Henderson, S. G., Biller, B., Hsieh, M.-H.,
Shortle, J., Tew, J. D., and Barton, R. R., editors, Pro-
ceedings of the 2007 Winter Simulation Conference,
pages 871–880. IEEE Computer Society.
Verbraeck, A. (2004). Component-based Distributed Sim-
ulations. The Way Forward? In Proceedings of the
18th Workshop on Parallel and Distributed Simula-
tion, pages 141–148. IEEE Computer Society.
Zeigler, B. P., Praehofer, H., and Kim, T. G. (2000). Theory
of Modeling and Simulation. Academic Press, 2nd
edition.
Zinn, S. (2011). A Continuous-Time Microsimulation and
First Steps Towards a Multi-Level Approach in De-
mography. Dissertation, University of Rostock, Ro-
stock, Germany.
ComposingVariableStructureModels-ARevisionofCOMO
293