Evolving algebras 1993: Lipari guide
Specification and validation methods
From static to dynamic abstract data-types: an institution transformation
Theoretical Computer Science
Dynamic Systems with Implicit State
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
From Static to Dynamic Abstract Data-Types
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
CASL: A Guided Tour of Its Design
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Concurrent State Transformations on Abstract Data Types
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
A Semantic Model for Dynamic Systems
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Heterogeneous Development Graphs and Heterogeneous Borrowing
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Architectural specifications for reactive systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
DO-Casl: an observer-based casl extension for dynamic specifications
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |
A state-based extension of the algebraic specification language CASL is presented. It permits the specification of the static part of a complex dynamic system by means of CASL and the dynamic part by means of the facilities described in the paper. The dynamic system is defined as possessing a number of states and a number of operations (procedures) for transforming one state into another. Each state possesses one and the same static part specified by CASL and a varying part specified by additional tools. The varying part includes dynamic sorts/functions/predicates and dependent functions/predicates. The dependent functions/predicates are specified by formulae using the names of the dynamic functions/predicates so that each time one of the last ones is updated the corresponding former ones are also updated. The updates of the dynamic entities are produced by procedures which are specified by means of preconditions, postconditions, and dynamic equations.