Verification Rules of Computerized Information System Model with Respect to Data Resource Processing

Article type: Research Article

Authors: Butkienė, Rita | Butleris, Rimantas

Affiliations: Kaunas University of Technology, Department of Information Systems, Studentų 50, 3027 Kaunas, Lithuania. E-mail: ribu@soften.ktu.lt, rimbut@if.ktu.lt

Abstract: This paper presents the set of verification rules to detect faults in specification of model of computerized information system. Computerized information system model is specified using Enterprise modeling approach, which integrates static and dynamic dependencies. Typical communication action loop is a basic construct of Enterprise modeling approach. Actions, which process data resources of computerized information system, are analyzed.

Keywords: information system, requirement specification, enterprise modeling, integrity, static dependencies, dynamic dependencies

DOI: 10.3233/INF-2001-12301

Journal: Informatica, vol. 12, no. 3, pp. 347-372, 2001