Component and interface refinement in closed-system specifications

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

Volumn 1708, Issue , 1999, Pages 134-154

  Kurki Suonio, Reino ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

OPEN SYSTEMS; SPECIFICATIONS;

ABSTRACT INTERFACES; CLOSED SYSTEMS; COMPONENT INTERFACES; DETAILED MODELING; EXTERNAL ENVIRONMENTS; IMPLEMENTABILITY; INTERFACE REFINEMENT; ORIGINAL MODEL;

FORMAL METHODS;

EID: 84958058410     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_10     Document Type: Conference Paper

References (11)

1. Abadi, M., Lamport, L.: Conjoining specifications. ACM TOPLAS 17 (May 1995) 507-534
2. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems 14 (1987) 25-59
3. Herrmann, P., Krumm, H.: Compositional specification and verification of highspeed transfer protocols. In Protocol Specification, Testing and Verification XIV (Eds. S. T. Vuong and S. T. Chanson), Chapman & Hall 1994, 339-346
4. Järvinen, H.-M.: The Design of a Specification Language for Reactive Systems. Tampere University of Technology, Publication 95, 1992
5. Järvinen, H.-M., Kurki-Suonio, R., Sakkinen, M, Systä, K.: Object-oriented specification of reactive systems. Proc. 12th Int. Conf. on Software Eng., IEEE Computer Society 1990, 63-71
6. Kurki-Suonio, R.: Fundamentals of object-oriented specification and modeling of collective behaviors. In Object-Oriented Behavioral Specifications (Eds. H. Kilov and W. Harvey), Kluwer 1996, 101-120
7. Kurki-Suonio, R., Mikkonen, T.: Harnessing the power of interaction. In Information Modelling and Knowledge Bases X (Eds. H. Jaakkola, H. Kangassalo and E. Kawaguchi), IOS Press 1999, 1-11
8. Lamport, L.: The temporal logic of actions. ACM TOPLAS 16 (May 1994) 872-923
9. Lamport, L.: Composition: a way to make proofs harder. Compaq Systems Research Center, Technical Note 1997-030a, January 1998
10. Mikkonen, T.: A development cycle for dependable reactive systems. In Proc. IFIP InternationalWorkshop on Dependable Computing and its Applications, DCIA98. Available at http://www.cs.wits.ac.za/research/workshop/ifip98.html
11. Mikkonen, T.: Formalizing design patterns. Proc. 20th Int. Conf. on Software Eng., IEEE Computer Society 1998, 115-124