Using predicate temporal logic and coloured petri nets to specifying integrity restrictions in the structural evolution of temporal active systems

International Workshop on Principles of Software Evolution (IWPSE)

Volumn 2000-January, Issue , 2000, Pages 83-87

  Rodríguez Fortiz, María José ^a   Parets Llorca , José ^a  

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

TEMPORAL LOGIC;

ACTIVE SYSTEMS; COLOURED PETRI NETS; CORRESPONDENCE RELATIONSHIPS; DESIGN SOFTWARES; STRUCTURAL EVOLUTION;

PETRI NETS;

EID: 37149039043     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPSE.2000.913225     Document Type: Conference Paper

References (11)

1. A. Anaya, M. J. Rodríguez, J. Parets: Representation and Management of Memory and Decision in Evolving Software Systems. Computer Aided Systems Theory LCNS 1333. Springer-Verlag (1997) 71-82
2. J. Bailey, G. Georgeff, D. Kemp, D. Kinny, K. Ramamohanarao. Active Databases and Agent Systems-A Comparison. International Workshop on Rules in Database Systems. (1995) 342-356.
3. J. Jeffrey, J. Lobo and T. Murata: A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Transactions on Knowledge and Data Engineering. Vol 8; 2. (1996) 241-259.
4. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volumes 1, 2 and 3. Springer-Verlag. Berlin. (1996).
5. L. Li: High-Level Petri Net Model of Logic Program with Negation. IEEE Transactions on Knowledge and Data Engineering. Vol 6, 3. (1994) 382-395.
6. Z. Manna, A. Pnueli: The Temporal Logic of reactive and concurrent systems specification. Springer-Verlag. (1992).
7. J. Parets, A. Anaya, M. J. Rodriguez, P. Paderewski: A Representation of Software Systems Evolution Based on the Theory of the General System. LCNS 763. Springer-Verlag (1994) 96-109.
8. M. J. Rodríguez, J. Parets, P. Paderewski, A. Anaya, M. V. Hurtado. HEDES: A System Theory based tool to support evolutionary Software Systems. LNCS 1798. Springer-Verlag. 2000. 450-464.
9. M. J. Rodríguez. Evolución del Software: Una Formalización Basada en Lógica Temporal de Predicados y Redes de Petri Coloreadas. Doctoral Thesis. October 2000.
10. T. Shimura, J. Lobo, T. Murata: An Extended Petri Net Model for Normal Logic Programs. IEEE Transactions on Knowledge and Data Engineering, Vol 7; 1. (1995) 150-162.
11. J. Widom, S. Ceri (eds.): Active Database Systems. Triggers and Rules for Advanced Database Processing. The Morgan Kaufmann series in data management systems. 1996.