On the importance of inter-scenario relationships in hierarchical state machine design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2029, Issue , 2001, Pages 156-170

  Bordeleau, Francis ^a   Corriveau, Jean Pierre ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

MACHINE DESIGN;

FUNCTIONAL DEPENDENCY; HIERARCHICAL FINITE STATE MACHINES; HIERARCHICAL STATE MACHINES; SCENARIO MODELS; SYSTEM BEHAVIORS; SYSTEM DEVELOPMENT;

SOFTWARE ENGINEERING;

EID: 84944182460     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45314-8_12     Document Type: Conference Paper

References (26)

1. Object Management Group: OMG Unified Modeling Language Specification.
2. Henderson-Sellers, B. and Firesmith, D.: The Open Modeling Language Reference Manual, Cambridge University Press, 1998
3. Corriveau, J.-P.: Traceability and Process for Large OO projects, IEEE Computer, pp. 63-68, 1996 also available in a longer version in: Technology of Object-Oriented Languages and Systems (TOOLS-USA-96), Santa-Barbara, August 1996.
4. Bordeleau, F.: A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines. Ph.D. Thesis, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, 1999. (Available at http//www.scs.carleton.ca/~francis)
5. Harel, D.: StateCharts: A Visual Formalism for Complex Systems, Science of Computer Programming, Vol. 8, pp. 231-274, 1987.
6. Buhr, R. J. A. and Casselman R. S.: Use Case Maps for Object-Oriented Systems, Prentice Hall, 1996.
7. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, Addison-Wesley, 1999.
8. Kruchten, P.: The Rational Unified Process: An Introduction, Addison-Wesley, 1999.
9. Bordeleau, F., Corriveau, J.-P., Selic, B.: A Scenario-Based Approach for Hierarchical State Machine Design, Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC’2000), Newport Beach, California, March 15-17, 2000.
10. ITU (1996): Message Sequence Charts (MSC’96), Recommendation Z.120, Geneva.
11. Firesmith, D.: The Pros and Cons of Use Cases, ROAD, May 1996.
12. Jacobson, I. et al.: Object Oriented Software Engineering, Addison-Wesley, 1994.
13. Haugen, O.: MSC Methodology, SISU II Report L-1313-7, Oslo, Norway, 1994.
14. ITU (1993): Message Sequence Charts (MSC’93). Recommendation Z.120, Geneva.
15. ITU (1992): Specification and Description Language (SDL’92), Recommendation Z.100, Geneva.
16. Koskimies, K., Makinen, E.: Automatic Synthesis of State Machines from Trace Diagrams, Software-Practice and Experience, vol. 24, No. 7, pp. 643-658 (July 1994).
17. Leue, S., Mehrmann, L., Rezai M.: Synthesizing ROOM Models From Message Sequence Charts Specifications, TR98-06, Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Canada, 1998.
18. ITU (1996): Message Sequence Charts (’96), Recommendation Z.120, Geneva.
19. Selic, B., Gullickson, G., and Ward, P.T.: Real-time Object-Oriented Modeling, Wiley, 1994.
20. Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications, Proceedings of Fifth International Conference on Implementation and Application of Automata (CIAA2000), Le
21. tutre Notes in Computer Science, Springer-Verlag, July 2000.
22. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: A System of Patterns, Wiley, 1996.
23. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns-Elements of Reusable Object-Oriented Software, Addison-Wesley, 1994.
24. Vlissides, J., Coplien, J.O., Kerth, N.L.: Pattern Languages of Program Design, Addison-Wesley, 1996.
25. Douglass, B.: Doing Hard Time. Addison-Wesley, 2000.
26. ISO LOTOS standard: IS 8807 (http://www.iso.ch/cate/d16258.html)