Extracting Formal Specifications from Natural Language Regulatory Documents

ICoS 2006 - Inference in Computational Semantics, Workshop Proceedings

Volumn , Issue , 2006, Pages 17-26

  Dinesh, Nikhil ^a   Joshi, Aravind ^a   Lee, Insup ^a   Webber, Bonnie ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

FORMAL DESCRIPTION; NATURAL LANGUAGES; REGULATORY DOCUMENTS; VERIFICATION TECHNIQUES;

FORMAL SPECIFICATION;

EID: 78751518577     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Breuker, J. and N. den Haan, Separating world and regulation knowledge: where is the logic?, in: M. Sergot, editor, Proceedings of the third international conference on AI and Law (1991), pp. 41-51.
2. Clarke, E. M. and E. A. Emerson, Synthesis of synchronization skeletons for branching time temporal logic, in: Logic of Programs: Workshop, 1981.
3. Clarke, E. M., E. A. Emerson and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems 8 (1986), pp. 244-263.
4. Clarke, E. M. and J. M. Wing, Formal methods: State of the art and future directions, ACM Computing Surveys 28 (1996), pp. 626-643.
5. Corbett, J. C., M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby and H. Zheng, Bandera: Extracting finite-state models from java source code, in: Proceedings of the International Conference on Software Engineering (ICSE), 2000.
6. Fantechi, A., S. Gnesi, G. Ristori, M. Carenini, M. Marino and M. Moreschini, Assisting requirements formalization by means of natural language translation, Formal Methods in System Design 4 (1994), pp. 243-263.
7. Fuchs, N. and R. Schwitter, Attempto controlled english (ace), in: First International Workshop on Controlled Language Applications, 1996.
8. Glasse, E., T. V. Engers and A. Jacobs, Power: An integrated method for legislation and regulations from their design to their use in e-government services and law enforcement, in: M.-F. Moens, editor, Digitale Wetgeving, Digital Legislation, Die Keure Brugge, 2003 pp. 175-204, iSBN 90 5958 039 7.
9. Hohfeld, W. N., Fundamental legal conceptions as applied in judicial reasoning, Yale Law Journal 23 (1913), pp. 16-59.
10. Holt, A. and E. Klein, A semantically-derived subset of English for hardware verification, in: 37th Annual Meeting of the ACL, 1999.
11. Holzmann, G., The Spin model checker, IEEE Trans. on Software Engineering 23 (1997), pp. 279-295.
12. Kratzer, A., The notational category of modality, in: H.-J. Eikmeyer and H. Rieser, editors, Words, Worlds, and Contexts. New approaches to Word Semantics, deGruyter, Berlin, 1981.
13. Queille, J. P. and J. Sifakis, Specification and verification of concurrent systems in CAESAR, in: Proceeding of the Fifth ISP, 1981.