• DocumentCode
    1564520
  • 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
  • fYear
    2004
  • Firstpage
    187
  • Lastpage
    200
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Proceedings. Eighth IEEE International
  • ISSN
    1541-7719
  • Print_ISBN
    0-7695-2214-9
  • Type

    conf

  • DOI
    10.1109/EDOC.2004.1342515
  • Filename
    1342515