article

Free access

Extending the statechart formalism: event scheduling & disposition

Authors:

Dennis de ChampeauxAuthors Info & Claims

ACM SIGPLAN Notices, Volume 30, Issue 10

Pages 1 - 16

https://doi.org/10.1145/217839.217840

Published: 17 October 1995 Publication History

Abstract

Statecharts are extended to deal with events when no applicable transition is available, and to resolve conflicts relative to event scheduling and response that can arise whenever multiple states can be active simultaneously. "Event closure" and event scheduling are achieved without having to clutter up a basic statechart. The extensions are effected by means of declarative event disposition rules. These rules, together with the statechart topology, determine the contents of one or more disposition matrices. These matrices are combined with the statechart state to determine the response of the event dispatcher to incoming events. The operation of the event dispatcher is also described. A detailed example illustrates these concepts, which are further characterized, for the benefit of working programmers, in the form of a behavioral design pattern. A tool called StateCraft embodies these notions.

References

[1]

Allen, A., Object Oriented Message Handling Sub-system and Method, patent pending with the US patent office, 1994.

[2]

A. Allen, "A Method for Object Oriented Protocol Development", submitted to the International Conference on Protocol Specification, Testin~ & Verification '95, 1995.

[3]

J.P. Ansart, V. Chari, M. Meyer, O. Rafiq, D. Simon, "Description, Simulation, Implementation of Communication Protocols using PDIL", ACM Si~comm'83~ Symposium on Communication Architectures and Protocols, U. of Texas at Austin, March 1983.

Digital Library

[4]

G. Bochmann"Usage of Protocol Development Tools" The Results of a Survey", Protocol Specification, Testing and Verification, VII, Elsevier Science Publishers B.V. (North Holland), 1987.

Digital Library

[5]

G. Bochmann"A general Transition Model for Protocols and Communication Services", IEEE Trans. Communications Vo! 28, No 4, April 1980, 643-650.

[6]

G. Booch, Object Oriented Analysis and Design_, Benjamin/Cummins, 1993.

Digital Library

[7]

D. de Champeaux, D. Lea & P. Faure, Object Oriented System Development, Addison-Wesley, 1993.

Digital Library

[8]

D. Embley, B. Kurtz, S. Woodfield, Object-Oriented Systems Analysis, Yourdon Press, Prentice Hall 1992.

Digital Library

[9]

D. Firesmith, "Object-oriented state modelling using ADM4", Journal of Object-Oriented Programming, 57-65, 1994.

[10]

E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns, Addison- Wesley, 1994.

[11]

D. Harel, "Statecharts" A Visual Formalism for Complex Systems", Sci. Comput. Pro~., 231-274, 1987.

Digital Library

[12]

G. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1991.

Digital Library

[13]

C. Liu, "An Object-Based Approach to Protocol Software Implementation", Proceedings of the ACM SIGCOMM Conference on Communications Architectures, Protocols and Applications, 1994.

Digital Library

[14]

J. Rumbaugh, M. B laha, W. Premerlani, F. Eddy, & W. Lorensen, Object Oriented Modelling and Design, Prentice Hall, 1991.

Digital Library

[15]

U. Shankar, "Modular Design Principles for Protocols with an Application to the Transport Layer", Proceedings of the IEEE, Vol. 70, No. 12, December 1991.

[16]

S. Shlaer & S.J. Mellor, Object Lifecycles" Modelling the World in States Yourdon Press, 1991.

Digital Library

[17]

B. Selic, G. Gullekson, J. McGee & I.Engelbert, "ROOM" An Object- Oriented Methodology for Developing Real-Time Systems", Proc. 5th International Workshop .on C_ASE, Montreal Canada, 1992.

[18]

Selic, B., R. Tigg, D. Daoust & P. Ward, "Resolved" High Level Efficient Models Can be Formally Transformed into Complete and Efficient Real-Time Implementations", position paper presented at OOPSLA'94.

Cited By

Barbier FHenderson-Sellers B(2018)Object modelling languagesAnnals of Software Engineering10.1023/A:101893563237310:1-4(67-101)Online publication date: 11-Dec-2018
https://dl.acm.org/doi/10.1023/A%3A1018935632373
Acharya SMohanty HShyamasundar R(2003)MOBICHARTS: a notation to specify mobile computing applications36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the10.1109/HICSS.2003.1174844(11 pp.)Online publication date: 2003
https://doi.org/10.1109/HICSS.2003.1174844
Allen A(1998)Actor-based computingProceedings of the second international conference on Autonomous agents10.1145/280765.280844(277-284)Online publication date: 1-May-1998
https://dl.acm.org/doi/10.1145/280765.280844

Index Terms

Extending the statechart formalism: event scheduling & disposition
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
2. Theory of computation
  1. Design and analysis of algorithms
    1. Approximation algorithms analysis
      1. Scheduling algorithms
    2. Online algorithms
      1. Online learning algorithms
        Scheduling algorithms
  2. Theory and algorithms for application domains
    1. Machine learning theory
      1. Reinforcement learning
        Sequential decision making

Recommendations

Extending the statechart formalism: event scheduling & disposition
OOPSLA '95: Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications

Statecharts are extended to deal with events when no applicable transition is available, and to resolve conflicts relative to event scheduling and response that can arise whenever multiple states can be active simultaneously. "Event closure" and event ...
An Operational Semantics for UML RT-Statechart in Model Checking Context
ICICSE '09: Proceedings of the 2009 Fourth International Conference on Internet Computing for Science and Engineering

Model checking UML statechart can detect various errors and inconsistencies of current system design in the early process of development. However, because of classic statechart lacking of real-time operational semantics, it can not be directly used to ...
Formalization of UML statechart models using Concurrent Regular Expressions
ACSC '04: Proceedings of the 27th Australasian conference on Computer science - Volume 26

The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current version of UML is semi-formal, it is difficult to determine whether the model is ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 30, Issue 10

Oct. 17, 1995

493 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/217839

Editor:
Rebecca Wirfs-Brock
ParcPlace-Digitalk, Inc.

Issue’s Table of Contents

OOPSLA '95: Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
October 1995
496 pages
ISBN:0897917030
DOI:10.1145/217838
Chairman:
Robecca J. Wirfs-Brock
ParcPlace-Digitals, Inc.

Copyright © 1995 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 October 1995

Published in SIGPLAN Volume 30, Issue 10

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
287
Total Downloads

Downloads (Last 12 months)26
Downloads (Last 6 weeks)3

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Barbier FHenderson-Sellers B(2018)Object modelling languagesAnnals of Software Engineering10.1023/A:101893563237310:1-4(67-101)Online publication date: 11-Dec-2018
https://dl.acm.org/doi/10.1023/A%3A1018935632373
Acharya SMohanty HShyamasundar R(2003)MOBICHARTS: a notation to specify mobile computing applications36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the10.1109/HICSS.2003.1174844(11 pp.)Online publication date: 2003
https://doi.org/10.1109/HICSS.2003.1174844
Allen A(1998)Actor-based computingProceedings of the second international conference on Autonomous agents10.1145/280765.280844(277-284)Online publication date: 1-May-1998
https://dl.acm.org/doi/10.1145/280765.280844

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents