State-based extension of casl

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

Volumn 1945, Issue , 2000, Pages 3-24

  Baumeister, Hubert ^a   Zamulin, Alexandre ^b  

^a UNIVERSITY OF MUNICH   (Germany)

^b RUSSIAN ACADEMY OF SCIENCES   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES; SPECIFICATIONS;

ALGEBRAIC SPECIFICATION LANGUAGES; COMPLEX DYNAMIC SYSTEMS; DEPENDENT FUNCTIONS; DYNAMIC EQUATIONS; DYNAMIC FUNCTIONS; NUMBER OF STATE; STATE BASED;

FORMAL METHODS;

EID: 84956989779     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40911-4_2     Document Type: Conference Paper

References (21)

1. E. Astesiano and E. Zucca. A semantic model for dynamic systems. In Modeling Database Dynamics, Workshops in Computing, pages 63-83, Volkse 1992, 1993. Springer.
2. E. Astesiano and E. Zucca. D-oids: a model for dynamic data types. Mathematical Structures in Computer Science, 5(2):257-282, June 1995.
3. H. Baumeister. Relations as abstract datatypes: An institution to specify relations between algebras. In TAPSOFT 95, volume 915 of LNCS, pages 756-771. Springer, 1995.
4. H. Baumeister. Using algebraic specification languages for model-oriented specifications. Tech. report MPI-I-96-2-003, Max-Planck-Institut fur Informatik, Saarbracken, February 1996.
5. H. Baumeister. Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD thesis, Universitat des Saarlandes, Saarbracken, November 1998.
6. E. Borger. Composition and structuring principles for ASMs. In Abstract State Machines — ASM 2000 (Proc. Int. Workshop on Abstract State Machines, Monta Verita, Switzerland, March 2000), LNCS. Springer, 2000. to appear.
7. M. Cerioli, T. Mossakowski, and H. Reichel. From total equational to partial first-order logic. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brackner, editors, Algebraic Foundations of Systems Specification, pages 31-104. Springer, 1999.
8. P. Dauchy and M.-C. Gaudel. Algebraic specifications with implicit state. Tech. report No 887, Laboratoire de Recherche en Informatique, Univ. Paris-Sud, 1994.
9. M.-C. Gaudel, C. Khoury, and A. Zamulin. Dynamic systems with implicit state. In Fundamental Approaches to Software Engineering, volume 1577 of LNCS, pages 114-128. Springer, 1999.
10. M Grofie-Rhode. Concurrent state transformation on abstract data types. In Recent Trends in Data Type Specifications, volume 1130 of LNCS, pages 222-236. Springer, 1995.
11. M. Grofie-Rhode. Transition specifications for dynamic abstract data types. Applied Categorical Structures, pages 265-308, 1997.
12. M. Grofie-Rhode. Specification of state based systems by algebra rewrite systems and refinements. Tech. report 99-04, TU Berlin, FB Informatik, March 1999.
13. Y. Gurevich. Evolving Algebras 1993: Lipary guide. In Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
14. Y. Gurevich. ASM guide 1997. EECS Departmental Technical Report CSE-TR-336-97, University of Michigan, 1997.
15. C. Khoury, M.-C. Gaudel, and P. Dauchy. AS-IS. Tech. report No 1119, Univ. Paris-Sud, 1997.
16. K. Lellahi and A. Zamulin. Dynamic systems based on update sets. Tech. report 99-03, LIPN, Univ. Paris 13 (France), 1999.
17. P. Mosses. CASL: a guided tour of its design. In Recent Trends in Algebraic Development Techniques: Selected Papers from WADT’98, volume 1589 of LNCS, Lisbon, 1999. Springer.
18. The Common Framework Initiative. http://www.brics.dk/Projects/CoFI/.
19. A. Zamulin. Dynamic system specification by Typed Gurevich Machines. In Proc. Int. Conf. on Systems Science, Wroclaw, Poland, September 15-18 1998.
20. E. Zucca. From static to dynamic data types. In Mathematical Foundations of Computer Science, volume 1113 of LNCS, pages 579-590, 1996.
21. E. Zucca. From static to dynamic abstract data types: an institution transformation. Theorical Computer science, 216:109-157, 1999.