Modelling parametric contracts and the state space of composite components by graph grammars

Lecture Notes in Computer Science

Volumn 3442, Issue , 2005, Pages 80-95

  Reussner, Ralf H ^a   Happe, Jens ^a   Habel, Annegret ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; CONTRACTS; GRAPH THEORY; MATHEMATICAL MODELS; STATE SPACE METHODS;

ARCHITECTURAL DEPENDENCY ANALYSIS; COMPONENT ADAPTATION; GRAPH GRAMMARS; MODELING PARAMETRIC CONTRACTS;

COMPUTER SCIENCE;

EID: 24644502807     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31984-9_7     Document Type: Conference Paper

References (20)

1. Alfred V. Aho and Jeffrey D. Ullman. The Theory of Parsing, Translation, and Compiling, Vol. I: Parsing. Prentice-Hall, Englewood-Cliffs, New Jersey, 1972.
2. Luca de Alfaro and Thomas A. Henzinger. Interface automata. In Volker Gruhn, editor, Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC/FSE-01), volume 26, 5 of SOFTWARE ENGINEERING NOTES, pages 109-120, New York, September 10-14 2001. ACM Press.
3. Frank Drewes, Berthold Hoffmann, and Detlef Plump. Hierarchical graph transformation. Journal of Computer and System Sciences, 64:249-283, 2002.
4. Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. World Scientific, 1999.
5. Hartmut Ehrig, Hans-Jörg Kreowski, Ugo Montanari, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, volume 3: Con-currency, Parallelism, and Distribution. World Scientific, 1999.
6. Annegret Habel. Hyperedge Replacement: Grammars and Languages, volume 643 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1992.
7. Annegret Habel. Hypergraph grammars: Transformational and algorithmic aspects. Journal of Information Processing and Cybernetics EIK, 28:241-277, 1992.
8. Annegret Habel, Jürgen Müller, and Detlef Plump. Double-pushout graph transformation revisited. Mathematical Structures in Computer Science, 11(5):637-688, 2001.
9. Gerald J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, NJ, USA, 1991.
10. Gunnar Hunzelmann. Generierung von Protokollinformation für Softwarekomponenten-schnittstellen aus annotiertem Java-Code. Diplomarbeit, Fakultät für Informatik, Universität Karlsruhe (TH), Germany, April 2001.
11. Bertrand Meyer. Applying "Design by Contract". IEEE Computer, 25(10):40-51, October 1992.
12. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs, NJ, USA, 2 edition, 1997.
13. Oscar Nierstrasz. Regular types for active objects. In Proceedings of the 8th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA-93), volume 28, 10 of ACM SIGPLAN Notices, pages 1-15, October 1993.
14. Ralf H. Reussner. Parametrisierte Verträge zur Protokolladaption bei Software-Komponenten. Logos Verlag, Berlin, 2001.
15. Ralf H. Reussner. Automatic Component Protocol Adaptation with the CoCoNut Tool Suite. Future Generation Computer Systems, 19:627-639, July 2003.
16. Ralf H. Reussner, Iman H. Poernomo, and Heinz W. Schmidt. Reasoning on software architectures with contractually specified components. In A. Cechich, M. Piattini, and A. Vallecillo, editors, Component-Based Software Quality: Methods and Techniques, number 2693 in LNCS, pages 287-325. Springer-Verlag, Berlin, Germany, 2003.
17. Grzegorz Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, volume 1: Foundations. World Scientific, 1997.
18. Judith A. Stafford, Alexander L. Wolf, and Mauro Capuroscio. The application of dependence analysis to software architecture descriptions. In M. Bernardo and P. Inverardi, editors, Formal Methods to Software Architects, volume 2804 of Lecture Notes in Computer Science, pages 52-62. Springer-Verlag, Berlin, Germany, 2003.
19. A. Vallecillo, J. Hernández, and J.M. Troya. Object interoperability. In A. Moreira and S. Demeyer, editors, Object Oriented Technology - ECOOP '99 Workshop Reader, number 1743 in LNCS, pages 1-21. Springer-Verlag, Berlin, Germany, 1999.
20. D. Yellin and R. Strom. Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.