Arthur Allen
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.
- Allen94.Allen, A., Object Oriented Message Handling Sub-system and Method, patent pending with the US patent office, 1994.Google Scholar
- Allen95.A. Allen, "A Method for Object Oriented Protocol Development", submitted to the International Conference on Protocol Specification, Testin~ & Verification '95, 1995.Google Scholar
- Ansart83+.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. Google ScholarDigital Library
- Bochmann87.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. Google ScholarDigital Library
- Bochmann80.G. Bochmann"A general Transition Model for Protocols and Communication Services", IEEE Trans. Communications Vo! 28, No 4, April 1980, 643-650.Google ScholarCross Ref
- Booch93.G. Booch, Object Oriented Analysis and Design_, Benjamin/Cummins, 1993. Google ScholarDigital Library
- deChampeaux93+.D. de Champeaux, D. Lea & P. Faure, Object Oriented System Development, Addison-Wesley, 1993. Google ScholarDigital Library
- Embley92+.D. Embley, B. Kurtz, S. Woodfield, Object-Oriented Systems Analysis, Yourdon Press, Prentice Hall 1992. Google ScholarDigital Library
- Firesmith95.D. Firesmith, "Object-oriented state modelling using ADM4", Journal of Object-Oriented Programming , 57-65, 1994.Google Scholar
- Gamma94+.E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns , Addison- Wesley, 1994.Google Scholar
- Harel87.D. Harel, "Statecharts" A Visual Formalism for Complex Systems", Sci. Comput. Pro~. , 231-274, 1987. Google ScholarDigital Library
- Holzmann91.G. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1991. Google ScholarDigital Library
- Liu94.C. Liu, "An Object-Based Approach to Protocol Software Implementation", Proceedings of the ACM SIGCOMM Conference on Communications Architectures, Protocols and Applications, 1994. Google ScholarDigital Library
- Rumbaugh91+.J. Rumbaugh, M. B laha, W. Premerlani, F. Eddy, & W. Lorensen, Object Oriented Modelling and Design, Prentice Hall, 1991. Google ScholarDigital Library
- Shankar91.U. Shankar, "Modular Design Principles for Protocols with an Application to the Transport Layer", Proceedings of the IEEE, Vol. 70, No. 12, December 1991.Google Scholar
- Shlaer91+.S. Shlaer & S.J. Mellor, Object Lifecycles" Modelling the World in States Yourdon Press, 1991. Google ScholarDigital Library
- Selic92+.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.Google Scholar
- Selic94+.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.Google Scholar
Index Terms
- Extending the statechart formalism: event scheduling & disposition
Recommendations
Extending the statechart formalism: event scheduling & disposition
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 EngineeringModel 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 ...
Learning User Preferences and Understanding Calendar Contexts for Event Scheduling
CIKM '18: Proceedings of the 27th ACM International Conference on Information and Knowledge ManagementWith online calendar services gaining popularity worldwide, calendar data has become one of the richest context sources for understanding human behavior. However, event scheduling is still time-consuming even with the development of online calendars. ...
Comments