The foundations of program verification
The foundations of program verification
Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Algebraic theory of processes
Communication and concurrency
An introduction to formal specification and Z
An introduction to formal specification and Z
A framework based on implementation relations for implementing LOTOS specifications
Computer Networks and ISDN Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Computer Standards & Interfaces - Special issue on formal description techniques
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
On behavioural subtyping in LOTOS
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Strategies for consistency checking based on unification
Science of Computer Programming
Viewpoints and consistency: translating LOTOS to Object-z
Computer Standards & Interfaces
Software Engineering
Incremental specification in LOTOS
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Composition of LOTOS specifications
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
What is the Method in Formal Methods?
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
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)
Language-Free Mathematical Methods for Software Design
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
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
Viewpoint Consistency in Z and LOTOS: A Case Study
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Formal methods for distributed processing
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Consistency between Task Models and Use Cases
Engineering Interactive Systems
Recursive modeling for completed code generation
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Perceived consistency between process models
Information Systems
Consistency between e3-value models and activity diagrams in a multi-perspective development method
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Inconsistency-based strategy for clarifying vague software requirements
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Checking the validity of scenarios in UML models
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
On the combination of domain specific modeling languages
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Propagating changes between aligned process models
Journal of Systems and Software
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
Multiple Viewpoint models of system development are becoming increasingly important. Each viewpoint offers a different perspective on the target system and system development involves parallel refinement of the multiple views. Viewpoints related approaches have been considered in a number of different guises by a spectrum of researchers. Our work particularly focuses on the use of viewpoints in Open Distributed Processing (ODP) which is an ISO/ITU standardisation framework. The requirements of viewpoints modelling in ODP are very broad and, hence, demanding. Multiple viewpoints, though, prompt the issue of consistency between viewpoints. This paper describes a very general interpretation of consistency which we argue is broad enough to meet the requirements of consistency in ODP. We present a formal framework for this general interpretation; highlight basic properties of the interpretation and locate restricted classes of consistency. Strategies for checking consistency are also investigated. Throughout we illustrate our theory using the formal description technique LOTOS. Thus, the paper also characterises the nature of and options for consistency checking in LOTOS.