Prototyping a requirements specification through an automatically generated concurrent logic program

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1551 LNCS, Issue , 1999, Pages 31-45

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

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

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; BANK ACCOUNTS; CONCEPTUAL MODEL; CONCEPTUAL SCHEMAS; CONCURRENT OBJECTS; DISTRIBUTED COMPUTATIONS; EXECUTION MODEL; FORMAL APPROACH; LOGIC PROGRAMS; NATURAL REPRESENTATION; OBJECT ORIENTED; PROGRAMMING CONCEPTS; REQUIREMENTS SPECIFICATIONS; TOOL SUPPORTING;

ANIMATION; INFORMATION SYSTEMS; LOGIC PROGRAMMING;

SPECIFICATIONS;

EID: 84867440958     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (20)

1. L. Åqvist. Deontic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 605-714. Reidel, 1984.
2. T. Chikayama. KLIC User's Manual. Institute for New Generation Computer Technology, Tokyo JAPAN, 1995.
3. T. Conlon. Programming in PARLOG. Addisson-Wesley, 1989.
4. A. Davison. Polka: A Parlog object-oriented language, Ph.D. thesis, Department of Computer Science, Imperial College London, 1989.
5. D. Harel. Dynamic Logic. In Handbook of Philosophical Logic II, editors D.M. Gabbay, F. Guenthner; pages 497-694. Reidel 1984.
6. P. Heymans. The Albert II Specification Animator. Technical Report CREWS 97-13, Cooperative Requirements Engineering with Scenarios, http://sunsite. informatik.rwth-aachen.de/CREWS/reports97.htm.
7. R. Herzig and M. Gogolla. An animator for the object specification language TROLL light. In Proc. Colloq. on Object-Orientation in Databases and Software Engineering, Montreal 1994.
8. P. Letelier, P. Sánchez and I. Ramos. Animation of system specifications using concurrent logic programming. Symposium on Logical Approaches to Agent Modeling and Design, ESSLLI'97, Aix-en-Provence, France, 1997.
9. P. Letelier, I. Ramos, P. Sánchez and O. Pastor. OASIS 3.0: Un enfoque formal para el modelado conceptual orientado a objeto. SPUPV-98.4011, Servicio de Publicaciones Universidad Politécnica de Valencia, 1998.
10. P. Letelier, I. Ramos and P. Sánchez. Un modelo de ejecución para especificaciones OASIS 3.0 Infórme Técnico DSIC-II/36/98, Universidad Politécnica de Valencia, 1998.
11. J.-J. Ch. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. In Notre Dame Journal of Formal Logic, vol.29, pages 109-136, 1988.
12. J. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.
13. O. Pastor and I. Ramos. OASIS version 2 (2.2): A Class-Definition language to model information systems using an object-oriented approach, SPUPV-95.788, Servicio de Publicaciones Universidad Politécnica de Valencia, 1995.
14. E. Pimentel. L2||O2: Un lenguaje lógico concurrente orientado a objetos, Tesis Doctoral, Facultad de Informática, Universidad de Málaga, 1993.
15. C. Rolland, C. Ben Achour, C. Cauvet, J. Ralyté, A. Sutcliffe, N.A.M. Maiden, M. Jarke, P. Haumer, K. Pohl, E. Dubois and P. Heymans. A Proposal for a Scenario Classification Framework, Technical Report CREWS 96-01, http://sunsite.informatik.rwth-aachen.de/CREWS/reports96.htm.
16. P. Sánchez, P. Letelier and I. Ramos. Constructs for Prototyping Information Systems using Object Petri Nets, Proc. of IEEE International Conference on System Man and Cybernetics, pages 4260-4265, Orlando, USA, 1997.
17. E. Shapiro and A. Takeuchi. Object oriented programming in concurrent prolog, en New Generation Computing, vol.1, pages 25-48, 1983.
18. J. Siddiqi, I.C. Morrey, C.R. Roast and M.B. Ozcan. Towards quality requirements via animated formal specifications. Annals of Software Engineering, n.3, 1997.
19. K. Yoshida and T. Chikayama. A'UM: A string based concurrent object-oriented language, In Proc. of the Int. Conf. on FGCS, ICOT, pages 638-649, 1988.
20. R.J. Wieringa and J.-J. Ch. Meyer. Actors, Actions and Initiative in Normative System Specification. Annals of Mathematics and Artificial Intelligence, 7:289-346, 1993.