Formalizing and validating behavioral models through the event calculus

Information Systems

Volumn 23, Issue 3-4, 1998, Pages 179-196

  Diaz, Oscar ^a   Paton, Norman W ^b   Iturrioz, Jon ^a  

^a UNIVERSITY OF THE BASQUE COUNTRY UPV EHU   (Spain)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Conceptual Modelling; Event Calculus; Use Cases

Indexed keywords

HUMAN COMPUTER INTERACTION; MATHEMATICAL MODELS;

CONCEPTUAL MODELS; EVENT CALCULUS;

DATABASE SYSTEMS;

EID: 0032067121     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0306-4379(98)00008-8     Document Type: Article

References (22)

1. S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S.-K. Kim. Composite events for active databases: Semantics, contexts and detection. In J. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. 20th Int. Conf, on Very Large Data Bases, pp. 606-617, Morgan-Kaufmann (1994).
2. S. Cook and J. Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall (1994).
3. O. Diaz, J. Iturrioz, and M.G. Piattini. Promoting business rules in object-oriented methods. To appear in Jounal of Systems and Software (1998).
4. A.A.A. Fernandas, M.H. Williams, and N.W. Paton. A logic-based integration of active and deductive databases. New Generation Computing, 15(2):205-244 (1997).
5. S. Gatziu and K.R. Dittrich. Events in an active object-oriented database system. In M. Williams N. Paton, editor, Proc. of the 1st Intl. Workshop On Rules In Database Systems, Workshops in Computing Series, pp. 127-142, Springer-Verlag (1993).
6. C. Goti. Business rules: Their role in systems requirements. Technical Report TR03.587, Santa Teresa Laboratory, San Jose, (1994).
7. B. Henderson-Seller, M. Fung, and L.M. Yap. The role of business rules and quality in methodologies. Review of Object Analysis and Design, 2(4):10-12 (1995).
8. M. Jackson. Software Requirements and Specifications. Addison Wesley - ACM Press (1996).
9. M. Jackson. The meaning of requirements. Annals of Software Engineering, 3:5-21 (1997).
10. I. Jacobson. Formalizing use-case modeling. Journal of Object Oriented Programming, 3(3):10-14 (1995).
11. R. Kowalski. Database updates in the event calculus. Journal of Logic Programming, 12:121-146 (1992).
12. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95 (1986).
13. V. Lalioti and P. Loucopoulos. Visualisation for validation. In CAiSE, pp. 143-164, Springer-Verlag, LNCS (1993).
14. P. Loucopoulos. Conceptual modeling. In [15], pp. 1-26 (1992).
15. P. Loucopoulos and R. Zicari, editors. Conceptual Modeling, Databases and Cases. Wiley (1992).
16. T. Moriarty. The next paradigm. Database Programming and Design, 6(2):66-69 (1995).
17. A. Olivé and M.R. Sancho. Validating conceptual specifications through model execution. Journal of Information Systems, 21(2):167-186 (1996).
18. M.A. Quid. Business Process. Wiley (1995).
19. D.C.C. Poo and P.J. Layzell. An evolutionary structural model for software maintenance. Journal of Systems and Software, 18(2):113-123 (1992).
20. B. Regnell, M. Andersson, and J. Bergstrand. A hierarchical use case model with graphical representation. In Proc. Int. Work, on Engineering of Computer-Based Systems (1996).
21. J. Rumbaugh. Getting started. Journal of Object Oriented Programming, 7(5):8-12 (1994).
22. A. Tsalgatidou and P. Loucopoulos. An object-oriented rule-based approach to the dynamic modeling of information systems. In H.G. Sol and K.M. van Hee, editors, Dynamic Modeling of Information Systems, Elsevier Science Publishers, North Holland (1991).