A design pattern for state machines and concurrent activities

DOI10.1007/3-540-45136-6_16MaRDI QIDQ2771788zbMATH OpenFDO

Authors Bo I. Sandén

Publication date 18 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2043/20430203

zbMATH Keywords

design patternsentity-life modelingprotected objectsState machines

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• A finite state machine model used in embedded systems software development
• Finite state machine modeling and its application in embedded design
• Modeling software with finite state machines. A practical approach.
• Introduction to design choices in the semantics of Statecharts
• Extending statecharts for concurrent objects modeling

Cited in

(4)

• Using SDL in a stateless environment
• Concurrent abstract state machines
• A finite state machine model used in embedded systems software development
• Finite state machine modeling and its application in embedded design

This page was built for publication: A design pattern for state machines and concurrent activities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2771788)