Communicating sequential processes
Communicating sequential processes
Completeness and incompleteness of trace-based network proof systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compositionality, concurrency and partial correctness
Compositionality, concurrency and partial correctness
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
The existence of refinement mappings
Theoretical Computer Science
ACM Transactions on Software Engineering and Methodology (TOSEM)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional refinement of interactive systems
Journal of the ACM (JACM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Composition and Refinement for Partial Object Specifications
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
Consistency and Refinement for Partial Specification in Z
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Composition in Multiparadigm Specification Techniques
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A foundation for actor computation
Journal of Functional Programming
Proofs of Networks of Processes
IEEE Transactions on Software Engineering
Communication traces in the verification of distributed programs
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Composition and Refinement for Partial Object Specifications
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Hi-index | 0.00 |
For the specification and development of large, distributed, and object-oriented systems, it is often advocated that individual components should be developed in an aspect-wise manner, where separate descriptions depict various roles or viewpoints of the objects considered. The introduction of such partial specifications requires extra care when reasoning about systems as several specifications of an object may coexist and lead to overlapping information.In this paper, we consider a compositional approach to system development by means of partial specifications of objects. The approach supports stepwise refinement, which enables global reasoning by local refinement steps in an aspect-oriented specification style. For this purpose, a refinement relation is proposed which is suitable for multiple inheritance of behavior and component upgrade.