A new concept of refinement used for behaviour modelling with automata

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

Volumn 873 LNCS, Issue , 1994, Pages 154-174

  Paech, Barbara ^a   Rumpe, Bernhard ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SEMANTICS; SOFTWARE DESIGN;

ABSTRACT LEVELS; BEHAVIOUR MODELLING; FORMAL SEMANTICS; FORMAL SOFTWARE DEVELOPMENT; MODELING BEHAVIOUR; NEW APPROACHES; SOFTWARE MODEL; STATES AND TRANSITIONS;

FORMAL METHODS;

EID: 85026772567     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58555-9_94     Document Type: Conference Paper

References (15)

1. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, Version 1.0. Technical Report TUM-I9312, Technische Universität München, 1993.
2. E. Dubois, P. DuBois, and M. Petit. Oo requirement analysis: an agent perspective. In ECOOP, LNCS 707, pages 458-481. Springer Verlag, 1993.
3. S. Frolund. Inheritance of synchronization constraints in concurrent oo programming languages. In ECOOP, LNCS 615, pages 187-196. Springer, 1992.
4. D. Gangopadhyay and S. Mitra. Objchart: Tangible specification of reactive object behaviour. In ECOOP, LNCS 707, pages 432-457. Springer Verlag, 1993.
5. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
6. C.B. Jones. Tentative steps toward a development method for interfering programs. ACM To PLaS, 5(4):596-619, 1983.
7. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-oriented specification of information systems: The troll language. report 91-04, TU Braunschweig, 1991.
8. B. Liskov and J.M. Wing. A new definition of the subtype relation. In ECOOP,LNCS 707, pages 118-141. Springer Verlag, 1993.
9. J. Meseguer. Solving the inheritance anomaly in concurrent object-oriented programming. In ECOOP, LNCS 707, pages 220-246. Springer Verlag, 1993.
10. Bertrand Meyer. Eiffel: The Language. Prentice Hall, 1992.
11. J. Martin and J. Odell. Object-oriented Analysis and Design. 1993.
12. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented Modeling and Design. Prentice-Hall, 1991.
13. Trygve Reenskaug et al. OORASS: seamless support for the creation and maintenance of object oriented systems. JOOP, 5(6):27-41, October 1992.
14. K. Stolen, F. Dederichs, and R. Weber. Assumption/commitment rules for networks of asynchronously communicating agents. report TUM-I9303, TU München, 1993.
15. G. Saake, P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra. Inheritance conditions for object life cycle diagrams. In GI-Workshop Formale Grundlagen für den Entwurf von Informationssystemen. Universität Hannover, Informatik Bericht 03/94, 1994.