The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 1999 ACM symposium on Applied computing
An algorithm for blob hierarchy layout
AVI '00 Proceedings of the working conference on Advanced visual interfaces
Quantitative system evaluation with DSPNexpress 2000
Proceedings of the 2nd international workshop on Software and performance
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
System canvas: a new design environment for embedded DSP and telecommunication systems
Proceedings of the ninth international symposium on Hardware/software codesign
Reusable component interconnection patterns for distributed software architectures
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Specifying agent behavior as concurrent tasks
Proceedings of the fifth international conference on Autonomous agents
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
Multiple instances and symbolic variables in executable sequence charts
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
Programming and Computing Software
A model-driven ERP Environment with search facilities
Data & Knowledge Engineering
Wrappers-a mechanism to support state-based authorisation in Web applications
Data & Knowledge Engineering - Data and applications security
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment
Formal Methods in System Design
ViSta: a tool suite for the visualization of behavioral requirements
Journal of Systems and Software
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
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Reflective Analysis and Design for Adapting Object Run-Time Behavior
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
METAFrame in Practice: Design of Intelligent Network Services
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Specifying the Processes and States of Negotiation
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Tool Support for Visualizing CSP in UML
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Specification and Validation Technique Based on STATEMATE and FNLOG
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Automata Based Interpretation of Live Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Introducing Product Lines in Small Embedded Systems
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Automated Validation of Software Models
Proceedings of the 16th IEEE international conference on Automated software engineering
Integrating Data Flow Equations with UML/Realtime
Real-Time Systems
Generating text with a theorem prover
Proceedings of the workshop on Student research
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
A flexible environment to evaluate state-based test techniques
ACM SIGSOFT Software Engineering Notes
A reactive system architecture for building fault-tolerant distributed applications
Journal of Systems and Software
Reflections on Industry Trends and Experimental Research in Dependability
IEEE Transactions on Dependable and Secure Computing
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
Instantiating generic charts for railway interlocking systems
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Use of Verification for Testing and Debugging of Complex Reactive Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Introducing probabilities in Statecharts to specify reactive systems for performance analysis
Computers and Operations Research
Using UML state machines and petri nets for the quantitative investigation of ETCS
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Noesis: Towards a situational method engineering technique
Information Systems
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Optimization techniques for BDD-based bisimulation computation
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A polynomial dynamic system approach to software design for attractivity requirement
Information Sciences: an International Journal
Engineering Processes - On An Approach To Realize A Dynamic Process Control
Journal of Integrated Design & Process Science
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
STATEMATE to SCADE model translation
ISEC '08 Proceedings of the 1st India software engineering conference
Statecharts Composition To Model Topologically Distributed Applications
Journal of Integrated Design & Process Science
Diagnosability Analysis of a Class of Hierarchical State Machines
Discrete Event Dynamic Systems
Modular Functional Descriptions
Electronic Notes in Theoretical Computer Science (ENTCS)
CSP parallel composition of aspect models
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
State complexity of basic language operations combined with reversal
Information and Computation
Generating Maude formal specifications from AUML diagrams
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Applying patterns to build a lightweight middleware for embedded systems
Proceedings of the 2006 conference on Pattern languages of programs
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
Model Based Importance Analysis for Minimal Cut Sets
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
Reconciling statechart semantics
Science of Computer Programming
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
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
Applying Graph Theory to Interaction Design
Engineering Interactive Systems
State Complexity of Combined Operations for Prefix-Free Regular Languages
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
State complexity of unique rational operations
Theoretical Computer Science
Embedded systems programming: accessing databases from Esterel
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Proceedings of the Working Conference on Advanced Visual Interfaces
A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design
ACM Transactions on Computer-Human Interaction (TOCHI)
Empirical Software Engineering
Canonical finite state machines for distributed systems
Theoretical Computer Science
Model transformations to satisfy all-configurations-transitions on statecharts
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
Debugging complex software systems by means of pathfinder networks
Information Sciences: an International Journal
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Separation of concerns in automation of code generation
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Automatic test case generation through a collaborative web application
EuroIMSA '08 Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
Using UML state machine models for more precise and flexible JADE agent behaviors
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
An approach to self-adaptive software based on supervisory control
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Security in business process engineering
BPM'03 Proceedings of the 2003 international conference on Business process management
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
On the behavior of complex object-oriented systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling hard real time systems with UML the OOHARTS approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
Reflecting on the design and implementation issues of virtual environments
Presence: Teleoperators and Virtual Environments
International Journal of Internet Technology and Secured Transactions
Behavioural model for a business rules based approach to model services
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
Generating a checking sequence with a minimum number of reset transitions
Automated Software Engineering
Checking experiments for stream X-machines
Theoretical Computer Science
What is in a step: new perspectives on a classical question
Time for verification
Infrastructure for forensic analysis of multi-agent based simulations
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Prototyping distributed multimedia systems using communicating real-time state machines
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Modelling behaviour requirements for automatic interpretation, simulation and deployment
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Towards a unified model-based safety assessment
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
RT-EP: a fixed-priority real time communication protocol over standard ethernet
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Verifying statemate statecharts using CSP and FDR
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
Genetic design: amplifying our ability to deal with requirements complexity
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
UML vs. classical vs. rhapsody statecharts: not all models are created equal
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Sigref: a symbolic bisimulation tool box
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Relating automata to other fields
Journal of Computing Sciences in Colleges
A pedagogical view on software modeling and graph-structured diagrams
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
An architecture to automate UAS operations in non-segregated airspace
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
Journal of Electrical and Computer Engineering - Special issue on ESL Design Methodology
The complexity of asynchronous model based testing
Theoretical Computer Science
Validating interaction-based systems behavior via simulation and detecting implied scenarios
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
ODP RM reflections on open service ecosystems
Computer Standards & Interfaces
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Science of Computer Programming
Software complexity measurement using multiple criteria
Journal of Computing Sciences in Colleges
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
A survey on reactive programming
ACM Computing Surveys (CSUR)
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
Hi-index | 0.01 |
From the Publisher:The only in-depth guide to Statecharts,the most popular approach forthe development of real-time and reactive systems. For systems engineers,software engineers,and electrical engineers in all fields,here at last is complete information on the concepts behind the Statemate toolset developed by I-Logix,Inc.,the fullest and most powerful approach to the modeling of reactive systems. This guide first describes the dominant Statecharts,which are used to describe system behavior,and then explores the hierarchical language of Activity-charts,which describe the system's activities and the data that flows between them. It then shows how to use these two synergistic languages to develop a conceptual model of the system,which can then be combined with a physical or structural model using the third language of Module-charts. These languages and the subsequent Statemate toolset constitute a breakthrough approach in requirements analysis,specification,and high-level design. They also provide a powerful method for inspecting,testing,and analyzing models. Author David Harel invented Statecharts,and he and coauthor Michal Politi co-developed the other two languages in the set. Ms Politi also headed the Statemate development team for more than a decade. Their work has earned them the Most Influential Paper Award from the International Conference on Software Engineering,and Harel's work on the language of Statecharts has won him the Stevens Award in Software Development Methods in 1996 and the first Israel Prime Minister's Prize for Software in 1997. No authors are more highly qualified to describe the syntax and semantics of these intricate languages precisely and rigorouslyand withextensive examples based on a model early warning system. No book provides better guidance than Modeling Reactive Systems with Statecharts