A transition logic for schemata conflicts

Data and Knowledge Engineering

Volumn 51, Issue 3, 2004, Pages 277-294

  Boeva, Veselka ^a   Ekenberg, Love ^b  

^a TECHNICAL UNIVERSITY OF SOFIA   (Bulgaria)

^b STOCKHOLM UNIVERSITY   (Sweden)

Author keywords

Conflict detection; Interval probability; Modal logic; Schema integration; UML

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; MATHEMATICAL OPERATORS; MODAL ANALYSIS; PROBABILITY; SOFTWARE ENGINEERING; THEOREM PROVING;

CONFLICT DETECTION; INTERVAL PROBABILITY; MODAL LOGIC; UML;

LOGIC PROGRAMMING;

EID: 5444224289     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2004.05.004     Document Type: Article

References (42)

1. Amon B., Ekenberg L., Johannesson P., Munguanaze M., Njabili U., Tesha R.M. From first-order logic to automated word generation for Lyee. Knowledge-Based Systems. 16:2003;413-429.
2. Batini C., Lenzerini M., Navathe S.B. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys. 18(4):1986;323-364.
3. Biskup J., Convent B. A formal view integration method. SIGMOD. 1986;398-407.
4. Boeva V. Dempster's rule of combination in modal logic. Proceedings of the ISIPTA'01. 2001;62-67 Shaker Publishing, Maastricht.
5. Boman M., Bubenko J., Johanesson P., Wangler B. Conceptual Modelling. 1997;Prentice-Hall, Englewood Cliffs, NJ.
6. Boman M., Ekenberg L. Risk constraints in agent conflicts. Proceedings of the LUMIS'2000. 2000;IEEE Computer Society Press, Silver Spring, MD.
7. Bright M.W., Hurson A.R., Pakzad S.H. Automated resolution of semantic heterogeneity in multidatabases. ACM Transactions of Database Systems. 19(2):1994;212-253.
8. J. Bruel, R.B. France, Transforming UML models to formal specifications, in: Proceedings of International Conference on the Unified Modelling Language (UML): beyond the notation, 1998.
9. Carmo J., Sernadas A. A temporal logic framework for a layered approach to systems specification and verification. Rolland C., Bodart F., Leonard M. Temporal Aspects of Information Systems. 1988;31-46 North-Holland, Amsterdam.
10. Chellas B. Modal Logic, an Introduction. 1980;Cambridge University Press, Cambridge.
11. Coleman D. Object-oriented Development: The Fusion Method. 1993;Prentice-Hall, Emglewood Cliffs, MA.
12. Cook S., Daniels J. Let's get formal. Journal of Object-Oriented Programming (JOOP). 22-24:1994;64-66.
13. Danielson M., Ekenberg L. A framework for analysing decisions under risk. European Journal of Operation Reasoning. 104(3):1998;474-484.
14. Davies G., Ekenberg L., Johannesson P. Detecting temporal conflicts in integrated agent specifications. Mueller, Dieng Computational Conflicts. 2000;103-124 Springer Verlag, Berlin.
15. Distefano D., Katoen J., Rensink A. On a temporal logic for object-based systems. Smith S.F., Talcott C.L. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems. 2000;305-326 Kluwer Academic Publishers, Stanford, CA, USA.
16. Dixon C., Fisher M., Wooldridge M. Resolution for temporal logics of knowledge. Journal of Logic and Computation. 8:1998;345-372.
17. Duke R., King P., Rose G.A., Smith G. The Object-Z specification language. Korson Timothy D., Vaishnavi Vijay K., Meyer Bertrand Technology of Object Oriented Languages and Systems: TOOLS 5. 1991;465-483 Prentice-Hall, Englewood Cliffs, NJ.
18. Ekenberg L., Johannesson P. Conflict freeness as a basis for schema integration. Proceedings of the CISMOD'95. Lecture Notes in Computer Science. 1995;1-13 Springer-Verlag, Berlin.
19. Ekenberg L., Johannesson P. A formal basis for dynamic schema integration. Proceedings of the ER'96. Lecture Notes in Computer Science. 1996;211-226 Springer-Verlag, Berlin.
20. L. Ekenberg, SDeLphi: Detection of Service Inference using Formal Methods. Report NP-K-LE-005, Issue 2, Telia Research AB, Logikkonsult NP AB, 1996.
21. Ekenberg L. The logic of conflicts between decision making agents. Journal of Logic and Computation. 10(4):2000;583-602.
22. Ekenberg L. Risk constraints in agent based decisions. Kent A., Williams J.G. Encyclopedia of Computer Science and Technology. vol. 43(28):2000;263-280 Marcel Dekker, New York.
23. L. Ekenberg, P. Johannesson, UML as a transition logic, in: Proceedings of the 12th European-Japanese Conference on Information Modelling and Knowledge Bases, 2002.
24. Fagin R., Halpern J.Y. Reasoning about knowledge and probability. Journal of the ACM. 41(2):1994;340-367.
25. Fiadeiro J., Sernadas C., Maibaum T., Sernadas A. Describing and structuring objects for conceptual schema development. Loucopoulos P., Zicari R. Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development. 1992;117-138 John Wiley, Wiley.
26. Hajek P. Metamathematics of Fuzzy Logic. 1998;Kluwer Academic Publishers, Netherlands.
27. Johannesson P. A logic based approach to schema integration. Teorey T. Proceedings of the 10th International Conference on Entity-Relationship Approach, San Francisco. 1991;North-Holland, Amsterdam.
28. Johannesson P. A logical basis for schema integration. Schek H. Third International Workshop on Research Issues in Data Engineering - Interoperability in Multidatabase Systems. 1993;IEEE Press, Vienna.
29. Jonsson B., Larsen K.G. Specification and Refinement of Probabilistic Processes. 1991;IEEE Computer Society Press, Silver Spring, MD. pp. 266-277.
30. Halpern J.Y. A logical approach to reasoning about uncertainty: a tutorial. Arrazola X., Korta K., Pelletier F.J. Discourse, Interaction and Communication. 1998;Kluwer.
31. M. Huth, A unifying framework for model checking labeled Kripke structures, modal transition systems, and interval transition systems, in: FST&TCS'99, Chennai, India, 1999.
32. Lano K. Z++ an object-oriented extension to Z. Nichols J.E. Z User Workshop, Oxford 1990, Workshops in Computing. 1991;151-172 Springer-Verlag, Berlin.
33. Larsen K.G. Modal specifications. Sifakis J. Automatic Verification Methods for Finite State Systems. International Workshop, Grenoble, France Lecture Notes in Computer Science. no. 407:1989;232-246 Springer Verlag, Berlin.
34. Madnick S.E. From VLDB to VMLDB (Very MANY Large Data Bases): dealing with Large-Scale Semantic Heterogeneity. VLDB. 1995;11-16.
35. Polat F., Shekhar S., Guvenir H.A. Distributed conflict resolution among cooperating expert systems. Expert Systems. 10(4):1993;227-236.
36. Rao A.S., Georgeff M.P. Decision procedures for BDI logics. Journal of Logic and Computation. 8:1998;293-342.
37. Available from RationalRoseWebSite http://www.rational.com.
38. Sernadas C., Fiadeiro J.L. Towards object-oriented conceptual modelling. Data and Knowledge Engineering. 6:1991;479-508.
39. A.P. Sheth, V. Kashyap, So Far (Schematically) yet So Near (Semantically), DS-5, 1992, pp. 283-312.
40. Smets Ph. Belief functions: the disjunctive rule of combination and generalized Bayesian theorem. International Journal of Approximate Reasoning. 9:1993;1-35.
41. Spaccapietra S., Parent C. View integration: a step forward in solving structural conflicts. IEEE Transactions on Knowledge and Data Engineering. 6(2):1994;258-274.
42. Walley P. Statistical Decision Functions. 1991;John Wiley and Sons, New York.