Semantics of reactive components in event-driven workflow execution
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 409-422
- https://doi.org/10.1007/3-540-63107-0_29
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Detecting composite events in active database systems using Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Advanced rule driven transaction managementPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logic-based integration of active and deductive databasesNew Generation Computing, 1997
- A formal foundation for distributed workflow execution based on state chartsPublished by Springer Nature ,1997
- Design and Implementation of Process-Oriented Environments with Brokers and ServicesPublished by Springer Nature ,1996
- Deriving active rules for workflow enactmentPublished by Springer Nature ,1996
- Composite temporal events in active database rules: A logic-oriented approachPublished by Springer Nature ,1995
- Rule-Based Implementation of Transaction Model SpecificationsPublished by Springer Nature ,1994
- ACTA: a framework for specifying and reasoning about transaction structure and behaviorPublished by Association for Computing Machinery (ACM) ,1990