Title :
A rigorous approach to relate enterprise and computational viewpoints
Author :
Dijkman, Remco M. ; Quartel, Dick A C ; Pires, Luis Ferreira ; Van Sinderen, Pires Marten J
Author_Institution :
Centre for Telematics & Inf. Technol., Twente Univ., Enschede, Netherlands
Abstract :
Multiviewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more manageable. However, to construct a consistent multiviewpoint design, the relations between viewpoints must be defined precisely, so that the consistency of designs from these viewpoints can be verified. The goal of this paper is to make the consistency rules between (a slightly adapted version of) the RM-ODP enterprise and computational viewpoints more precise and to make checking the consistency between these viewpoints practically applicable. To achieve this goal, we apply a generic framework for relating viewpoints that includes reusable consistency rules. We implemented the consistency rules in a tool to show their applicability.
Keywords :
distributed processing; formal specification; formal verification; open systems; systems analysis; consistency rules; enterprise viewpoints; multiviewpoint design; open distributed processing; reference model; stakeholder design; Concrete; Distributed computing; Distributed processing; Information technology; Maintenance engineering; Prototypes; Telematics;
Conference_Titel :
Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Proceedings. Eighth IEEE International
Print_ISBN :
0-7695-2214-9
DOI :
10.1109/EDOC.2004.1342515