Abstract
This article introduces the combined use of multi-formalism modelling and meta-modelling to facilitate computer assisted modelling of complex systems. The approach allows one to model different parts of a system using different formalisms. Models can be automatically converted between formalisms thanks to information found in a Formalism Transformation Graph (FTG), proposed by the authors. To aid in the automatic generation of multi-formalism modelling tools, formalisms are modelled in their own right (at a meta-level) within an appropriate formalism. This has been implemented in the interactive tool AToM3. This tool is used to describe formalisms commonly used in the simulation of dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate, optimise, ...) models expressed in the corresponding formalism. AToM3 relies on graph rewriting techniques and graph grammars to perform the transformations between formalisms as well as for other tasks, such as code generation and operational semantics specification.
Chapter PDF
Similar content being viewed by others
Keywords
References
Aho, A.V., Sethi, R., Ullman, J.D. 1986. Compilers, principles, techniques and tools. Chapter 6, Type Checking. Addison-Wesley.
Blonstein, D., Fahmy, H., Grbavec, A.. 1996. Issues in the Practical Use of Graph Rewriting. Lecture Notes in Computer Science, Vol. 1073, Springer, pp.38–55.
DOME guide. http://www.htc.honeywell.com/dome/, Honeywell Technology Center. Honeywell, 1999, version 5.2.1
Dorr, H. 1995. Efficient Graph Rewriting and its implementation. Lecture Notes in Computer Science, 922. Springer.
J. Ebert, R. Sttenbach, I. Uhe 1997. Meta-CASE in Practice: a Case for KOGGE. Advanced Information Systems Engineering, Proceedings of the 9th International Conference, CAiSE’97 LNCS 1250, S. 203–216, Berlin, 1997. See KOGGE home page at: http://www.uni-koblenz.de/~ist/kogge.en.html
Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) 1991. Graph Grammars and their application to Computer Science: 4th International Workshop, Proceedings. Lecture Notes in Computer Science, Vol. 532, Springer.
Enders, B.E., Heverhagen, T., Goedicke, M., Troepfner, P., Tracht, R. 2001. Towards an Integration of Different Specification Methods by Using the ViewPoint Framework. Special Issue of the Transactions of the SDPS: Journal of Integrated Design&Process Science, Society for Design&Process Science, forthcoming.
Fiadeiro, J.L., Maibaum, T. 1995. Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. Proc.3rd Symposium on the Fundations of Software Engineering, G.E. Kaiser(ed). pp.: 72–80, ACM Press.
Finkelstein, A., Kramer, J., Goedickie, M. 1990. ViewPoint Oriented Software Development. Proc, of the Third Int. Workshop on Software Engineering and its Applications.
Gamma, E., Helm, R., Johnson, R., and Vlissides, J. 1995. Design Patterns, Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley.
Harel, D. 1998. On visual formalisms. Communications of the ACM, 31(5):514–530.
Mosterman, P. and Vangheluwe, H. 2000. Computer automated multi paradigm modelingin control system design. IEEE Symposium on Computer-Aided Control System Design, pp.:65–70. IEEE Computer Society Press.
Niskier, C., Maibaum, T., Schwabe, D. 1989 A pluralistic Knowledge Based Approach to Software Specification. 2nd European Software Engineering Conference, LNCS 387, Springer Verlag 1989, pp.:411–423
Sztipanovits, J., et al. 1995. MULTIGRAPH: An architecture for model-integrated computing. In ICECCS’95, pp. 361–368, Ft. Lauderdale, Florida, Nov. 1995.
Vangheluwe, H. 2000. DEVS as a common denominator for multi-formalism hybrid systems modelling. IEEE Symposium on Computer-Aided Control System Design, pp.:129–134. IEEE Computer Society Press.
Zave, P., Jackson, M. 1993. Conjunction as Composition. ACM Transactions on Software Engineering and Methodology 2(4), 1993, 371–411.
Zeigler, B., Praehofer, H. and Kim, T.G. 2000. Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press, second edition.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lara, J.d., Vangheluwe, H. (2002). AToM3: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, RD., Weber, H. (eds) Fundamental Approaches to Software Engineering. FASE 2002. Lecture Notes in Computer Science, vol 2306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45923-5_12
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43353-8
Online ISBN: 978-3-540-45923-1
eBook Packages: Springer Book Archive