The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Current trends in concurrency. Overviews and tutorials
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
On the development of reactive systems
Logics and models of concurrent systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Communications of the ACM
A comparison of techniques for the specification of external system behavior
Communications of the ACM
State trees as structured finite state machines for user interfaces
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
ICSE '89 Proceedings of the 11th international conference on Software engineering
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
Software process modeling: principles of entity process models
ICSE '89 Proceedings of the 11th international conference on Software engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
Configuration support for system description, construction and evolution
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Impacts of life cycle models on software configuration management
Communications of the ACM
Support for specifying temporal behavior in Ada designs
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
Stimulus-response machines: a new visual formalism for describing classes and objects
ACM SIGSOFT Software Engineering Notes
Using statecharts to model hypertext
ECHT '92 Proceedings of the ACM conference on Hypertext
Prototyping a Process Monitoring Experiment
IEEE Transactions on Software Engineering
TimeBench: a CAD tool for real-time system design
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
EURO-DAC '94 Proceedings of the conference on European design automation
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Prototyping a process monitoring experiment
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communications of the ACM
Experience with enactable software process models
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Software process modeling example
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
A software design method for Ada based real time systems
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Analysis tools for Ada concurrency designs
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Readings in hardware/software co-design
Clairvoyant: a synthesis system for production-based specification
Readings in hardware/software co-design
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
System Specification with the SpecCharts Language
IEEE Design & Test
Specification and Design of Embedded Hardware-Software Systems
IEEE Design & Test
Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs
IEEE Transactions on Knowledge and Data Engineering
Modeling and Improving an Industrial Software Process
IEEE Transactions on Software Engineering
IEEE Transactions on Knowledge and Data Engineering
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Supporting Embedded System Design Capture, Analysis and Navigation-
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Formal representation of reuseable software modules
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Seven (plus or minus two) challenges for requirements research
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A Java toolkit for the design and the automatic checking of server architectures
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Exploring language in software process elicitation: A grounded theory approach
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
On the behavior of complex object-oriented systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Clairvoyant: a synthesis system for production-based specification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Visual temporal logic as a rapid prototyping tool
Computer Languages
Hi-index | 0.06 |
This paper provides a brief overview of the STATEMATE system, constructed over the past three years by i-Logix Inc., and Ad Cad Ltd. STATEMATE is a graphical working environment, intended for the specification, analysis, design and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software. It enables a user to prepare, analyze and debug diagrammatic, yet precise, descriptions of the system under development from three inter-related points of view, capturing, structure, functionality and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts used to depict reactive behavior over time. In addition to the use of state-charts, the main novelty of STATEMATE is in the fact that it `understands` the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome.