Constructing behavioral state machine using interface protocol specification

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2006, Pages 191-198

  Shigo, Osamu ^a   Okawa, Atsushi ^b   Kato, Daiki ^b  

^a TOKYO DENKI UNIVERSITY   (Japan)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

CONTOUR FOLLOWERS; INTEGRATED CIRCUITS; SOFTWARE ENGINEERING; SPECIFICATIONS;

ASIA PACIFIC; BEHAVIORAL STATE; DESIGN METHODS; DESIGN SUPPORT SYSTEMS; INPUT EVENTS; INTERFACE PROTOCOLS; INTERFACE SPECIFICATIONS; PROTOCOL SPECIFICATIONS; STATE MACHINES; STATE-MACHINES; SYSTEM DESIGNS;

MACHINE DESIGN;

EID: 46149111927     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2006.30     Document Type: Conference Paper

References (11)

1. IBM : Rational Rose, http://www306.ibm.com/software/awdtools/developer/ rosexde/
2. Microsoft : Office Visio, http://www.microsoft.com/office/visio/prodinfo/ default.mspx
3. OMG : UML 2.0 Superstructure Specification, http://www.omg.org/, 2004.
4. Brian Selic, et. al : Real-time Object-oriented Modeling, John Wiley and Sons, Inc. 1994.
5. Brian Selic, James Rumbaugh : Using UML for Modeling Complex Real-time Systems, White paper, IBM, 1998.
6. Luca de Alfaro, Thomas A. Henzinger : Interface Automata, ACM SIGSOFT FSE01, 2001.
7. SDL Forum Society : SDL , http://www.sdl-forum.org/SDL/
8. Jon Whittle, Johann Schumann : Generating Statechart Designs From Scenarios, 22nd International Conference on Software Engineering, 2000.
9. CCITT: Recommendations Z.101 to Z.104, "Functional Specification and Description Language (SDL)," Yellow Book, Volume VI=Fascicle VI.7, Geneve 1981.
10. Edmund M. Clarke,Jr., Orna Grumberg and Doron A. Peled : Model Checking, The MIT Press, 1999.
11. Stephen Mellor and Marc J. Balcer : Executable UML : A Foundation for Model-Driven Architecture, Addison-Wesley, 2002.