Parallel program design: a foundation
Parallel program design: a foundation
Understanding object-oriented: a unifying paradigm
Communications of the ACM
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Information modeling: an object-oriented approach
Information modeling: an object-oriented approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented specification case studies
Object-oriented specification case studies
Open issues in object-oriented programming—a Scandinavian perspective
Software—Practice & Experience - Special issue on object-oriented programming and technology
Why interaction is more powerful than algorithms
Communications of the ACM
A Discipline of Programming
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Hybrid Models for Mobile Computing
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
| Hi-index | 0.00 |
Encapsulating methods in objects requires design decisions that complicate specification and modeling of object systems. To allow modeling at a higher level of abstraction, we outline a rigorous theory for dealing with patterns of generalized object systems. Unlike "classical" object-oriented extensions of specification formalisms, the approach is based on a reactive rather than transformational view of computations. It allows dynamic modeling at an intermediate level between logic and direct implementability, with a simple relationship between operational models and logic. Support is provided for early modeling of temporal properties, systematic use of rigorous refinements, and for composition of patterns.