Very abstract specifications: A formalism independent approacht

Mathematical Structures in Computer Science

Volumn 8, Issue 1, 1998, Pages 17-66

  Reggio, Gianna ^a   Cerioli, Maura ^b  

^a UNIVERSITY OF GENOA   (Italy)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0007028737     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0960129597002466     Document Type: Article

References (19)

1. Astesiano, E. and Reggio, G. (1993a) A Metalanguage for the Formal Requirement Specification of Reactive Systems. In: Woodcock, J. C. P. and Larsen, P. G. (eds.) Proc. FME’93: Industrial-Strength Formal Methods. Springer-Verlag Lecture Notes in Computer Science 670.
2. Astesiano, E. and Reggio, G. (1993b) Specifying Reactive Systems by Abstract Events. Proc. of Seventh International Workshop on Software Specification and Design (IWSSD-7), IEEE Computer Society, Los Alamitos, CA.
3. Beierle, C. and Voss, A. (1987) Viewing Implementations as an Institution. In: Pitt, D. H., Poigne, A. and Rydeheard, D. E. (eds.) Proceedings of Category Theory and Computer Science. Springer-Verlag Lecture Notes in Computer Science 283 196–218.
4. Burstall, R. M. and Goguen, J. A. (1980) The Semantics of Clear, a Specification Language. In: Bjorner, D. (ed.) Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification. Springer-Verlag Lecture Notes in Computer Science 86 292–332.
5. Burstall, R. M. and Goguen, J. A. (1984) Introducing Institutions. In: Clarke, E. and Kozen, D. (eds.) Logics of Programming Workshop. Springer-Verlag Lecture Notes in Computer Science 164 221–255.
6. Burstall, R. M. and Goguen, J. A. (1992) Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery 39 (1) 95–146.
7. Cerioli, M. and Reggio, G. (1993) Algebraic Oriented Institutions. In: Nivat, M., Rattray, C., Rus, T. and Scollo, G. (eds.) Algebraic Methodology and Software Technology (AMAST’93), Workshops in Computing, Springer-Verlag.
8. Cerioli, M. and Reggio, G. (1994) Institutions for Very Abstract Specifications. In: Ehrig, H. and Orejas F. (eds.) Recent Trends in Data Type Specification. Springer-Verlag Lecture Notes in Computer Science 785 113–127. Cerioli, M. and Reggio, G. (1995) Modular Construction of Formalisms within the SMoLCS Method for the Specification of Concurrent Systems. Talk presented at the First FLIRT Workshop, Genova, October 1995.
9. Meseguer, J. (1989) General Logic. In: Logic Colloquium’’87, North-Holland.
10. Meseguer, J. (1992) Conditional Rewriting as a Unified Model of Concurrency. Theoretical Computer Science 96 73–155.
11. Pepper, P. (1991) Transforming Algebraic Specifications - Lessons Learnt from an Example. In: Moller, B. (ed.) Proc. IFIP TC2 Conf. on Constructing Programs from Specifications, Pacific Grove, California, May 1991, Elsevier 1–27.
12. Reggio, G. (1991) Entities: an Institution for Dynamic Systems. In: Ehrig, EL, Jantke, K. R, Orejas, F. Computer and Reichel, H. (eds.) Recent Trends in Data Type Specification. Springer-Verlag Lecture Notes in Science 534 244–265.
13. Reggio, G. (1993) Event Logic for Specifying Abstract Dynamic Data Types. In: Bidoit, M. and Choppy, C. (eds.) Recent Trends in Data Type Specification. Springer-Verlag Lecture Notes in Computer Science 655 292–309.
14. Reggio, G., Morgavi, A. and Filippi, V. (1992) Specification of a High-Voltage Substation. Technical Report PDISI-92-12, DISI - Universita di Genova, Italy.
15. Reichwein, G. and Fiadeiro, J. (1992) A Semantic Framework for Interoperability. Technical report, Departemento de Matematica, Instituto Superior tecnico, Universidade tecnica de Lisboa.
16. Sannella, D. and Tarlecki, A. (1988) Specifications in an Arbitrary Institution. Information and Computation 76.
17. Talcott, C. L. (1996) Interaction Semantics for Components of Distributed Systems. 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS'96.
18. Tarlecki, A. (1985) On the Existence of Free Models in Abstract Algebraic Institutions. Theoretical Computer Science 37 (3) 269–304.
19. Tarlecki, A. (1986) Quasi-varieties in Abstract Algebraic Institutions. Journal of Computer and System Science 33 333–360.