D. Harel and E. Gery. Executable Object Modelling with Statecharts. IEEE Computer, 30(7): 31-42, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
ECLIPSE Feature Logic Analysis - Bond, Ivancic, Klarlund, Trefler (2001) (5 citations) (Correct)
....the number of states and possible interleavings of messages exchanged with the environment were much greater. ECLIPSE Statecharts was designed to address these problems. ECLIPSE Statecharts is a customized version of the Unified Modeling Language (UML) Statecharts behavioral description language [2], 3] The UML Statecharts language, hereafter referred to as UML Statecharts , is a graphical language for describing hierarchically structured state machines. Since it is a graphical language based on state machines it is well suited for describing the high level behavior of system structures. ....
David Harel and Eran Gery, "Executable object modelling with Statecharts, " IEEE Computer, July 1997.
Automated Software Engineering Using Concurrent Class.. - Grosu, Liu, Smolka.. (2001) (1 citation) (Correct)
....the best handwritten code. A variety of visual notations, formal models and analysis methods for object oriented systems have been proposed in the literature; an extensive bibliography can be found in [18] What distinguishes our approach from this body of work (and more recent proposals such as [1, 10, 15]) is the comprehensive nature of the Concurrent Class Machine model. CCMs capture a host of key object oriented concepts in one machine based model, including classes, objects, inheritance, dynamic method dispatch, multi threadingand exceptions. Moreover our refinement rules allow one to reason ....
D. Harel and E. Gery. Executable object modelling with statecharts. IEEE Computer, 30(7):31--42, 1997.
Object Specification and Testing using VTL - Simons, Stannett, Bogdanov.. (Correct)
....by several axioms. Algebraic approaches, though powerful, have gained limited acceptance outside the research community. As an alternative to formal specification, state machine based modelling approaches [Schu87, Holc88, Cook94] have increasingly been adopted, especially variants of Statecharts [Hare87, Hare96, Hare97, OMG99a, OMG99b], a semi formal design notation, and more formal models of labelled transition systems [Miln80, Hoar85, Miln89, Miln99] related to process algebras. The notion of model checking is based on simulating the behaviour of state machines to explore the state space and determine that certain desired ....
....2. VTL Object Specification A system can only be as good as its specification. However, generating a complete and consistent specification may be as difficult as writing correct source code. State machinebased software specifications, especially statecharts, are popular in industry [Hare87, Hare96, Hare97, OMG99a, OMG99b] because engineers find them more accessible than overtly mathematical approaches. Nonetheless, certain liberally interpreted features of statecharts, such as nested substate machines, inter level transitions, the scope and duration of events and history states are known to cause semantic ....
D Harel and Eran Gery, "Executable object modelling with Statecharts", IEEE Computer, July 1997, 31-42
Relevance, Integration and Classification of.. - Ehrig, Orejas, Padberg (1999) (Correct)
....The data types in layer 1 are given by basic data types defined by class diagrams. Data states and transformations in layer 2 are given by classes defining the internal states by attributes and state transformations by methods. Processes in layer 3 are defined using object oriented statecharts [HG 97] The package concept is a first step towards a module concept for layer 4. For class diagrams [Kla 99] and object oriented statecharts [MK 98] a formal semantics is given in the general framework of metamodeling (see [GKP 98] based on Object Z [DRS 94] 4.2 Combination with Time Constraints ....
Harel, D., Gery, E.: Executable Object Modelling with Statecharts. IEEE Computer, 30(7):31-42, 1997
Guidelines for Automated Implementation of Executable.. - Saksena, Freedman.. (1997) (10 citations) (Correct)
.... development, and analytical techniques to analyze and predict temporal (real time) behavior [14] It is not surprising then that there is increasing interest in new generation methodologies and tools which makes possible the modeling and analysis of computing systems in terms of executable models [12]. One such product is the modeling language ROOM (Real Time Object Oriented Modeling) 20] and its CASE tool, ObjecTime (ObjecTime Ltd. Kanata, Ontario, Canada) which grew out of more than ten years of internal development at Bell Northern Research. In addition to the analysis made possible ....
D. Harel and E. Gery. Executable object modelling with statecharts. In Proceedings of the ACM/IEEE 18th International Conference on Software Engineering, 1996.
From Modeling to Simulation of Multi-Agent Systems: An.. - Fortino, Garro, Russo (2004) (Correct)
No context found.
D. Harel and E. Gery. Executable Object Modelling with Statecharts. IEEE Computer, 30(7): 31-42, 1997.
A Statecharts-Based Software Development Process for Mobile.. - Fortino, Russo, Zimeo (2004) (1 citation) (Correct)
No context found.
D. Harel, E. Gery, Executable Object Modelling with Statecharts, IEEE Computer 30 (7) (1997) 31 -- 42.
E-Commerce Services Based on Mobile Agents - Fortino, Garro, Russo (Correct)
No context found.
Harel, D., & Gery, E. (1997). Executable Object Modelling with Statecharts. IEEE Computer, 30(7), 31-42.
Modelling biological processes using workflow and Petri Net.. - Peleg, Yeh, Altman (2002) (1 citation) (Correct)
No context found.
Harel,D. and Gery,E. (1997) Executable object modelling with statecharts. IEEE Computer, 30,31--42.
An ASM Semantics of UML Derived from the Meta-model and.. - Ober (2003) (Correct)
No context found.
D. Harel, E. Gery. Executable Object Modelling with Statecharts, IEEE Computer 30(7):(1997) 31-42
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC