- 1.S. Arbaoui and F. Oquendo. Software Process Modelling and Technology, chapter Peace: goal-oriented logicbased formalism for process modeling. John Wiley and Sons, 1994. Google ScholarDigital Library
- 2.A. Borgida and T. Mutate. Tolerating exceptions in workfiows: A unified framework for data and processes. In Proeceedings of the International Joint COnference on Work Activities Coordination and COllaboration (~4fACC'99), Software Engineering Notes, pages 59-68, March 1999 1999. Google ScholarDigital Library
- 3.W. M. Coalition. Workfow Reference Model Brussels, 1994.Google Scholar
- 4.C. Ellis, K. Keddara, and G. Rozenberg. Dyaamic change within workfiow systems. In A CM Proc. Conf. on Organizational Computin9 Systems, 1995. Google ScholarDigital Library
- 5.E. A. Emerson. Temporal and modal logics. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume Volume B, Formal Methods and Semantics, pages 995-1072. Elsevier Science Publishers and The MIT Press: 1990. Google ScholarDigital Library
- 6.A. Finkelstein, J. Kramer, and B. Nuseibeh, editors. Software Process Modeling and Technology. John Wiley and Sons, 1994. Google ScholarDigital Library
- 7.A. Fuggetta and A. Wolf, editors. Software Process. John Wiley and Sons, 1996. Google ScholarDigital Library
- 8.$. Jablonski and C. Bussler. Workfiow Management: Modeling Concepts, Architectures and Implementation. International Thomsoa COmputer Press, 1996.Google Scholar
- 9.M. Klein, editor. JG$CW: Special issue on flexible workfiows. Klukwer Publishers, 1999. forthcomming.Google Scholar
- 10.G. Nutt. Software engineering process model case study. Technical Report CU-CS-760-94, Department of COmpurer Science, University of Colorado, 1994.Google Scholar
- 11.A. Sheth. Proceedings of the nsf workshop on workfiow and proc~s automation in information systems: State of the art and future directions. Athens, USA, 8-10 May 1996.Google Scholar
- 12.Y. Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, MA, 1988. Google ScholarDigital Library
- 13.U.S. Department of Defense. Military Standard Defense System Software Development, dod-std-2167a edition, 1998.Google Scholar
Index Terms
- Logic representation of processes in work activity coordination
Recommendations
A complete proof system for propositional projection temporal logic
The paper presents a proof system for Propositional Projection Temporal Logic (PPTL) with projection-plus. The syntax, semantics, and logical laws of PPTL are introduced together with an axiom system consisting of axioms and inference rules. To ...
On temporal logic versus datalog
Logic and complexity in computer scienceWe provide a direct and modular translation from the temporal logics CTL, ETL, FCTL (CTL extended with the ability to express fairness) and the Modal µ-calculus to Monadic inf-Datalog with built-in predicates. We call it inf-Datalog because the ...
A decidable first-order logic for medical reasoning
KES'11: Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part IIThis paper is intended to construct a decidable first-order logic for appropriately expressing medical reasoning which may require to express not only time-dependency, paraconsistency, constructiveness, resource-sensitivity, but also order-sensitivity. ...
Comments