Animating formal specifications with inheritance in a DL-based framework

Requirements Engineering

Volumn 4, Issue 4, 1999, Pages 198-205

  Sánchez, Pedro ^a   Letelier, Patricio ^a   Ramos, Isidro ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Animation of specifications; Inheritance; Object oriented methods; Requirements engineering

Indexed keywords

EID: 35248816439     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/s007660050020     Document Type: Article

References (18)

1. Pastor O, Ramos I. OASIS version 2(2.2): a class-definition language to model information systems using an object-oriented approach. Servicio de Publicaciones Universidad Politécnica de Valencia, 1995
2. Letelier P, Ramos I, Sánchez P, Pastor Ó. OASIS 3.0: a formal approach to object-oriented conceptual modeling (in Spanish). Servicio de Publicaciones de la Universidad Politécnica de Valencia, Spain, 1998
3. Siddiqi J, Morrey IC, Roast CR, Ozcan MB. Towards quality requirements via animated formal specifications. Ann Software Eng 1997;3:131-155
4. Grau A, Kuester FJ, Kowsari M, Eckstein S, Pinger R, Ehrich H-D. The TROLL approach to conceptual modelling: syntax, semantics and tools. In: Ling TW, Ram S, Lee ML (eds). Proceedings of the 17th international conference on conceptual modeling (ER '98), Singapore, 16-19 November 1998. Springer, Berlin, 1998, pp 277-290
5. Heymans P. The Albert II specification animator. Technical report CREWS 97-13, Cooperative requirements engineering with scenarios, http://sunsite. informatik.rwth-aachen.de/CREWS/ reports97.htm
6. OBLOG Software S.A. The OBLOG software development approach (White Paper), http://www.oblog.pt/Download/Documentation.exe, 1999
7. Feenstra RB, Wieringa RJ. Validating specifications of dynamic systems using automated reasoning techniques. In: Bioch JC, Tan YH (eds). Proceedings of the seventh Dutch conference on Artificial intelligence (NAIC '95), 1995, pp 105-114
8. Rolland C, Ben Achour C, Cauvet C, Ralyté J, Sutcliffe A, Maiden NAM, Jarke M, Haumer P, Pohl K, Dubois E, Heymans P. A proposal for a scenario classification framework. Technical report CREWS 96-01, http://sunsite. informatik.rwth-aachen.de/ CREWS/reports96.htm
9. Sánchez P, Letelier P, Ramos I. Constructs for prototyping information systems with object Petri nets. In: Proceedings of the IEEE international conference on SMC '97, Orlando, FL, 1997, pp 4260-4265
10. Letelier P, Sánchez P, Ramos I. Prototyping a requirements specification through an automatically generated concurrent logic program. In: Gupta G, (ed). Practical aspects of declarative languages (LNCS 1551). Springer, Berlin, 1998, pp 31-45
11. Meyer J-JCh. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J Formal Logic 1988;29:109-136
12. Grau A, Kowsari MA. Validation system for object-oriented specifications of information systems. In Manthey R, Wolfengagen V (eds). Proceedings of the first East European symposium on advances in databases and information systems (ADBIS '97), St. Petersburg, 2-5 September 1997. Electronic Workshops in Computing, Springer, Berlin, 1997
13. Taivalsaari A. On the notion of inheritance. ACM Comput Surveys 1996;28:438-479
14. Wieringa R, Jonge W, Spruit P. Roles and dynamic subclasses: a modal logic approach. Vrije University, Netherlands, 1995
15. Harel D. Dynamic logic. In: Gabbay DM, Guenthner F (eds). Handbook of philosophical logic II. Reidel, Boston, MA, pp 497-694
16. Letelier P, Sánchez P, Ramos I. Process specification for objects interpreted into dynamic logic (in Spanish). In: Jornadas de ingeniería de software (JIS '98), Murcia, 1998, pp 281-292
17. Gamma E, Helm R, Johnson R, Vlissides J. Design patterns: elements of reusable object oriented software. Professional Computing Series, Addison-Wesley, Reading, MA, 1994
18. Pastor O, Insfrán E, Pelechano V, Romero J, Merseguer J. OO-METHOD: an OO software production environment combining conventional and formal methods. In: Proceedings of the conference on advanced information systems engineering (CAiSE '97, Barcelona, 1997, pp 145-158