Atom3: A tool for multi-formalism and meta-modelling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2306, Issue , 2002, Pages 174-188

  De Lara, Juan ^a,b   Vangheluwe, Hans ^b  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

Automatic code generation; Graph grammars; Meta modeling; Modelingan d simulation; Multi formalism modeling

Indexed keywords

ATOMS; AUTOMATIC PROGRAMMING; CONTEXT SENSITIVE GRAMMARS; DYNAMICAL SYSTEMS; FORMAL LANGUAGES; GRAPH THEORY; NETWORK COMPONENTS; SEMANTICS;

AUTOMATIC CODE GENERATIONS; GRAPH GRAMMAR; META MODEL; MODELINGAN D SIMULATION; MULTI-FORMALISM MODELS;

SOFTWARE ENGINEERING;

EID: 84937217390     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_12     Document Type: Conference Paper

References (25)

1. AToM3 Home page: http://moncs.cs.mcgill.ca/MSDL/research/projects/ATOM3.html
2. AGG Home page: http://tfs.cs.tu-berlin.de/agg/
3. Aho, A.V., Sethi, R., Ullman, J.D. 1986. Compilers, principles, techniques and tools. Chapter 6, Type Checking. Addison-Wesley.
4. 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.
5. DOME guide. http://www.htc.honeywell.com/dome/, Honeywell Technology Center. Honeywell, 1999, version 5.2.1
6. Dorr, H. 1995. Efficient Graph Rewritingan d its implementation. Lecture Notes in Computer Science, 922. Springer.
7. 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
8. 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.
9. 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.
10. Fiadeiro, J.L., Maibaum, T. 1995. InterconnectingF ormalisms: Supporting Modularity, Reuse and Incrementality. Proc.3rd Symposium on the Fundations of Software Engineering, G.E.Kaiser(ed). pp.: 72-80, ACM Press.
11. Finkelstein, A., Kramer, J., Goedickie, M. 1990. ViewPoint Oriented Software Development. Proc, of the Third Int. Workshop on Software Engineering and its Applications.
12. Gamma, E., Helm, R., Johnson, R., and Vlissides, J. 1995. Design Patterns, Elements of Reusable Object-Oriented Software. Professional ComputingS eries. Addison-Wesley.
13. GRACE Home page: http://www.informatik.uni-bremen.de/theorie/GRACEland/GRACEland.html
14. Harel, D. 1998. On visual formalisms. Communications of the ACM, 31(5):514–530.
15. MetaCase Home Page: http://www.MetaCase.com/
16. Meta-Modelling Facility, from the precise UML group: http://www.cs.york.ac.uk/puml/mmf/index.html
17. 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.
18. 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
19. OMG Home Page: http://www.omg.org
20. PROGRES home page: http://www-i3.informatik.rwth-aachen.de/research/projects/progres/main.html
21. Python home page: http://www.python.org
22. Sztipanovits, J., et al. 1995. MULTIGRAPH: An architecture for model-integrated computing. In ICECCS’95, pp. 361-368, Ft. Lauderdale, Florida, Nov. 1995.
23. 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.
24. Zave, P., Jackson, M. 1993. Conjunction as Composition. ACM Transactions on Software Engineering and Methodology 2(4), 1993, 371-411.
25. 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.