Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Architecture and Implementation Issues

Architecture and Implementation Issues
View Sample PDF
Author(s): Ajantha Dahanayake (Delft University of Technology, The Netherlands)
Copyright: 2001
Pages: 43
Source title: Computer-Aided Method Engineering: Designing CASE Repositories for the 21st Century
Source Author(s)/Editor(s): Ajantha Dahanayake (Georgia College & State University, USA)
DOI: 10.4018/978-1-878289-94-0.ch005


View Architecture and Implementation Issues on the publisher's website for pricing and purchasing information.


Historically the focus is on the theory of how problem-specific systems design tools can be supported by a Computer Aided Method Engineering (CAME) environment based on service object representation. To arrive at an implementation model, the conceptual model of the service object representation must be formalized. This theory is feasible when there is adequate computer support. Many researchers have emphasized strongly that requirement specification languages should have a rigorous formal basis; however, this need for formality has not been generally acknowledged in the field of information systems development. Most organizations and research groups tend to define their own methods using techniques advocated within such methods that often have no formal foundation. Discussions of modeling techniques are based on numerous examples, mostly using diagrams and notational conventions, to provide a popular style for the definition of new concepts and their behavior. In a CAME environment however, which gives the freedom to specify a modeling technique from scratch, it is difficult to avoid deficiencies such as inconsistency, lack of structure, over specification, incompleteness, ambiguity, and redundancy without using a formal approach. In automated support a formal model is used to provide stable specifications for implementation. In fact, an implementation can be seen as another, enormously detailed formal description, usually in an imperative programming language. To implement this sophisticated automated support, formal specifications of the CAME service description with adequate formal reasoning were derived earlier.

Related Content

Sangeetha V., Evangeline D., Sinthuja M.. © 2022. 16 pages.
Bhimavarapu Usharani. © 2022. 10 pages.
Rajalaxmi Prabhu B., Seema S.. © 2022. 24 pages.
Meeradevi, Monica R. Mundada, Shilpa M.. © 2022. 27 pages.
Sowmya B. J., Pradeep Kumar D., Hanumantharaju R., Gautam Mundada, Anita Kanavalli, Shreenath K. N.. © 2022. 21 pages.
Seema S., Sowmya B. J., Chandrika P., Kumutha D., Nikitha Krishna. © 2022. 20 pages.
Bhimavarapu Usharani. © 2022. 13 pages.
Body Bottom