System Model-Based Definition of Modeling Language Semantics-Reference-Cited by-同舟云学术

System Model-Based Definition of Modeling Language Semantics

Published:2009 Issue: Volume: Page:152-166
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Systems
language:
Short-container-title:

Author:

Grönniger Hans,Ringert Jan Oliver,Rumpe Bernhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02138-1_10

Reference30 articles.

1. Object Management Group: Unified Modeling Language: Superstructure Version 2.1.2 (07-11-02) (2007), http://www.omg.org/docs/formal/07-11-02.pdf

2. Harel, D., Rumpe, B.: Meaningful Modeling: What’s the Semantics of “Semantics”? Computer 37(10), 64–72 (2004)

3. France, R., Evans, A., Lano, K., Rumpe, B.: The UML as a Formal Modeling Notation. Computer Standards & Interfaces 19, 325–334 (1998)

4. Breu, R., Grosu, R., Huber, F., Rumpe, B., Schwerin, W.: Towards a Precise Semantics for Object-Oriented Modeling Techniques. In: Kilov, H., Rumpe, B. (eds.) Proceedings ECOOP 1997 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, Technische Universität München, TUM-I9725, pp. 53–59 (1997)

5. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Springer, Heidelberg (2002)

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Enabling Domain-Specific Modeling Language Exchange Between Modeling Tools;Communications in Computer and Information Science;2024

2. Automated generation of consistent models using qualitative abstractions and exploration strategies;Software and Systems Modeling;2021-09-17

3. Automated generation of consistent models with structural and attribute constraints;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16

4. Development of a Bio-Solar House Model for Egyptian Conditions;Energies;2020-02-13

5. Automated Generation of Consistent Graph Models with Multiplicity Reasoning;IEEE Transactions on Software Engineering;2020