Regulations Expressed As Logical Models (REALM)

Frontiers in Artificial Intelligence and Applications

Volumn 134, Issue , 2005, Pages 37-48

  Giblin, Christopher ^a   Liu, Alice Y ^b   Müller, Samuel ^a   Pfitzmann, Birgit ^a   Zhou, Xin ^b  

^a IBM RESEARCH ZURICH   (Switzerland)

^b IBM China Research Laboratory   (China)

Author keywords

Compliance Management; Logical Formalization; MDA; Regulatory Requirements; Temporal Logics

Indexed keywords

COMMERCE; FINANCIAL MARKETS; LIFE CYCLE; REGULATORY COMPLIANCE; SOFTWARE ARCHITECTURE;

COMPLIANCE MANAGEMENT; COMPLIANCE RULES; CORPORATES; LOGICAL FORMALIZATION; LOGICAL MODELS; MDA; META MODEL; REGULATORY REQUIREMENTS; SECURITY VIOLATIONS; TERRORIST ACTS;

CONTINUOUS TIME SYSTEMS;

EID: 84944105044     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (25)

1. L. T. McCarty. A language for legal discourse - I. Basic Features. In Proc. 2nd Int. Conf. on Artifi cial Intelligence and Law (ICAIL'89), 180-189. ACM Press, 1989.
2. H. Prakken. On dialogue systems with speech acts, arguments, and counterarguments. In Proc. of JELIA'2000, The 7th Workshop on Logic for Artifi cial Intelligence, Lecture Notes in AI, 224-238. Springer, 2000.
3. H. Ryan, P. Spyns, P. De Leenheer, and R. Leary. Ontology-based platform for trusted regulatory compliance services. In On the Move to Meaningful Internet Systems 2003: OTM Workshops 2003, Lecture Notes in Computer Science 2889, 675-689. Springer, 2003.
4. V. Kabilan, P. Johannesson, and D. M. Rugaimukamu. Business contract obligation monitoring through use of multi tier contract ontology. In On the Move to Meaningful Internet Systems 2003: OTM Workshops 2003, Lecture Notes in Computer Science 2889, 690-702. Springer, 2003.
5. M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, and H. T. Cory. The British Nationality Act as a logic program. Communications of the ACM, 29(5):370-386, 1986.
6. T. M. van Engers, R. Gerrits, M. Boekenoogen, E. Glassée, and P. Kordelaar. Power: using UML/OCL for modeling legislation - an application report. In Proc. 8th Int. Conf. on Artifi cial Intelligence and Law (ICAIL'01), 157-167. ACM Press, 2001.
7. C. Powers, S. Adler, and B. Wishart. EPAL translation of the The Freedom of Information and Protection of Privacy Act, March 2004. IBM and Information and Privacy Commissioner/Ontario, http://www.ipc.on.ca/docs/EPAL%20FI1.pdf.
8. S. Kerrigan and K. H. Law. Logic-Based Regulation Compliance-Assistance. In Proc. 9th Int. Conf. on Artifi cial Intelligence and Law (ICAIL'03), 126-135. ACM Press, 2003.
9. L. Vila and H. Yoshino. Time in automated legal reasoning. Information and Communications Technology Law, 7(3):173-197, 1998.
10. R. Hernandez Marin and G. Sartor. Time and norms: a formalisation in the event-calculus. In Proc. 7th Int. Conf. on Artifi cial Intelligence and Law (ICAIL'99), 90-99, 1999.
11. S. Cranefield and M. Purvis. UML as an ontology modelling language. In Proc. of the Workshop on Intelligent Information Integration, 16th Int. Joint Conf. on Artifi cial Intelligence ((IJCAI-99)). CEUR Publications, 1999.
12. S. Flake and W. Mueller. An OCL extension for real-time constraints. In Object Modeling with the OCL, Lecture Notes in Computer Science 2263, 2002. Springer.
13. S. Flake and W. Mueller. Past- and future-oriented time-bounded temporal properties with OCL. In Proc. of the 2nd Int. Conf. on Software Engineering and Formal Methods (SEFM 2004). IEEE Computer Society Press, 2004.
14. P. Ziemann and M. Gogolla. An OCL extension for formulating temporal constraints. Technical Report 1/03, Universität Bremen, 2003.
15. A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symposium on Foundations of Computer Science (FOCS), 46-57. IEEE Computer Society Press, 1977.
16. R. Alur and T. A. Henzinger. A really temporal logic. Journal of the ACM, 41/1:181-204, 1994.
17. A. Sernadas, C. Sernadas, and J. F. Costa. Object specifi cation logic. Journal of Logic and Computation, 5(5):603-630, 1995.
18. D. Distefano, J.-P. Katoen, and A. Rensink. On a temporal logic for object-based systems. In 4th Int. Conf. on Formal Methods for Open Object-Based Distributed Systems IV, 305-325. Kluwer Academic Publishers, 2000.
19. J. Miller, J. Mukerji (ed.). MDA guide version 1.0., May 2003. omg/2003-06-01, http://www.omg.org/cgi-bin/doc?omg/03-06-01.
20. A. J. I. Jones and M. Sergot. Deontic logic in the representation of law: Towards a methodology. Artifi cial Intelligence and Law, 1(1):45-64, 1992.
21. R. Alur and T. A. Henzinger. Real-time logics: Complexity and expressiveness. Information and Computation, 104/1:35-77, 1993.
22. E-POWER Consortium. Metalex, version 1.02, June 2003. http://www.metalex.org.
23. F. Zeni, S. McGrath, and C. Hatter. Pan african parliamentary interoperability (PAPI), Report and documentation, 2004. United Nations Department of Economic and Social Affairs, http://www.parliaments.info/PAPI/.
24. T. Arnold-Moore and J. Clemes. Connected to the law: Tasmanian legislation using EnAct. Journal of Information Law and Technology, (1), 2000.
25. L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith, and Y. S. Ramakrishna. A Graphical Interval Logic for Specifying Concurrent Systems. ACM Transactions on Software Engineering and Methodology, 3(2):131-165, 1994.