A scenario-based approach to hierarchical state machine design

Proceedings - 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000

Volumn , Issue , 2000, Pages 78-85

  Bordeleau, F ^a   Corriveau, J P ^a   Selic, B ^b  

^a CARLETON UNIVERSITY   (Canada)

^b ObjecTime Ltd   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; ERROR DETECTION; INTERACTIVE COMPUTER SYSTEMS; MACHINE DESIGN; REAL TIME SYSTEMS;

BEHAVIOR INTEGRATION; HIERARCHICAL FINITE STATE MACHINES; HIERARCHICAL STATE MACHINES; SCENARIO MODELS; SCENARIO-BASED; SYSTEM BEHAVIORS;

LOGIC CIRCUITS;

EID: 84962034274     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2000.839514     Document Type: Conference Paper

References (24)

1. F. Bordeleau, R.J.A. Buhr. "UCM-ROOM Modeling: From Use-Case Maps to Communicating State Machines", Proceedings of IEEE Conference and Workshop on Engineering of Computer-Based Systems (ECBS'97). March 24-28 1997, Monterey, California.
2. F. Bordeleau. 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)
3. R. J. A. Buhr, R. S. Casselman, Use Case Maps for Object-Oriented Systems, Prentice Hall, 1996
4. R.J.A. Buhr, Design Patterns at Different Scales, presented at PLoP96, Allerton Park Illinois, Sep 96. http://www.sce.carleton.ca/ftp/pub/UseCaseMaps/plop.ps.
5. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, M. Stal. A System of Patterns. Wiley, 1996.
6. W.J. Brown, R.C. Malveau, H.W. McCormick III, T.J. Mowbray. Anti Patterns, Refactoring Software, Architectures, and Project in Crisis. Wiley, 1998.
7. J.-P. Corriveau, "Traceability for Large Projects", IEEE Computer, September 1996, pp.63-68.
8. E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design Patterns-Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
9. D. Harel. "StateCharts: A Visual Formalism for Complex Systems", Science of Computer Programming, Vol. 8, pp. 231-274, 1987.
10. ITU (1996). Message Sequence Charts ('96). Recommendation Z.120. Geneva.
11. I. Jacobson et al. Object-Oriented Software Engineering (A Use Case Driven Approach). ACM Press, Addison-Wesley, 1992.
12. K. Koskimies, T. Mannistö, T. Systä, J. Tuomi. On the Role of Scenarios in Object-Oriented Software Design, Technical Report A-1996-1, Dept. of Computer Science, University of Tampere, Tampere, Finland.
13. K. Koskimies, E. Makinen. "Automatic Synthesis of State Machines from Trace Diagrams". Software-Practice and Experience, vol.24, No. 7, pp. 643-658 (July 1994).
14. D. Lea. Doug Lea's Home Page. http://g.oswego.edu/dl/.
15. D. Lea. Concurrent Programming in Java, Design Principles and Patterns. Addison-Wesley, 1996.
16. S. Leue, L. Mehrmann, M. Rezai. Synthesizing ROOM Models From Message Sequence Charts Specifications. TR98-06, Department of Electric and Computer Engineering, University of Waterloo, Waterloo, Canada, 1998.
17. A. Miga. Use Case Map Navigator. http://www.usecasemaps.org/.
18. Rational Corporation. Rational Rose for Real-Time Toolset. http://www.rational.com
19. D. Schmidt. http://www.cs.wustl.edu/~schmidt/patterns-info.html.
20. B. Selic, J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems. http://www.objectime.com, 1999.
21. B. Selic. An Architectural Pattern for Real-Time Control Software. Internal Report, ObjecTime Limited, Kanata, Ontario, Canada, 1996.
22. B. Selic, G. Gullickson and P.T. Ward. Real-time Object-Oriented Modeling. Wiley, 1994.
23. J.M. Vlissides, J.O. Coplien, N.L. Kerth. Pattern Languages of Program Design. Addison-Wesley, 1996.
24. B. Wilhelm. Designing for Concurrency. http://www.objectime.com, 1999.