Foundations of heterogeneous specification

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

Volumn 2755, Issue , 2003, Pages 359-375

  Mossakowski, Till ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

MORPHISMS;

SPECIFICATIONS;

EID: 0347587028     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40020-2_21     Document Type: Article

References (49)

1. S. Alagi. Institutions: integrating objects, XML and databases. Information and Software Technology, 44:207-216, 2002.
2. M. Arrais and J. L. Fiadeiro. Unifying theories in different institutions. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specifications, 11th WADT, LNCS 1130, pages 81-101. Springer Verlag, 1996.
3. E. Astesiano and M. Cerioli. Relationships between logical frameworks. In M. Bidoit and C. Choppy, editors, Proc. 8th ADT workshop, LNCS 655, pages 126-143. Springer Verlag, 1992.
4. S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using CASL. In C. Choppy and D. Bert, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, LNCS 1827, pages 73-88. Springer-Verlag, 2000.
5. M. Bidoit and R. Hennicker. Using an institution encoding for proving consequences of structured COL-specifications. Talk at the WADT 2002, Frauenchiemsee.
6. T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, 286:197-245, 2002.
7. E. Brinksma, editor. Information processing systems -open systems interconnection. LOTOS: a formal description technique based on the temporal ordering of observational behaviour. 1988. International Standard ISO 8807.
8. M. Cerioli. Relationships between Logical Formalisms. PhD thesis, TD-4/93, Università di Pisa-Genova-Udine, 1993.
9. M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311-347, 1997.
10. CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.cofi.info.
11. CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language - Semantics. Note S-9 (Documents/CASL/Semantics, version 0.96), in [10], July 1999.
12. R. Diaconescu. Grothendieck institutions. Applied categorical structures, 10:383-402, 2002.
13. R. Diaconescu and K. Futatsugi. Logical foundations of CafeOBJ. Theoretical computer science, 285:289-318, 2002.
14. R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. In G. Huet and G. Plotkin, editors, Proceedings of a Workshop on Logical Frameworks, 1991.
15. F. Durán and J. Meseguer. Structured theories and institutions. In M. Hofmann, G. Rosolini, and D. Pavlovic, editors, CTCS '99 Conference on Category Theory and Computer Science, ENTCS 29. 1999.
16. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 5. Springer Verlag, Heidelberg, 1990.
17. E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B. Elsevier / MIT Press, 1990.
18. B. Ghribi and L. Logrippo. A validation environment for LOTOS. In Protocol Specification, Testing and Verification, pages 93-108, 1993.
19. P. Gibson, B. Mermet, and D. Mery. Feature interactions: A mixed semantic model approach. In IWFM, 1997.
20. J. Goguen and G. Rosu. Institution morphisms. Formal aspects of computing, 13:274-307, 2002.
21. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992.
22. Predecessor in: LNCS 164, 221-256, 1984.
23. J. A. Goguen and W. Tracz. An implementation-oriented semantics for module composition. In G. T. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems, chapter 11, pages 231-263. Cambridge University Press, New York, NY, 2000.
24. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
25. H.-J. Kreowski and T. Mossakowski. Equivalence and difference of institutions: Simulating Horn clause logic with based algebras. Mathematical Structures in Computer Science, 5:189-215, 1995.
26. N. Martí-Oliet and J. Meseguer. From abstract data types to logical frameworks. LNCS 906, pages 48-80. Springer, 1995.
27. J. Meseguer. General logics. In Logic Colloquium 87, pages 275-329. North Holland, 1989.
28. J. Meseguer. Conditional rewriting as a unified model of concurrency. Theoretical Computer Science, 96(1):73-156, 1992.
29. T. Mossakowski. Equivalences among various logical frameworks of partial algebras. In H. K. Büning, editor, Computer Science Logic. 9th Workshop, CSL'95., LNCS 1092, pages 403-433. Springer Verlag, 1996.
30. T. Mossakowski. Comorphism-based Grothendieck logics. In K. Diks and W. Rytter, editors, Mathematical foundations of computer science, LNCS 2420, pages 593-604. Springer, 2002.
31. T. Mossakowski. Heterogeneous development graphs and heterogeneous borrowing. In M. Nielsen and U. Engberg, editors, Foundations of Software Science and Computation Structures, LNCS 2303, pages 326-341. Springer-Verlag, 2002.
32. T. Mossakowski. Relating CASL with other specification languages: the institution level. Theoretical Computer Science, 286:367-475, 2002.
33. T. Mossakowski, S. Autexier, and D. Hutter. Extending development graphs with hiding. In H. Hußmann, editor, Fundamental Approaches to Software Engineering, LNCS 2029, pages 269-283. Springer-Verlag, 2001.
34. T. Mossakowski, Kolyang, and B. Krieg-Brückner. Static semantic analysis and theorem proving for CASL. In F. Parisi Presicce, editor, Recent trends in algebraic development techniques. Proc. 12th International Workshop, LNCS 1376, pages 333-348. Springer, 1998.
35. P. D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT '97, Proc. Intl. Symp. on Theory and Practice of Software Development, LNCS 1214, pages 115-137. Springer-Verlag, 1997.
36. G. Reggio, E. Astesiano, and C. Choppy. CASL-LTL - a CASL extension for dynamic reactive systems - summary. Technical Report of DISI - Università di Genova, DISI-TR-99-34, Italy, 2000.
37. M. Roggenbach. CSP-CASL - a new integration of process algebra and algebraic specification. Manuscript, Bremen, submitted for publication.
38. M. Roggenbach and T. Mossakowski. The CSP-CASL institution and its relation to temporal logic. Manuscript, University of Bremen.
39. A. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
40. A. Salibra and G. Scollo. A soft stairway to institutions. In M. Bidoit and C. Choppy, editors, Proc. 8th ADT workshop, LNCS 655, pages 310-329. Springer Verlag, 1992.
41. A. Salibra and G. Scollo. Interpolation and compactness in categories of pre-institutions. Mathematical Structures in Computer Science, 6(3):261-286, June 1996.
42. ∼tarlecki/book/index.html.
43. D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165-210, 1988.
44. D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specifications: implementations revisited. Acta Inf., 25:233-281, 1988.
45. G. Scollo. On the engineering of logics. PhD thesis, 1993. University of Twente, Enschede.
46. A. Tarlecki. Institution representation, draft note, 1987.
47. A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specifications, 11th Workshop on Specification of Abstract Data Types, LNCS 1130, pages 478-502. Springer Verlag, 1996.
48. A. Tarlecki. Towards heterogeneous specifications. In D. Gabbay and M. d. Rijke, editors, Frontiers of Combining Systems 2, 1998, Studies in Logic and Computation, pages 337-360. Research Studies Press, 2000.
49. U. Wolter, K. Didrich, F. Cornelius, M. Klar, R. Wessäly, and H. Ehrig. How to cope with the spectrum of SPECTRUM. In M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages and Tools for the Construction of Correct Software, LNCS 1009, pages 173-189. Springer-Verlag, New York, NY, 1995.