On lifting of statechart structuring mechanisms

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2003-January, Issue , 2003, Pages 206-215

  Gomes, Luís ^a   Costa, Anikó ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Application software; Buildings; Computer industry; Concurrent computing; Design automation; Embedded software; Embedded system; Hardware; History; Object oriented modeling

Indexed keywords

APPLICATION PROGRAMS; ARCHITECTURAL DESIGN; AUTOMATION; BUILDINGS; COMPUTER AIDED DESIGN; COMPUTER HARDWARE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DESIGN; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; HARDWARE; HISTORY; INTELLIGENT BUILDINGS; SYSTEMS ANALYSIS;

APPLICATION SOFTWARES; COMPUTER INDUSTRY; CONCURRENT COMPUTING; DESIGN AUTOMATIONS; OBJECT ORIENTED MODEL;

OBJECT ORIENTED PROGRAMMING;

EID: 84941620094     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2003.1207715     Document Type: Conference Paper

References (8)

1. David Harel, "Statecharts: A Visual Formalism for Complex Systems", Science of computer Programming, vol. 8, 1987, pp. 231-274.
2. David Harel, "On Visual Formalisms", Communications of the ACM, vol. 31, number 5, May 1988, pp. 514-530.
3. Bruce Powel Douglass, "Real-time UML - developing efficient objects for embedded systems", Object Technology Series, Addison-Wesley, 1998, ISBN 0-201-32579-9
4. Michael von der Beeck, "A Comparison of Statechart Variants", in Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, vol. 863, Springer-Verlag, 1994, pp. 128-148.
5. David Harel, Michal Politi; "Modeling Reactive Systems with Statecharts - The STATEMATE Approach"; McGraw-Hill; 1998; ISBN 0-07-026205-5
6. Luís Gomes, Carlos Soares; "Low-cost embedded systems design using Statecharts"; 2001; 5th WSES/IEEE World Multiconference on Circuits, Systems, Communications & Computers, CSCC'2001; 8-15 July 2001; Crete, Greece
7. Paul Jay Lucas; "An object-oriented language system for implementing concurrent, hierarchical, finite state machines"; MSc Thesis; Graduate College of the University of Illinois at Urbana-Champaign; 1993.
8. Carlos Soares, "Utilização de Statecharts em Controladores Programáveis - da especificação à implementação" (Statecharts usage for programmable controllers - from specification to implementation) (in Portuguese), MSc Thesis, Univ. Nova Lisboa, 1998.