The STATEMATE semantics of statecharts

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The STATEMATE semantics of statecharts

Full text

Pdf (520 KB)

Source

ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 5 , Issue 4 (October 1996) table of contents

Pages: 293 - 333

Year of Publication: 1996

ISSN:1049-331X

Authors

David Harel	Weizmann Institute of Science, Rehovot, Israel
Amnon Naamad	i-Logix, Inc., Andover, MA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 69, Downloads (12 Months): 332, Citation Count: 107

Additional Information:

abstract references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/235321.235322 What is a DOI?

ABSTRACT

We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given step should take effect in the current step or in the next one, this semantics adopts the latter approach.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992 [doi>10.1016/0167-6423(92)90005-V]
	2	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	3	D. Harel , A. Pnueli, On the development of reactive systems, Logics and models of concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1989
	4	David Harel , Michal Politi, Modeling Reactive Systems with Statecharts: The Statemate Approach, McGraw-Hill, Inc., New York, NY, 1998
	5	D. Harel , H. Lachover , A. Naamad , A. Pnueli , M. Politi , R. Sherman , a. Shtul-Trauring, Statemate: a working environment for the development of complex reactive systems, Proceedings of the 10th international conference on Software engineering, p.396-406, April 11-15, 1988, Singapore
	6	HAREL, D., PNUELI, A., SCHMIDT, J. P., AND SHERMAN, R. 1987. On the formal semantics of statecharts. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science. IEEE Press, New York, 54-64.
	7	C. Huizing , W. P. de Roever, Introduction to design choices in the semantics of Statecharts, Information Processing Letters, v.37 n.4, p.205-213, Feb. 28, 1991 [doi>10.1016/0020-0190(91)90190-S]
	8	Cornelis Huizing , Rob Gerth , Willem P. de Roever, Modeling Statecharts Behaviour in a Fully Abstract Way, Proceedings of the 13th Colloquium on Trees in Algebra and Programming, p.271-294, March 21-24, 1988
	9	Yonit Kesten , Amir Pnueli, Timed and Hybrid Statecharts and Their Textual Representation, Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.591-620, January 08-10, 1992
	10	Nancy G. Leveson , Mats Per Erik Heimdahl , Holly Hildreth , Jon D. Reese, Requirements Specification for Process-Control Systems, IEEE Transactions on Software Engineering, v.20 n.9, p.684-707, September 1994 [doi>10.1109/32.317428]
	11	Florence Maraninchi, Operational and Compositional Semantics of Synchronous Automaton Compositions, Proceedings of the Third International Conference on Concurrency Theory, p.550-564, August 24-27, 1992
	12	Amir Pnueli , M. Shalev, What is in a Step: On the Semantics of Statecharts, Proceedings of the International Conference on Theoretical Aspects of Computer Software, p.244-264, September 24-27, 1991
	13	Michael von der Beeck, A Comparison of Statecharts Variants, Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.128-148, September 19-23, 1994

