Location of Repository

A relational framework for the integration of specifications

By Eerke Albert Boiten and John Derrick


We describe a framework for viewpoint specification using formal specification languages. In order to establish consistency and to further develop specifications, specifications need to be integrated ("unified"). This integration is not defined in terms of their semantics, but more abstractly in terms of, so-called, development relations, which represent acceptable "developments" (e.g., refinements) of each of the viewpoint specifications. The framework is motivated by its instantiations with a number of specification languages (e.g., LOTOS and Z) and different development relations

Topics: QA76
Publisher: IOS Press
Year: 2003
OAI identifier: oai:kar.kent.ac.uk:13927

Suggested articles



  1. (2002). A formal framework for viewpoint consistency,” Formal Methods
  2. (2002). A framework for UML consistency”,
  3. (1999). A junction between state based and behavioural specification,” Invited Paper
  4. (1994). A new concept of refinement used for behaviour modelling with automata,”
  5. (1988). Algebraic Theory of Processes,”
  6. (2002). Applying ODP to an air traffic management system: viewpoints and correspondences,” submitted for publication.
  7. (2000). Architecting with RM-ODP,”
  8. (1985). Communicating Sequential Processes,”
  9. (1993). Conjunction as composition,”
  10. (1999). Consistency of partial process specifications,”
  11. (1999). Constructive consistency checking for partial specification in
  12. (1997). European Organisation for the Safety of Air Navigation,
  13. (2002). Handling inconsistencies in Z using quasi-classical logic,”
  14. (2002). Interpreting ODP viewpoint specification: Observations from a case study,” in FMOODS
  15. (1988). Introduction to the ISO Specification Language
  16. (1999). Metamodelling semantics of UML,”
  17. (1992). On the lattice of specifications: Applications to a specification methodology,”
  18. (1995). Program construction by parts,” in (Mo¨ller,
  19. (2001). Semantic integration of heterogeneous formal specifications via transformation systems”, Habilitation thesis,
  20. (1995). Specware: Formal support for composing software,” in (Mo¨ller,
  21. (1999). Strategies for consistency checking based on unification,”
  22. (1995). Structuring Z specifications with views,”
  23. (1997). Synthesising Interconnections,”
  24. (1991). Techniques for partial specification and specification of switching systems,”
  25. (1999). The Unified Modeling Language: Reference Manual,” Object Technology Series,
  26. (1992). The Z notation: A reference manual,” 2nd edition,
  27. (1996). Towards a framework for managing inconsistency between multiple views,”
  28. (1992). Viewpoints: a framework for integrating multiple perspectives in system development,”
  29. (1996). Where do operations come from? A multiparadigm specification technique,”

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.