Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Relations as semantic constructs in an object-oriented language
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Communications of the ACM
Object-oriented modeling and design
Object-oriented modeling and design
The process of object-oriented design
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Statecharts via process algebra
Statecharts via process algebra
Observability and controllability of wireless software components
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Hi-index | 0.00 |
Although very effective, the adoption of Statecharts in object-oriented software development methods poses many problems, since their way to compose behavioral abstractions can be framed in the general context of implicit composition. In particular, the need to embed references from one behavioral description to other ones has mayor drawbacks since the description of a single entity behaviour is not self-contained, and the global behaviour results implicitly defined by following references from one entity to the other. In other words, both single and global behaviors are difficult to understand, modify and reuse. The paper proposes to overcome most of such problems by adopting Part-Whole Statecharts, whose primary policy for controlling complexity strictly enforces distinct layers for wholes and their parts. Since wholes may become parts of other aggregations, a recursive syntax and semantics can be given straightforwardly.