Flexible specification of interoperable transactions

Data and Knowledge Engineering

Volumn 25, Issue 3, 1998, Pages 327-345

  Weigand, Hans ^a   Ngu, Anne H H ^b  

^a TILBURG UNIVERSITY   (Netherlands)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Deontic logic; Flexible transactions; Interoperable systems; Temporal logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC;

DEONTIC LOGIC; INTEROPERABLE SYSTEMS; INTEROPERABLE TRANSACTIONS; TEMPORAL LOGIC;

DATA COMMUNICATION SYSTEMS;

EID: 0032051112     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(97)00021-9     Document Type: Article

References (23)

1. A.H.H. Ngu, R. Meersman and H. Weigand, Specification and verification of communication constraints for interoperable transactions, Int. J. Intell. Cooperative Systems 3(1) (1994) 47-65.
2. H. Weigand, E. Verharen and F. Dignum, Modelling communication between cooperative systems, in: P. Constantopoulos (ed.), Advanced Information Systems Engineering CAISE'96 (Springer-Verlag, Berlin, 1996).
3. P.K. Chrysanthis and K. Ramamtithan, ACTA: The SAGA continues, in: A.K. Elmagarmid (ed.), Database Transaction Models for Advanced Applications, San Mateo, California, 1992.
4. D. Georgakopoulos and M.F. Hornick, A framework for enforceable specification of extended transaction models and transactional workflows, Int. J. Intell. Cooperative Inf. Systems 3(3) (1994) 225-253.
5. M. Nodine, N. Nakos and S. Zdonik, Specifying flexible tasks in a multidatabase, Proc. Cooperative Information Systems CoopIS-94, March 1994.
6. L. Liu and R. Meersman, Activity model: A declarative approach for capturing communication behaviour in object-oriented databases, Proc. 18th Int. Conf. Very Large Databases (August 1992), 481-493.
7. R. Helm, I.M. Holland and D. Gangopadhyay, Contracts: Specifying behavioural compositions in object-oriented systems, Proc. ACM ECOOP/OOPSLA (October 1990) 169-180.
8. H. Weigand, Towards a design methods for interoperable databases, in: D.K. Hsiao, E.J. Neuhold and R. Sacks-Davis (eds.), IFIP DS-5 Semantics of Interoperable Database Systems, Lorne, Victoria, Australia, November 1992.
9. A. Sheth and L. Kalinichenko, Information modeling in multidatabase systems: Beyond data modeling, Proc. First Int. Conf. Inf. Knowledge Management, November 1992.
10. B. Nixon, Taxis 84 selected papers, Technical Report CSRG-160, Department of Computer Science, University of Toronto, Toronto, Canada M5S 1A4, 1984.
11. R. King and D. McLeod, A database design methodology and tool for information systems, ACM Trans. Office Inf. Systems 3(1) (1985) 2-21.
12. A. Elmagarmid, Y. Leu, W. Litwin and M. Rusinkiewicz, A multidatahase transaction model for interbase, Proc. 16th VLDB Conf., August 1990.
13. O. Bukhres, J. Chen, J. Chen, A. Elmargarmid, Y. Leu and G. Zhu, The interbase parallel languages, Proc. 2nd Int. Workshop on Research Issues on Data Engineering: Transaction and Query Processing, 1992.
14. D. Georgakopulos et al., Specification and management of extended transactions in a programmable transaction environment, Proc. 10th Data Engineering Conf., Houston, USA, February 1994.
15. A. Sheth, M. Rusinkiewicz and G. Karabatis, Using polytransactions to manage interdependent data, in: A.K. Elmagarmid (ed.), Database Transaction Models for Advanced Applications, San Mateo, California, 1992.
16. F. Dignum and H. Weigand, Communication and deontic logic, in: R. Wieringa and R.B. Feenstra (eds.), Information Systems - Correctness and Reusability (World Scientific, Singapore, 1995).
17. R.J. Wieringa, J.J. Meyer and H. Weigand, Specifying dynamic and denotic integrity constrants, Data Knowledge Engrg 2(4) (1989) 157-191.
18. M. Rusinkiewicz, and A. Sheth, Specification and execution of transactional workflows, in: W. Kim (ed.), The Object Model, Interoperability, and Beyond (Addison-Wesley, 1994).
19. A.K. Elmagarmid, Database Transaction Models for Advanced Applications (Morgan Kaufmann Publishers, San Mateo, California, 1992).
20. A. Buchmann, T. Ozsu, M. Hornick, D. Georgakopoulos and F. Minola, A transaction model for active distributed object systems, in: A.K. Elmagarmid (ed.), Database Transaction Models for Advanced Applications (San Mateo, California, 1992) 123-158.
21. E. Kuehn, F. Puntigam and A. Elmagarmid, Multidatabase transaction and query processing in logic, in: A.K. Elmagarmid (ed.), Database Transaction Models for Advanced Applications (San Mateo, California, 1992) 123-158.
22. R. Medina-Mora, T. Winograd, R. Flores and F. Flores, The action workllow approach to workflow management technology, CSCW 92 Proceedings, November 1995, 281-288.
23. M. Ansari, L. Ness, M. Rusinkiewicz and A. Sheth, Using flexible transactions to support multi-system telecommunication applications, Proc. 18th VLDB Conf., Vancouver, Canada, August 1992.