CITED BY 107

	Jonathan G. Rossie, Jr., Logical observable entities, ACM SIGPLAN Notices, v.33 n.10, p.154-165, Oct. 1998
	Mats P. E. Heimdahl , Michael W. Whalen, Reduction and slicing of hierarchical state machines, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.450-467, Nov. 1997
	L. Thiele , K. Strehl , D. Ziegenbein , R. Ernst , J. Teich, FunState—an internal design representation for codesign, Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design, p.558-565, November 07-11, 1999, San Jose, California, United States
	William Chan , Richard J. Anderson , Paul Beame , David H. Jones , David Notkin , William E. Warner, Decoupling synchronization from local control for efficient symbolic model checking of statecharts, Proceedings of the 21st international conference on Software engineering, p.142-151, May 16-22, 1999, Los Angeles, California, United States
	Gerald Lüttgen , Michael von der Beeck , Rance Cleaveland, A compositional approach to statecharts semantics, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.120-129, Nov. 2000
	Rajeev Alur , Radu Grosu, Modular refinement of hierarchic reactive machines, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.390-402, January 19-21, 2000, Boston, MA, USA
	Rik Eshuis , Roel Wieringa, Verification support for workflow design with UML activity graphs, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Ralph Jeffords , Constance Heitmeyer, Automatic generation of state invariants from requirements specifications, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.56-69, Nov. 1998
	Gerald Lüttgen , Michael Mendler, The intuitionism behind Statecharts steps, ACM Transactions on Computational Logic (TOCL), v.3 n.1, p.1-41, January 2002
	Andrzej Wasowski, Flattening statecharts without explosions, ACM SIGPLAN Notices, v.39 n.7, July 2004
	Dirk Ziegenbein , Kai Richter , Rolf Ernst , Lothar Thiele , Jürgen Teich, SPI: a system model for heterogeneously specified embedded systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.10 n.4, p.379-389, August 2002
	William Chan , Richard J. Anderson , Paul Beame , David Notkin, Improving efficiency of symbolic model checking for state-based system requirements, ACM SIGSOFT Software Engineering Notes, v.23 n.2, p.102-112, March 1998
	Andrea Maggiolo-Schettini , Adriano Peron , Simone Tini, A comparison of Statecharts step semantics, Theoretical Computer Science, v.290 n.1, p.465-498, 1 January 2003
	Gennaro Costagliola , Vincenzo Deufemia , Filomena Ferrucci , Carmine Gravino, Using extended positional grammars to develop visual modeling languages, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy
	Toshiaki Arai , Frieder Stolzenburg, Multiagent systems specification by UML statecharts aiming at intelligent manufacturing, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1, July 15-19, 2002, Bologna, Italy
	Nenad Medvidovic , David S. Rosenblum , David F. Redmiles , Jason E. Robbins, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.1, p.2-57, January 2002
	Vildan Tanriverdi , Robert J.K. Jacob, VRID: a design model and methodology for developing virtual reality interfaces, Proceedings of the ACM symposium on Virtual reality software and technology, November 15-17, 2001, Baniff, Alberta, Canada
	Steven P. Miller, Specifying the mode logic of a flight guidance system in CoRE and SCR, Proceedings of the second workshop on Formal methods in software practice, p.44-53, March 04-05, 1998, Clearwater Beach, Florida, United States
	Roel Wieringa, A survey of structured and object-oriented software specification methods and techniques, ACM Computing Surveys (CSUR), v.30 n.4, p.459-527, Dec. 1998
	J.-R. Beauvais , E. Rutten , T. Gautier , R. Houdebine , P. Le. Guernic , Y.-M. Tang, Modeling statecharts and activitycharts as signal equations, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.4, p.397-451, Oct. 2001
	Rolf Ernst , Ahmed A. Jerraya, embedded system design with multiple languages: embedded tutorial, Proceedings of the 2000 conference on Asia South Pacific design automation, p.391-396, January 2000, Yokohama, Japan
	Emmanuel Letier , Axel van Lamsweerde, Deriving operational software specifications from system goals, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
	Jianwei Niu , Joanne M. Atlee , Nancy A. Day, Composable semantics for model-based notations, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
	Emmanuel Letier , Axel van Lamsweerde, Deriving operational software specifications from system goals, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
	Axel van Lamsweerde, Requirements engineering in the year 00: a research perspective, Proceedings of the 22nd international conference on Software engineering, p.5-19, June 04-11, 2000, Limerick, Ireland
	Jeffrey B. Green, Correspondences between statecharts, event structures, and concurrent regular expressions, Proceedings of the 36th annual Southeast regional conference, p.178-184, April 1998
	Jianwei Niu , Joanne M. Atlee , Nancy A. Day, Composable semantics for model-based notations, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
	Maria Cristina Ferreira de Oliveira , Marcelo Augusto Santos Turine , Paulo Cesar Masiero, A statechart-based model for hypermedia applications, ACM Transactions on Information Systems (TOIS), v.19 n.1, p.28-52, Jan. 2001
	Boualem Benatallah , Marlon Dumas , Marie-Christine Fauvet , Fethi A. Rabhi, Towards patterns of web services composition, Patterns and skeletons for parallel and distributed computing, Springer-Verlag, London, 2003
	Simone Tini, An axiomatic semantics for the synchronous language Gentzen, Journal of Computer and System Sciences, v.66 n.2, p.316-348, March 2003
	K. Schneider , J. Brandt , T. Schuele, Causality analysis of synchronous programs with delayed actions, Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems, September 22-25, 2004, Washington DC, USA
	G. Costagliola , R. Francese , M. Risi , G. Scanniello , A. De Lucia, A component-based visual environment development process, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy
	Munindar P. Singh, Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents, Autonomous Agents and Multi-Agent Systems, v.3 n.2, p.107-132, June 2000
	Stephen A. Edwards, Tutorial: Compiling concurrent languages for sequential processors, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.8 n.2, p.141-187, April 2003
	Dag Björklund , Johan Lilius, A language for multiple models of computation, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado
	R. Castello , R. Mili, Visualizing graphical and textual formalisms, Information Systems, v.28 n.7, p.753-768, 1 October 2003
	Aleksander Binemann-Zdanowicz , Roland Kaschek , Klaus-Dieter Schewe , Bernhard Thalheim, Context-aware Web Information Systems, Proceedings of the first Asian-Pacific conference on Conceptual modelling, p.37-48, January 23, 2004, Dunedin, New Zealand
	Tal Lev-Ami , Shmuel S. Tyszberowicz, Reactive and Real-Time Systems Course: How to Get the Most Out of it, Real-Time Systems, v.25 n.2-3, p.231-253, September-October 2003
	M. R. Lucas , D. M. Tilbury, A study of current logic design practices in the automotive manufacturing industry, International Journal of Human-Computer Studies, v.59 n.5, p.725-753, November 2003
	Rajeev Alur , Radu Grosu, Modular refinement of hierarchic reactive machines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.2, p.339-369, March 2004
	Liangzhao Zeng , Boualem Benatallah , Marlon Dumas , Jayant Kalagnanam , Quan Z. Sheng, Quality driven web services composition, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary
	Jie Xing , Munindar P. Singh, Formalization of commitment-based agent interaction, Proceedings of the 2001 ACM symposium on Applied computing, p.115-120, March 2001, Las Vegas, Nevada, United States
	Andrea Maggiolo-Schettini , Simone Tini, On disjunction of literals in triggers of statecharts transitions, Information Processing Letters, v.84 n.6, p.305-310, 31 December 2002
	Luca Negri , Mariagiovanna Sami , David Macii , Alessandra Terranegra, FSM--based power modeling of wireless protocols: the case of bluetooth, Proceedings of the 2004 international symposium on Low power electronics and design, August 09-11, 2004, Newport Beach, California, USA
	Dag Björklund , Johan Lilius , Ivan Porres, A unified approach to code generation from behavioral diagrams, Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL'03, Kluwer Academic Publishers, Norwell, MA, 2004
	Klaus Winkelmann, Formal Methods in Designing Embedded Systems—the SACRES Experience, Formal Methods in System Design, v.19 n.1, p.81-110, July 2001
	Zakaria Maamar , Quan Z. Sheng , Boualem Benatallah, On Composite Web Services Provisioning in an Environment of Fixed and Mobile Computing Resources, Information Technology and Management, v.5 n.3-4, p.251-270, July-October 2004
	Liangzhao Zeng , Boualem Benatallah , Anne H.H. Ngu , Marlon Dumas , Jayant Kalagnanam , Henry Chang, QoS-Aware Middleware for Web Services Composition, IEEE Transactions on Software Engineering, v.30 n.5, p.311-327, May 2004
	Tobias Amnell , Elena Fersman , Paul Pettersson , Wang Yi , Hongyan Sun, Code synthesis for timed automata, Nordic Journal of Computing, v.9 n.4, p.269-300, Winter 2002
	William Chan , Richard J. Anderson , Paul Beame , David Notkin , David H. Jones , William E. Warner, Optimizing Symbolic Model Checking for Statecharts, IEEE Transactions on Software Engineering, v.27 n.2, p.170-190, February 2001
	William Chan , Richard J. Anderson , Paul Beame , Steve Burns , Francesmary Modugno , David Notkin , Jon D. Reese, Model Checking Large Software Specifications, IEEE Transactions on Software Engineering, v.24 n.7, p.498-520, July 1998
	Zakaria Maamar , Soraya Kouadri Mostefaoui , Hamdi Yahyaoui, Toward an Agent-Based and Context-Oriented Approach for Web Services Composition, IEEE Transactions on Knowledge and Data Engineering, v.17 n.5, p.686-697, May 2005
	David Harel , Eran Gery, Executable Object Modeling with Statecharts, Computer, v.30 n.7, p.31-42, July 1997
	Tool Support for Verifying UML Activity Diagrams, IEEE Transactions on Software Engineering, v.30 n.7, p.437-447, July 2004
	Iván I. Garibay, Generating text with a theorem prover, Proceedings of the workshop on Student research, p.13-18, April 29-May 04, 2000, Seattle, Washington
	Boualem Benatallah , Quan Z. Sheng , Marlon Dumas, The Self-Serv Environment for Web Services Composition, IEEE Internet Computing, v.7 n.1, p.40-48, January 2003
	Joerg Evermann , Yair Wand, Toward Formalizing Domain Modeling Semantics in Language Syntax, IEEE Transactions on Software Engineering, v.31 n.1, p.21-37, January 2005
	Anna Formica , Heinz Frank, Consistency of the static and dynamic components of object-oriented specifications, Data & Knowledge Engineering, v.40 n.2, p.195-215, February 2002
	Reinhard von Hanxleden , Ali Botorabi , Slawomir Kupczyk, A Codesign Approach for Safety-Critical Automotive Applications, IEEE Micro, v.18 n.5, p.66-79, September 1998
	David N. Jansen , Holger Hermanns, QoS modelling and analysis with UML-statecharts: the StoCharts approach, ACM SIGMETRICS Performance Evaluation Review, v.32 n.4, p.28-33, March 2005
	David Harel , Bernhard Rumpe, Meaningful Modeling: What's the Semantics of "Semantics"?, Computer, v.37 n.10, p.64-72, October 2004
	Rik Eshuis, Symbolic model checking of UML activity diagrams, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.1, p.1-38, January 2006
	Subash Shankar , Sinan Asa , Vladimir Sipos , Xiaowei Xu, Reasoning about real-time statecharts in the presence of semantic variations, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
	Alexandre Petrenko , Sergiy Boroday , Roland Groz, Confirming Configurations in EFSM Testing, IEEE Transactions on Software Engineering, v.30 n.1, p.29-42, January 2004
	Boualem Benatallah , Marlon Dumas , Quan Z. Sheng, Facilitating the rapid development and scalable orchestration of composite web services, Distributed and Parallel Databases, v.17 n.1, p.5-37, January 2005
	Kyungseok Kim , Hyejung Kim , Miyoung Ahn , Minseok Seo , Yeop Chang , Kyo C. Kang, ASADAL: a tool system for co-development of software and test environment based on product line engineering, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	N. L. Vijaykumar , S. V. Carvalho , V. M. B. Andrade , V. Abdurahiman, Introducing probabilities in Statecharts to specify reactive systems for performance analysis, Computers and Operations Research, v.33 n.8, p.2369-2386, August 2006
	Angelo Furfaro , Libero Nigro , Francesco Pupo, Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines, Real-Time Systems, v.32 n.1-2, p.105-123, February 2006
	Fabiano Borges Paulo , Paulo Cesar Masiero , Maria Cristina Ferreira de Oliveira, Hypercharts: Extended Statecharts to Support Hypermedia Specification, IEEE Transactions on Software Engineering, v.25 n.1, p.33-49, January 1999
	D. G. Shopyrin , A. A. Shalyto, Graphical inheritance notation for state-based classes, Programming and Computing Software, v.33 n.5, p.283-292, September 2007
	Rachid Hamadi , Boualem Benatallah , Brahim Medjahed, Self-adapting recovery nets for policy-driven exception handling in business processes, Distributed and Parallel Databases, v.23 n.1, p.1-44, February 2008
	Thomas Huining Feng , Miriam Zia , Hans Vangheluwe, Multi-formalism modelling and model transformation for the design of reactive systems, Proceedings of the 2007 summer computer simulation conference, July 16-19, 2007, San Diego, California
	Shin Nakajima , Tetsuo Tamai, Aspect-oriented software design with a variant of UML/STD, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, May 27-27, 2006, Shanghai, China
	Boualem Benatallah , Fabio Casati , Farouk Toumani, Representing, analysing and managing web service protocols, Data & Knowledge Engineering, v.58 n.3, p.327-357, September 2006
	Claudio de la Riva , Javier Tuya, Automatic generation of assumptions for modular verification of software specifications, Journal of Systems and Software, v.79 n.9, p.1324-1340, September 2006
	Minmin Han , Christine Hofmeister, Modeling and verification of adaptive navigation in web applications, Proceedings of the 6th international conference on Web engineering, July 11-14, 2006, Palo Alto, California, USA
	Frank Ortmeier , Gerhard Schellhorn, Formal Fault Tree Analysis - Practical Experiences, Electronic Notes in Theoretical Computer Science (ENTCS), 185, p.139-151, July, 2007
	Wai Yin Mok , Prashant Palvia , David Paper, On the computability of agent-based workflows, Decision Support Systems, v.42 n.3, p.1239-1253, December 2006
	E. Domínguez , M. A. Zapata, Noesis: Towards a situational method engineering technique, Information Systems, v.32 n.2, p.181-222, April, 2007
	Adelinde M. Uhrmacher , Jan Himmelspach , Mathias Röhl , Roland Ewald, Introducing variable ports and multi-couplings for cell biological modeling in DEVS, Proceedings of the 37th conference on Winter simulation, December 03-06, 2006, Monterey, California
	Marcello Mura , Marco Paolieri , Luca Negri , Maria Giovanna Sami, StateCharts to systemc: a high level hardware simulation approach, Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI, March 11-13, 2007, Stresa-Lago Maggiore, Italy
	David Harel, Statecharts in the making: a personal account, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.5-1-5-43, June 09-10, 2007, San Diego, California
	Eric Lo , David W. Cheung , C. Y. Ng , Thomas Lee, WSIPL: An XML scripting language for integrating web service data and applications, Web Intelligence and Agent System, v.4 n.1, p.25-41, January 2006
	Phillipa Oaks , Arthur Hofstede, Guided interaction: A mechanism to enable ad hoc service interaction, Information Systems Frontiers, v.9 n.1, p.29-51, March 2007
	Martin Ouimet , Kristina Lundqvist, Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes, Proceedings of the International Workshop on Modeling in Software Engineering, p.5, May 20-26, 2007
	A. A. Shalyto, Logic Control and “Reactive” Systems: Algorithmization and Programming, Automation and Remote Control, v.62 n.1, p.1-29, January 2001
	G. Logothetis , Klaus Schneider, Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration, Proceedings of the conference on Design, Automation and Test in Europe, p.10196, March 03-07, 2003
	R. Venky , Ulka S. , Aniket Kulkarni , Prasad Bokil, STATEMATE to SCADE model translation, Proceedings of the 1st conference on India software engineering conference, February 19-22, 2008, Hyderabad, India
	Tim Schattkowsky , Wolfgang Mueller , Achim Rettberg, A Model-Based Approach for Executable Specifications on Reconfigurable Hardware, Proceedings of the conference on Design, Automation and Test in Europe, p.692-697, March 07-11, 2005
	Tim Schattkowsky, UML 2.0 - Overview and Perspectives in SoC Design, Proceedings of the conference on Design, Automation and Test in Europe, p.832-833, March 07-11, 2005
	Christian Attiogbe , Pascal Poizat , Gwen Salaun, A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes, IEEE Transactions on Software Engineering, v.33 n.3, p.157-170, March 2007
	Alfredo Capozucca , Nicolas Guelfi , Patrizio Pelliccione , Alexander Romanovsky , Avelino F. Zorzo, Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study, Journal of Systems and Software, v.82 n.2, p.207-228, February, 2009
	Oscar Díaz , Arantza Irastorza , Jesús Sánchez Cuadrado , Luis M. Alonso, From page-centric to portlet-centric Web development: Easing the transition using MDD, Information and Software Technology, v.50 n.12, p.1210-1231, November, 2008
	Quan Z. Sheng , Boualem Benatallah , Zakaria Maamar, User-centric services provisioning in wireless environments, Communications of the ACM, v.51 n.11, November 2008
	Iyad Rahwan , Liz Sonenberg , Nicholas R. Jennings , Peter McBurney, STRATUM: A METHODOLOGY FOR DESIGNING HEURISTIC AGENT NEGOTIATION STRATEGIES, Applied Artificial Intelligence, v.21 n.6, p.489-527, June 2007
	Sujit Kumar Chakrabarti , Srihari Sukumaran, Using spreadsheets for finite state modelling, Proceeding of the 2nd annual conference on India software engineering conference, February 23-26, 2009, Pune, India
	José M. Cañete-Valdeón , Francisco J. Galán , Miguel Toro, The intentional relationship of representation between the constructs of a language and reality, Data & Knowledge Engineering, v.68 n.2, p.173-191, February, 2009
	Vitus S. W. Lam, A formalism for reasoning about UML activity diagrams, Nordic Journal of Computing, v.14 n.1, p.43-64, January 2007
	Rik Eshuis, Reconciling statechart semantics, Science of Computer Programming, v.74 n.3, p.65-99, January, 2009
	Jun Kong , Kang Zhang , Jing Dong , Dianxiang Xu, Specifying behavioral semantics of UML diagrams through graph transformations, Journal of Systems and Software, v.82 n.2, p.292-306, February, 2009
	Alessandro Oliveira Arantes , Nandamudi Lankalapalli Vijaykumar , Valdivino Alexandre de Santiago Junior , Danielle Guimarães, WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts, Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, November 24-26, 2008, Linz, Austria
	David Harel, Statecharts in the making: a personal account, Communications of the ACM, v.52 n.3, March 2009
	Hamdi Yahyaoui , Zakaria Maamar , Khouloud Boukadi, Web services synchronization in composition scenarios: the centralized view, Proceedings of the 2009 conference on Information Science, Technology and Applications, March 20-22, 2009, Kuwait, Kuwait
	Andreas Harrer , Nils Malzahn , H. Ulrich Hoppe, Graphical Modeling and Simulation of Learning Designs, Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies, p.291-294, June 12, 2007
	Ana Cavalcanti, Stateflow Diagrams in Circus, Electronic Notes in Theoretical Computer Science (ENTCS), 240, p.23-41, July, 2009
	Freddy Lécué , Alexandre Delteil , Alain Léger, Optimizing Causal Link Based Web Service Composition, Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, p.45-49, June 27, 2008
	Gürcan GüleşIr , Klaas Berg , Lodewijk Bergmans , Mehmet Akşit, Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems, Empirical Software Engineering, v.14 n.6, p.720-777, December 2009

INDEX TERMS

Primary Classification:
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS

Additional Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.3 PROGRAMMING LANGUAGES
D.3.1 Formal Definitions and Theory
Subjects: Semantics

General Terms:
Languages

Keywords:
STATEMATE, behavioral modeling, reactive system, semantics, statechart

REVIEW

"Jacques Jean Arsac : Reviewer"

The language of statecharts has been used for specification, modeling, and design of real-life complex systems. This paper describes the system STATEMATE, which has for many years been the only implemented and working semantics for statecharts more...

Collaborative Colleagues:

David Harel: colleagues

Amnon Naamad: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player