Viewpoint consistency in ODP

Open Distributed Processing (ODP) is a joint ITU/ISO standardisation framework for constructing distributed systems in a multi-vendor environment. Central to the ODP approach is the use of viewpoints for specification and design. Inherent in any viewpoint approach is the need to check and manage the consistency of viewpoints. In previous work we have described techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for LOTOS and Z/Object-Z. Here we present an overview of our work, motivated by a case study combining these techniques in order to show consistency between viewpoints specified in LOTOS and Object-Z.

[1]  Howard Bowman,et al.  Some Results on Cross Viewpoint Consistency Checking , 1995 .

[2]  Daniel Jackson,et al.  Structuring Z specifications with views , 1995, TSEM.

[3]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[4]  Ian Sommerville,et al.  Viewpoints for requirements definition , 1992, Softw. Eng. J..

[5]  George Spanoudakis,et al.  Managing interference , 1996, ISAW '96.

[6]  Howard Bowman,et al.  Viewpoints and consistency: translating LOTOS to Object-z , 1999 .

[7]  John Derrick,et al.  Refinement and verification of concurrent systems specified in Object-Z and CSP , 1997, First IEEE International Conference on Formal Engineering Methods.

[8]  John Derrick,et al.  Applying the UML to the ODP Enterprise Viewpoint , 1999 .

[9]  Elie Najm,et al.  Consistent Semantics for ODP Information and Computational Models , 1997, FORTE.

[10]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[11]  Kenjiroh Yamanaka,et al.  Incremental specification in LOTOS , 1990, PSTV.

[12]  Dirk Baldwin.  Applying multiple views to information systems: a preliminary framework , 1993, DATB.

[13]  Graeme Smith,et al.  A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems , 1997, FME.

[14]  Elie Najm,et al.  Invited Paper — Computational models for open distributed systems , 1997 .

[15]  J. E. Nicholls,et al.  Z User Workshop , 1990, Workshops in Computing.

[16]  Jean-Marc Nerson,et al.  Object-Oriented Analysis and Design , 1992, TOOLS.

[17]  Jonathan P. Bowen,et al.  ZUM '95: The Z Formal Specification Notation , 1995, Lecture Notes in Computer Science.

[18]  Andreas Prinz,et al.  Different FDT's Confronted with Different ODP-Viewpoints of the Trader , 1993, FME.

[19]  Howard Bowman,et al.  Comparing LOTOS and Z Refinement Relations , 1996, FORTE.

[20]  Mike Ainsworth,et al.  Viewpoint specification and Z , 1994, Inf. Softw. Technol..

[21]  Howard Bowman,et al.  Constructive Consistency Checking for Partial Specification in Z , 1999, Sci. Comput. Program..

[22]  James Martin,et al.  Object-oriented analysis and design , 1992 .

[23]  Eerke Boiten,et al.  Z Uniication Tools in Generic Formaliser 2 Generic Formaliser , 1997 .

[24]  Matthias Weber.  Combining Statecharts and Z for the Design of Safety-Critical Control Systems , 1996, FME.

[25]  James A. Larson,et al.  Integrating User Views in Database Design , 1986, Computer.

[26]  Peter Baumann,et al.  Implementing Z in Isabelle , 1995, ZUM.

[27]  Howard Bowman,et al.  Cross-viewpoint consistency in open distributed processing , 1996, Softw. Eng. J..

[28]  Howard Bowman,et al.  A Formal Framework for Viewpoint Consistency , 2002, Formal Methods Syst. Des..

[29]  Ferhat Khendek,et al.  Merging behavior specifications , 1995, Formal Methods Syst. Des..

[30]  Howard Bowman,et al.  Viewpoints and Objects , 1995, ZUM.

[31]  Marten van Sinderen,et al.  An Engineering Approach to ODP Systems Design , 1991, Open Distributed Processing.

[32]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[33]  Elie Najm,et al.  Computational models for open distributed systems , 1997 .

[34]  D. Gabbay,et al.  Inconsistency Handling in Multiperspective Specifications , 1994 .

[35]  Maarten W. A. Steen.  Consistency and composition of process specifications , 1998 .

[36]  Kerry Raymond.  Reference Model of Open Distributed Processing (RM-ODP): Introduction , 1995 .

[37]  Marten van Sinderen,et al.  Specification Styles in Distributed Systems Design and Verification , 1991, Theor. Comput. Sci..

[38]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[39]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[40]  Eerke Albert Boiten,et al.  IO-refinement in Z , 1998, FM-Trends 1998.

[41]  Howard Bowman,et al.  Strategies for Consistency Checking , 1995 .

[42]  Valérie Gay,et al.  Specification of Multiparty Audio and Video Interaction Based on the Reference Model of Open Distributed Processing , 1995, Comput. Networks ISDN Syst..

