Communications of the ACM
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Object-oriented software engineering
Object-oriented software engineering
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
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.)
On the power of bounded concurrency I: finite automata
Journal of the ACM (JACM)
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
An analysis-based approach to composition of distributed embedded systems
Proceedings of the 6th international workshop on Hardware/software codesign
Actor-based computing: vision forestalled, vision fulfilled
AGENTS '98 Proceedings of the second international conference on Autonomous agents
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
A real world object modeling method for creating simulation environment of real-time systems
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Achieving extensibility through product-lines and domain-specific languages: a case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
Journal of Systems Architecture: the EUROMICRO Journal
Reflective Analysis and Design for Adapting Object Run-Time Behavior
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Modeling Web Navigation by Statechart
COMPSAC '00 24th International Computer Software and Applications Conference
Towards Flexible and High-Level Modeling and Enacting of Processes
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Industrial Applications of Model Checking
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
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
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Compatibility of e -Services in a Cooperative Multi-platform Environment
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Towards Ontologically Based Semantics for UML Constructs
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
An Evaluation of Formalisms for Negotiations in E-commerce
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Rhapsody: A Complete Life-Cycle Model-Based Development System
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Industrial applications of model checking
Modeling and verification of parallel processes
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Extending the Concept of Mixin to Multidimensional Objects
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
A pragmatic, rigorous integration of structural and behavioral modeling notations
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A method for the automatic generation of test suites from object models
Proceedings of the 2003 ACM symposium on Applied computing
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
Small Errors in "Toward Formalizing Domain Modeling Semantics in Language Syntax'
IEEE Transactions on Software Engineering
Telecommunications Systems - Modeling, analysis, design and management
Proceedings of the 28th international conference on Software engineering
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Model-Based Software Design and Adaptation
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Self-healing by means of automatic workarounds
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
Science of Computer Programming
Synthesizing intensional behavior models by graph transformation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Intrinsic Monitoring Using Behaviour Models in IPv6 Networks
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
Part-whole statecharts for the explicit representation of compound behaviours
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
Some thoughts on the semantics of biocharts
Time for verification
Collaborative approach for modeling and performing mobile software process components
CTS'05 Proceedings of the 2005 international conference on Collaborative technologies and systems
Modeling Biology using Generic Reactive Animation
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Building domain specific software architectures from software architectural design patterns
Proceedings of the 33rd International Conference on Software Engineering
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A rigorous software process for the development of embedded systems
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Automatic cross validation of multiple specifications: a case study
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Code generation from UML models with semantic variation points
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Component-based engineering of distributed embedded control software
Component-Based Software Development for Embedded Systems
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |
This paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. The goal is for models to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object-oriented languages such as C++. At the heart of the modeling method is the language of statecharts for specifying object behavior, and a hierarchical OMT-like language for describing the structure of classes and their inter-relationships, that we call O-charts. Objects can interact by event generation, or by direct invocation of operations. In the interest of keeping the exposition manageable, we leave out some technically involved topics, such as multiple-thread concurrency and active objects.