| Title | Formalizing and Validating Behavioral Models Through the Event Calculus. |
|---|---|
| Authors | Oscar Díaz, Norman W. Paton, Jon Iturrioz |
| Author Count | 3 |
| Type | Article |
| Publication Date | May 1998 |
| Year | 1998 |
| Where Published | Information Systems |
| Quartile | Q1 |
| DOI | 10.1016/S0306-4379(98)00008-8 |
| ResearchGate URL | https://www.researchgate.net/publication/220504197_Formalizing_and_Validating_Behavioral_Models_Through_the_Event_Calculus |
| JCR Indexed | Yes |
Accurate gathering of requirements is a major concern during conceptual modelling. Such accurateness can only be achieved through major involvement of users, who should check whether the system's specification conforms with their expectations. This task can be facilitated both by intuitive conceptual constructs and by executable models that allow i...