[43]  John Derrick,et al.  Formalising ODP enterprise policies , 1999, Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366).

[44]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[45]  Jean-Bernard Stefani,et al.  Open Distributed Processing and Multimedia , 1997 .

[46]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[47]  Michael Jackson,et al.  Where Do Operations Come From: A Multiparadigm Specification Technique , 1996, IEEE Trans. Software Eng..

[48]  Bashar Nuseibeh,et al.  Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[49]  Peter F. Linington,et al.  A Language for the Specification of Interactive and Distributed Multimedia Applications , 1993, Open Distributed Processing.

[50]  Michael Jackson,et al.  Conjunction as composition , 1993, TSEM.

[51]  Eerke A. Boiten,et al.  A case study in partial specification: consistency and refinement for Object-Z , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

[52]  Anthony Finkelsteiin,et al.  Consistency management for multiple perspective software development , 1996, ISAW '96.

[53]  Howard Bowman,et al.  FDTs for ODP , 1995 .

[54]  Carl A. Sunshine,et al.  Protocol Specification, Testing and Verification - Guest Editorial , 1982, Comput. Networks.

[55]  J. J. van Griethuysen.  Enterprise Modelling, A Necessary Basis for Modern Information Systems , 1991, Open Distributed Processing.

[56]  Richard O. Sinnott,et al.  Applying formal methods to standard development: the open distributed processing experience , 1995 .

[57]  Howard Bowman,et al.  Specifying and Refining Internal Operations in Z , 1998, Formal Aspects of Computing.

[58]  Kaisa Sere,et al.  Integrating Action Systems and Z in a Medical System Specification , 1996, FME.

[59]  Marten van Sinderen,et al.  On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract) , 1989, TAPSOFT, Vol.2.

[60]  Bashar Nuseibeh,et al.  A Multi-Perspective Framework for Method Integration , 2001 .

[61]  John Ronayne.  The integrated services digital network : from concept to application , 1987 .

[62]  Peter F. Linington.  RM-ODP: The Architecture , 1995 .

[63]  Rob J. van Glabbeek.  The Refinement Theorem for ST-bisimulation Semantics , 1990, Programming Concepts and Methods.

[64]  David Budgen,et al.  A software design framework or how to support real designers , 1995, Softw. Eng. J..

[65]  Mario Tokoro,et al.  Object-oriented concurrent programming , 1987 .

[66]  Marc Frappier,et al.  Program Construction by Parts , 1995, MPC.

[67]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[68]  Howard Bowman,et al.  Composition of LOTOS specifications , 1995, PSTV.

[69]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[70]  Guy Leduc.  On the role of implementation relations in the design of distributed systems using LOTOS , 1991 .

[71]  Clemens Fischer.  CSP-OZ: a combination of object-Z and CSP , 1997 .

[72]  Reinhard Gotzhein,et al.  The Design of a Temporal Logic for Open Distributed Systems , 1991, Open Distributed Processing.

[73]  S. Meyers.  Difficulties in integrating multiview development systems , 1991, IEEE Software.

[74]  Maurizio Lenzerini,et al.  A Methodology for Data Schema Integration in the Entity Relationship Model , 1984, IEEE Transactions on Software Engineering.

[75]  Howard Bowman,et al.  Coupling Schemas: Data Refinement and View(point) Composition , 1997 .

[76]  Geoff P. Mullery,et al.  CORE : A Method for Controlled Requirement Expression , 1979, ICSE.

[77]  Burkhart Wolff,et al.  A Structure Preserving Encoding of Z in Isabelle/HOL , 1996, TPHOLs.

[78]  Alessandro Fantechi,et al.  Transformations and consistent semantics for ODP viewpoints , 1997 .

[79]  Howard Bowman,et al.  Viewpoint consistency in ODP, a general interpretation , 1997 .

[80]  Ian J. Hayes,et al.  Signalling System No.7, The Network Layer , 1989, Protocol Specification, Testing and Verification.

[81]  Luigi Logrippo,et al.  Viewpoint Transformation , 1993 .

[82]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[83]  Jonathan P. Bowen,et al.  Z and HOL , 1994, Z User Workshop.

[84]  Harry S. Delugach,et al.  An approach to conceptual feedback in multiple viewed software requirements modeling , 1996, ISAW '96.

[85]  Mike Ainsworth,et al.  Formal validation of viewpoint specifications , 1996, Softw. Eng. J..

[86]  Howard Bowman,et al.  Supporting ODP - Translating LOTOS to Z , 1997 .

[87]  A. Oshisanwo,et al.  Telecommunications Information Networking Architecture , 1993 .

[88]  Elspeth Cusack.  Object Oriented Modelling in Z for Open Distributed Systems , 1991, Open Distributed Processing.

[89]  Jim Woodcock,et al.  More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement , 1998, ZUM.