Diagramming techniques for analysts and programmers
Diagramming techniques for analysts and programmers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Eiffel: the language
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
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Case studies in object oriented analysis & design
Case studies in object oriented analysis & design
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Computer networks (3rd ed.)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Abstract data types and the development of data structures
Communications of the ACM
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Statecharts in Use: Structured Analysis and Object-Orientation
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Hi-index | 0.00 |
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until implementation, but for validation and verification purposes the merging of views is desirable already during specification. Motivated by this, a model of objects is proposed in which the different views on an object are regarded as independent and well-connected entities that are encapsulated inside of it. Reference nets, a powerful high-level Petri net formalism, are used as an underlying uniform modeling technique for objects and the two views on them considered here -- protocols and functional parts. Protocols are defined as statecharts and mapped into Petri nets. Models become executable by utilizing Renew, a tool for drawing and simulating reference nets. In an example, the main ideas of the suggested approach are clarified.