Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
Real-time object-oriented modeling
Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
From Centralized Workflow Specification to Distributed WorkflowExecution
Journal of Intelligent Information Systems - Special issue on workflow management systems
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
An algorithm for blob hierarchy layout
AVI '00 Proceedings of the working conference on Advanced visual interfaces
Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Parallel programming using visual patterns
Progress in computer research
Java engine for UML based hybrid state machines
Proceedings of the 32nd conference on Winter simulation
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Workflow management with service quality guarantees
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Parallel programming using visual patterns
Progress in computer research
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
Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering
Mapping software: Are we nearing standardization?
Annals of Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
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
Formal Verification of UML Statecharts with Real-Time Extensions
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Regular Collections of Message Sequence Charts
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Guidelines for NL-Based Requirements Specifications in NIBA
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
On Message Sequence Graphs and Finitely Generated Regular MSC Languages
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
On the Concurrent Object Model of UML
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Composing and Deploying Grid Middleware Web Services Using Model Driven Architecture
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Eliminating Queues from RT UML Model Representations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Probabilistic Extension of UML Statecharts
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Complex Reactive Control with Simple Synchronous Models
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Implementing Reversed Alternating Finite Automaton (r-AFA) Operations
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Towards a Foundation of Component-Oriented Software Reference Models
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Synthesizing Distributed Finite-State Systems from MSCs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Evaluating real-time software specification languages
Computer Standards & Interfaces
An object pattern for computer user interface systems
Information processing and technology
XML-enabled workflow management for e-services across heterogeneous platforms
The VLDB Journal — The International Journal on Very Large Data Bases
Integrating SHriMP with the IBM websphere studio workbench
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
TOWARDS A UNIFIED TEST PROCESS: FROM UML TO END-OF-LINE FUNCTIONAL TEST
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Engineering commitment-based multiagent systems: a temporal logic approach
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Automated Software Engineering Using Concurrent Class Machines
Proceedings of the 16th IEEE international conference on Automated software engineering
UML for real
ANEMIC: automatic interface enabler for model integrated computing
Proceedings of the 2nd international conference on Generative programming and component engineering
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Recovery guarantees for Internet applications
ACM Transactions on Internet Technology (TOIT)
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Live and let die: LSC based verification of UML models
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A theory of regular MSC languages
Information and Computation
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
Visual security protocol modeling
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
Developing maintainable software: the READABLE approach
Decision Support Systems
Comprehensive and realistic modeling of biological systems
Proceedings of the 38th conference on Winter simulation
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique
Journal of Integrated Design & Process Science - Component-Based System Development
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
IEEE Transactions on Software Engineering
Information and Software Technology
The Domain-Specific Language Monaco and its Visual Interactive Programming Environment
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
GemCell: A generic platform for modeling multi-cellular biological systems
Theoretical Computer Science
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Electronic Notes in Theoretical Computer Science (ENTCS)
A formalism for visual security protocol modeling
Journal of Visual Languages and Computing
PASSIM: a simulation-based process for the development of multi-agent systems
International Journal of Agent-Oriented Software Engineering
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Supporting the UML State Machine Diagrams at Runtime
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Scenario-Based Static Analysis of UML Class Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Dynamic adaptive software components: the MOCAS approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
Reconciling statechart semantics
Science of Computer Programming
Crafting game-models using reactive system design
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
Models in Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling biological reactivity: statecharts vs. Boolean logic
Proceedings of the Working Conference on Advanced Visual Interfaces
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing a Pattern-Based Model of a Real-Time Turntable System
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting RTL flow compatibility in a microarchitecture-level design framework
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Formality, Evolution, and Model-driven Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Theory and Language Constructs for Objects with States
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional Operational Semantics of a UML-Kernel-Model Language
Electronic Notes in Theoretical Computer Science (ENTCS)
LSC Verification for UML Models with Unbounded Creation and Destruction
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of regular MSC languages
Information and Computation
An ASM semantics of UML derived from the meta-model and incorporating actions
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Modelling recursive calls with UML state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Model-based development of web applications using graphical reaction rules
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A formal approach to collaborations in the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML behavior: inheritance and implementation in current object-oriented languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Using event-driven lightweight DSC-based agents for MAS modelling
International Journal of Agent-Oriented Software Engineering
NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
What is in a step: new perspectives on a classical question
Time for verification
Statecharts-based JADE agents and tools for engineering multi-agent systems
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
On the performance of UML state machine interpretation at runtime
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communications of the ACM
Methods for modelling complex interactions between patients and carers in dementia management
Proceedings of the 2010 Conference on Grand Challenges in Modeling & Simulation
Software and Systems Modeling (SoSyM)
29 new unclarities in the semantics of UML 2.0 state machines
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An automatic mapping from statecharts to verilog
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Refinement patterns for hierarchical UML state machines
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Causal closure for MSC languages
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Some features of state machines in ORM
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
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
Combining state-based and scenario-based approaches in modeling biological systems
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
An enhanced composition model for conversational enterprise javabeans
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Engineering multi-agent systems through statecharts-based JADE agents and tools
Transactions on Computational Collective Intelligence VII
Synthesizing object life cycles from business process models
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Modeling and verifying hierarchical real-time systems using stateful timed CSP
ACM Transactions on Software Engineering and Methodology (TOSEM)
USMMC: a self-contained model checker for UML state machines
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 4.12 |
Most object-oriented methods use a graphical notation, and most also adopt a state-based formalism to specify behavior. But most also fail to rigorously define the semantics of the languages they use to describe behavior. Without rigorous semantics, OO models can never be precise enough to produce fully executable models and enable automatic code synthesis. These issues are complicated and go beyond recommending a modeling approach or methodology-they are language design concerns, requiring rigorous mathematical underpinnings. Both syntax and semantics must be fully worked out: Any possible combination of constructs must be clearly characterized as syntactically legal or illegal, and each legal combination must be given a unique and formal meaning.In this article, the authors describe their integrated set of diagrammatic languages for object modeling built around statecharts and their supporting tool, Rhapsody, which produces a fully executable model and allows automatic code synthesis. As a result of the authors' collaboration with the team that defined the Unified Modeling Language, this language set and Rhapsody are consistent with UML.