Model-driven monitoring: An application of graph transformation for design by contract

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

Volumn 4178 LNCS, Issue , 2006, Pages 336-350

  Engels, Gregor ^a,b   Lohmann, Marc ^a   Sauer, Stefan ^a   Heckel, Reiko ^c  

^a UNIVERSITY OF PADERBORN   (Germany)

^b sd and m AG Software Design and Management   (Germany)

^c UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; COMPUTER SOFTWARE; DATA TRANSFER; MATHEMATICAL MODELS; SEMANTICS; SOFTWARE ENGINEERING;

CODE LEVEL; GRAPH TRANSFORMATIONS; GRAPH TRANSITIONS; HAND-CODED PROGRAMS;

MATHEMATICAL TRANSFORMATIONS;

EID: 33750281023     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841883_24     Document Type: Conference Paper

References (18)

1. Meservy, T., Fenstermacher, K.D.: Transforming software development: An MDA road map. Computer 38(9) (2005) 52-58
2. OMG (Object Management Group): Request for proposal: Mof 2.0 query / views / transformations rfp (2002)
3. Meyer, B.: Applying "Design by Contract". IEEE Computer 25(10) (1992) 40-51
4. Meyer, B.: Eiffel: The Language, second printing edn. Prentice-Hall (1992)
5. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev27, Department of Computer Science, Iowa State University (2005)
6. Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. APCS (Applied Categorical Structures) 9(1) (2001) 83-110
7. Ehrig, H., Pfender, M., Schneider, H.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, IEEE (1973) 167-180
8. Engels, G., Güldali, B., Juwig, O., Lohmann, M., Richter, J.P.: Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In Biel, B., Book, M., Gruhn, V., eds.: Software Enginneering 2006, Fachtagung des GI Fachbereichs Softwaretechnik, Volume 79 of Lecture Notes in Informatics., Köllen Druck+Verlag GmbH (2006) 111-122
9. Lohmann, M., Richter, J.P., Engels, G., Güldali, B., Juwig, O., Sauer, S.: Abschlussbericht: Semantische Beschreibung von Enterprise Services - Eine industrielle Fallstudie. Technical Report 1, Software Quality Lab , Unversity of Paderborn (2006)
10. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley Professional (1999)
11. Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3,4) (1996) 287-313
12. Lohmann, M., Sauer, S., Engels, G.: Executable visual contracts. In Erwig, M., Schürr, A., eds.: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05). (2005) 63-70
13. Heckel, R., Lohmann, M.: Model-driven development of reactive informations systems: From graph transformation rules to JML contracts. International Journal on Software Tools for Technology Transfer (STTT) (2006) accepted for publication.
14. Zündorf, A.: Graph pattern matching in progres. In Cuny, J., Ehrig, H., Engels, G., Rozenberg, G., eds.: 5th. Int. Workshop on Graph-Grammars and their Application to Computer Science. LNCS 1073 (1996)
15. Heckel, R., Küster, J.M., Taentzer, G.: Towards automatic translation of UML models into semantic domains. In Kreowski, H.J., Knirsch, P., eds.: Proceedings of the Appligraph Workshop on Applied Graph Transformation. (2002)
16. Eclipse Consortium: Eclipse graphical editing framework (GEF) - version 3.1.1. http://www.eclipse.org/gef/ (2006)
17. Eclipse Consortium: Eclipse modeling framework (EMF) - version 2.1.2. http:// www.eclipse.org/emf/ (2006)
18. Eclipse Consortium: Java emitter templates (JET). Eclipse Modeling Framework (EMF) - Version 2.1.1, http://www.eclipse.org/emf/ (2006)