Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
The art of Prolog: advanced programming techniques
The art of Prolog: advanced programming techniques
IEEE Transactions on Software Engineering
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The Z notation: a reference manual
The Z notation: a reference manual
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Distributed computing: models and methods
Handbook of theoretical computer science (vol. B)
Communications of the ACM - Special issue on analysis and modeling in software development
A calculus of mobile processes, I
Information and Computation
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Computer
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
A layer on top of Prolog for composing behavioural constraints
Software—Practice & Experience
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Concurrent Programming in Java: Design Principles and Patterns
Concurrent Programming in Java: Design Principles and Patterns
LOTOSphere: Software Development with Lotos
LOTOSphere: Software Development with Lotos
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
The Future of Object Technology
Computer
A Junction between State Based and Behavioural Specification (Invited Talk)
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper)
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Constraint-oriented specification style and notation
Constraint-oriented specification style and notation
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Based on embedded database greenhouse temperature and humidity intelligent control system
WSEAS Transactions on Circuits and Systems
Hi-index | 0.00 |
In this paper, we propose to conservatively extend object-oriented decomposition by letting it affect also operations (methods). Different objects may support different parts of the same operation. The responsibility of defining an operation, in terms of enabling conditions and effects on the state, is distributed over several interacting objects, which act as constraints and express different, partial views about the system behavior. Constraint-oriented reasoning has already been explored and applied in the context of formal specification languages for concurrent and reactive systems, and is sufficiently different from object-oriented reasoning to be considered as a paradigm in itself, with its own specific advantages. Nevertheless, the paper shows that the two approaches are sufficiently compatible to be profitably integrated. We introduce a constraint-oriented style for an object-oriented programming language (JAVA).