Verification Rules of Computerized Information System Model with Respect to Data Resource Processing
Volume 12, Issue 3 (2001), pp. 347–372
Pub. online: 1 January 2001
Type: Research Article
Received
1 April 2001
1 April 2001
Published
1 January 2001
1 January 2001
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.