Statecharts: a visual formalism for complex systems

DOI10.1016/0167-6423(87)90035-9zbMath0637.68010OpenAlexW2099529102WikidataQ56547344 ScholiaQ56547344MaRDI QIDQ1098612

Publication date: 1987

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(87)90035-9

zbMATH Keywords

specification state machines communication protocols statecharts description language state diagrams digital control units discrete-event-systems multi-computer real-time systems state-transition diagrams

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in the theory of software (68N01) Theory of software (68N99)

Related Items

REGULAR STATE MACHINES, Algorithmic support for model transformation in object-oriented software development, Unifying models, Introduction to Model Checking, Modeling for Verification, Synthesizing SystemC Code from Delay Hybrid CSP, Dynamic State Machines for Formalizing Railway Control System Specifications, Specification and analysis of timing requirements for real-time systems in the CBD approach, Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets, What is in a step: On the semantics of statecharts, Semantics of full statecharts based on graph rewriting, Statecharts, transition structures and transformations, Horizontal and vertical structuring techniques for statecharts, Probabilistic concurrent constraint programming, Timed soft concurrent constraint programs: An interleaved and a parallel approach, Programming in logic without logic programming, Models for concurrent constraint programming, Compositional equivalences based on open pNets, Equivalences of Statecharts, Unnamed Item, A declarative approach to graph based modeling, Core SBML and its formal semantics, Unnamed Item, Comparative Analysis of Statistical Model Checking Tools, Unnamed Item, Co-operative functional/hybrid behavioural models for dynamical failure assessment, Action systems in incremental and aspect-oriented modeling, Immune Systems and Computation: An Interdisciplinary Adventure, Diagnosis of Deep Discrete-Event Systems, The compositional construction of Markov processes II, Behavior-Preserving Simulation-to-Animation Model and Rule Transformations, Towards Verifying Model Transformations, A graph rewriting framework for Statecharts semantics, SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS, An Algebraic Foundation for Graph-based Diagrams in Computing, Turing Machines, Transition Systems, and Interaction, TCC, with History, A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques, On the complexity of verifying concurrent transition systems, Specifying and Implementing Visual Process Modeling Languages with DiaGen1 1Support by the Esprit Working Group AppliGraph is gratefully acknowledged., Software testing with an operational profile, What Is in a Step: New Perspectives on a Classical Question, Inheritance of behavior, Function block design for adaptive execution control of job shop machining operations, Verification of system level model transformations, An axiomatic semantics for Esterel, Video model for dynamic objects, Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study, Modelling of Complex Software Systems: A Reasoned Overview, A Language for Biochemical Systems: Design and Formal Specification, Refinement Sensitive Formal Semantics of State Machines With Persistent Choice, Software Reliability Prediction Based on a Formal Requirements Specification, Dynamic Reactive Modules, Are Statecharts Finite Automata?, Computational Music Therapy, Zooming-out on Higraph-based diagrams, A modular formal semantics for Ptolemy, Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation, An Observational Theory for Mobile Ad Hoc Networks, Concurrency in Biological Modeling: Behavior, Execution and Visualization, Modular supervisory control and coordination of state tree structures, Merging Hierarchically-Structured Documents in Workflow Systems, Intensional Couplings in Variable-Structure Models, Informational landscapes in art, science, and evolution, Reactive computing as model generation, Specification and refinement of mobile systems in MTLA and mobile UML, Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow, Compositional modeling and refinement for hierarchical hybrid systems, Verifiable agent dialogues, The computational complexity of scenario-based agent verification and design, Refinement of events in the development of real-time distributed systems, Control of parameterized discrete event systems, Modular design of real-time systems using hierarchical communicating real-time state machines, Hierarchical fault diagnosis for discrete-event systems under global consistency, Reachability analysis and simulation for hybridised Event-B models, The semiotics of spider diagrams, Formal analysis of the application programming interface of the PVS verification system, Compositional semantics for real-time distributed computing, Automata and processes on multisets of communicating objects, Object oriented concepts identification from formal \(B\) specifications, A survey of timed automata for the development of real-time systems, Automatic generation of invariants and intermediate assertions, Projection approaches to process mining using region-based techniques, Nested-unit Petri nets, An axiomatic semantics for the synchronous language Gentzen., Multi-modal scenarios revisited: a net-based representation, Stochastic simulation of multiple process calculi for biology, A methodology to take credit for high-level verification during RTL verification, Supervisory control of state-tree structures with partial observation, Model-based construction and verification of critical systems using composition and partial refinement, Refinement-oriented models of Stateflow charts, Verifying hierarchical Ptolemy II discrete-event models using real-time maude, Information gain of black-box testing, Domain science and engineering from computer science to the sciences of informatics. II: Science, Compositional approach to the development of reactive algorithms, A formal library of set relations and its application to synchronous languages, Pattern matching and membership for hierarchical message sequence charts, Graphical inheritance notation for state-based classes, Tools for support of automata-based programming, Statechartable Petri nets, Domain science and engineering from computer science to the sciences of informatics. I: Engineering, Functional specification and proof of correctness for time dependent behaviour of reactive systems, Interface simulation distances, Control machines: A new model of parallelism for compositional specifications and their effective compilation, Development of global specification for dynamically adaptive software, Verification of well-formed communicating recursive state machines, Compositional synthesis of supervisors in the form of state machines and state maps, A denotational theory of synchronous reactive systems, Operational specification with joint actions: Serializable databases, A compositional axiomatization of statecharts, Modeling and visualizing object-oriented programs with Codecharts, Verification and enforcement of access control policies, GemCell: A generic platform for modeling multi-cellular biological systems, Manifest domains: analysis and description, A temporal logic for micro- and macro-step-based real-time systems: foundations and applications, A formal framework for dependability and resilience from a software engineering perspective, Control of distributed systems: tutorial and overview, An operational semantics for a calculus for wireless systems, Safe reasoning with logic LTS, Introducing probabilities in statecharts to specify reactive systems for performance analysis, Turing machines, transition systems, and interaction, Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation, Concurrency in synchronous systems, Dynamic and formal verification of embedded systems: A comparative survey, Diagnosability analysis of a class of hierarchical state machines, Reconciling statechart semantics, Parameterized verification of monotone information systems, Fully abstract models and refinements as tools to compare agents in timed coordination languages, A Rice-style theorem for parallel automata, Refinement patterns for ASTDs, Reactive mode handling of flexible manufacturing systems, A modeling strategy for hybrid systems based on event structures, Revivals, stuckness and the hierarchy of CSP models, An observational theory for mobile ad hoc networks (full version), Deterministic finite automata with recursive calls and DPDAs, A metamodel for the design of polychronous systems, Bialgebraic foundations for the operational semantics of string diagrams, Introduction to design choices in the semantics of Statecharts, Invariant based programming: Basic approach and teaching experiences, A compositional \(\mu\)-calculus proof system for statecharts processes, Efficient implementation of regular languages using reversed alternating finite automata, A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs, On the computational power of BlenX, Physigrams: Modelling devices for natural interaction, Hierarchical hybrid logic, Implementing automata. Selected papers from the 2nd international workshop, WIA '97, Univ. of Western Ontario, London, Ontario, Canada, September 18--20, 1997, A verification-driven framework for iterative design of controllers, Refinement of time, PLC-automata: A new class of implementable real-time automata, Nonblocking supervisory control of state-tree structures with event forcing, Sampling automata and programs, On disjunction of literals in triggers of statecharts transitions., A comparison of Statecharts step semantics, Alternation and bounded concurrency are reverse equivalent., A timed concurrent constraint language., On the complexity of verifying concurrent transition systems, Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking, Priorities in process algebras, Requirements specifications checking of embedded real time software, Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder, Denotational fixed-point semantics for constructive scheduling of synchronous concurrency, Schedulability analysis of a graph-based task model for mixed-criticality systems, Models for reactivity