Statecharts: A visual formalism for complex systems
Science of Computer Programming
Science of Computer Programming
Parallel program design: a foundation
Parallel program design: a foundation
A proof of the Kahn principle for input/output automata
Information and Computation
Handbook of theoretical computer science (vol. B)
Real-time object-oriented modeling
Real-time object-oriented modeling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
An axiomatic basis for computer programming
Communications of the ACM
Formal Object-Oriented Development
Formal Object-Oriented Development
Object-Oriented Software Construction
Object-Oriented Software Construction
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
A Formal Framework with Late Binding
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Dynamic Systems with Implicit State
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
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
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Why Use Evolving Algebras for Hardware and Software Engineering?
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
Mathematics of Software Engineering
MPC '95 Mathematics of Program Construction
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |
We introduce the concept of an algebraic state machine. This is a state transition machine all parts of that are described by algebraic and logical means. This way we base the description of state transition systems exclusively on the concept of algebraic specifications. Also the state of an algebraic state machine is represented by an algebra. In particular, we describe the state spaces of the state machine by algebraic techniques, and the state transitions by special axioms called transition rules. Then we show how known concepts from algebraic specifications can be used to provide a notion of parallel composition with asynchronous interaction for algebraic state machines. As example we introduce a notion of object-oriented component and show how algebraic state machines can formalize such components.