Checking behavioural subtypes via refinement

IFIP Advances in Information and Communication Technology

Volumn 81, Issue , 2002, Pages 79-93

  Wehrheim, Heike ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Behavioural subtyping; CSP; Modelchecking; Refinement

Indexed keywords

CONSTRAINT SATISFACTION PROBLEMS; FORMAL LANGUAGES; MODEL CHECKING; SEMANTICS;

BEHAVIOUR DESCRIPTIONS; BEHAVIOURAL SUBTYPING; DYNAMIC BEHAVIOURS; METHOD INVOCATION; MODEL CHECKER; PROCESS ALGEBRAS; REFINEMENT; SUBTYPING RELATION;

FORMAL METHODS;

EID: 84891316301     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35496-5_7     Document Type: Article

References (17)

1. America, P. (1991). Designing an object-oriented programming language with behavioural subtyping. In de Bakker, J., de Roever, W., and Rozenberg, G., editors, REX Workshop: Foundations of Object-Oriented Languages, number 489 in LNCS. Springer.
2. Balzarotti, C, Cindio, F. D., and Pomello, L. (1999). Observation equivalences for the semantics of inheritance. In Ciancarini, P. and Gorrieri, R., editors, FMOODS '99, Formal methods for open object-based distributed systems.
3. Bowman, H., Briscoe-Smith, C., Derrick, J., and Strulo, B. (1997). On behavioural subtyping in LOTOS. In Bowman, H. and Derrick, J., editors, Formal methods for open object-based distributed systems, pages 335 - 351. Chapman & Hall.
4. Cusack, E. (1991). Refinement, conformance and inheritance. Formal Aspects of Computing, 3:129-141.
5. Engels, G., Heckel, R., and Kuster, J. (2001). Rule-based Specification of Behavioral Consistency based on the UML Meta-Model. In Gogolla, M., editor, UML 2001. Springer.
6. FDR (1997). Failures-Divergence Refinement: FDR2 User Manual. Formal Systems (Europe) Ltd.
7. Fischer, C. and Wehrheim, H. (1999). Model-checking CSP-OZ specifications with FDR. In Araki, K., Galloway, A., and Taguchi, K., editors, Proceedings of the 1st International Conference on Integrated Formal Methods (1FM), pages 315-334. Springer.
8. Fischer, C. and Wehrheim, H. (2000). Behavioural subtyping relations for object-oriented formalisms. In Rus, T., editor, AMAST 2000: International Conference on Algebraic Method-ology And Software Technology, number 1816 in Lecture Notes in Computer Science, pages 469-483. Springer.
9. Hoare, C. A. R. (1985). Communicating Sequential Processes. Prentice-Hall.
10. Liskov, B. and Wing, J. (1994). A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6): 1811-1841.
11. Nierstrasz, O. (1995). Regular types for active objects. In Nierstrasz, O. and Tsichritzis, D., editors, Object-oriented software composition, pages 99-121. Prentice Hall.
12. Roscoe, A. W. (1997). The Theory and Practice of Concurrency. Prentice-Hall.
13. Rudkin, S. (1992). Inheritance in LOTOS. In Parker, K. and Rose, G., editors, FORTE '92, pages 409-424. Elsevier.
14. Van der Aalst, W. and Basten, T. (1997). Life-cycle inheritance - a Petri-net-based approach. In Azema, P. and Balbo, G., editors, Application and Theory of Petri Nets, number 1248 in LNCS, pages 62-81. Springer.
15. Van der Aalst, W. and Basten, T. (1999). Inheritance of Workflows - An approach to tackling problems related to change. Technical Report 99/06, Eindhoven University of Technology.
16. Wegner, P. and Zdonik, B. (1988). Inheritance as an incremental modification mechanism or What like is and isn't like. In ECOOP'88: European Conference on Object-Oriented Programming, volume 322 of Lecture Notes in Computer Science. Springer.
17. Wehrheim, H. (2001). Patterns and Rules for Behavioural Subtyping. In Kim, M., Chin, B., Kang, S., and Lee, D., editors, FORTE 2001, pages 335 - 352. Kluwer.