Un enfoque declarativo para modelar el comportamiento en sistemas reactivos

Existe consenso en la comunidad académica y de ingenieros de software que es fundamental entender, modelar y describir el comportamiento del software complejo desde etapas tempranas del desarrollo. El paradigma de descripción declarativa, basado en el modelado de las propiedades y objetivos esenciales de los objetos y agentes, posee caracteŕısticas especialmente prometedoras para este tipo de desaf́ıos [1]. Sin embargo, las alternativas existentes en este paradigma son lógicas temporales que poseen limitaciones prácticas y teóricas [18,9].

[1]  Kousha Etessami,et al.  Events and constraints: a graphical editor for capturing logic requirements of programs , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[3]  Shmuel Katz.  Aspect Categories and Classes of Temporal Properties , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[4]  George S. Avrunin,et al.  PROPEL: an approach supporting property elucidation , 2002, ICSE '02.

[5]  Shmuel Katz,et al.  Diagnosis of Harmful Aspects Using Regression Verification , 2004 .

[6]  Robert J. Walker,et al.  Implementing protocols via declarative event patterns , 2004, SIGSOFT '04/FSE-12.

[7]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[8]  Gerard J. Holzmann,et al.  The logic of bugs , 2002, SIGSOFT '02/FSE-10.

[9]  Víctor A. Braberman,et al.  A scenario-matching approach to the description and model checking of real-time properties , 2005, IEEE Transactions on Software Engineering.

[10]  Marsha Chechik,et al.  Events in linear-time properties , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[11]  Jeff Magee,et al.  Negative scenarios for implied scenario elicitation , 2002, FSE 2002.

[12]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[13]  Paola Inverardi,et al.  Graphical scenarios for specifying temporal properties: an automated approach , 2007, Automated Software Engineering.

[14]  Fernando Asteasuain,et al.  Specification patterns can be formal and still easy , 2010, SEKE.

[15]  Louise E. Moser,et al.  A graphical interval logic for specifying concurrent systems , 1994, TSEM.

[16]  Rance Cleaveland,et al.  Triggered message sequence charts , 2002, SIGSOFT '02/FSE-10.