Semantic parameterization: A process for modeling domain descriptions

ACM Transactions on Software Engineering and Methodology

Volumn 18, Issue 2, 2008, Pages

  Breaux, Travis D ^a,b   Antón, Annie I ^a,b   Doyle, Jon ^a,b  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

^b North Carolina State University   (United States)

Author keywords

Description logic; Domain knowledge; Formal specification; Natural language

Indexed keywords

CASE STUDIES; CYCLE MODELS; DESCRIPTION LOGIC; DESCRIPTION LOGICS; DO-MAINS; DOMAIN DESCRIPTIONS; DOMAIN EXPERTS; DOMAIN KNOWLEDGE; ENVIRONMENTAL BEHAVIORS; FORMAL SPECIFICATION; FORMAL SPECIFICATIONS; FORMALIZATION OF REQUIREMENTS; NATURAL LANGUAGE; NATURAL LANGUAGES; NEW THEORIES; NONFUNCTIONAL REQUIREMENTS; SOFTWARE ENGINEERS; SOFTWARE SYSTEMS; SYSTEMATIC PROCESSES;

DATA STRUCTURES; ENGINEERING; INFORMATION THEORY; LINGUISTICS; SEMANTICS; SPECIFICATIONS;

DATA DESCRIPTION;

EID: 56149121201     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1416563.1416565     Document Type: Article

References (45)

1. ANTÓN, A. 1996. Goal-based requirements analysis. In Proceedings of the IEEE 2nd International Conference on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, CA, 136-144.
2. ANTÓN, A. AND EARP, J. 2004. A requirements taxonomy for reducing Web site privacy vulnerabilities. Require. Eng. 9, 3, 169-185.
3. ANTÓN, A., EARP, J., BOLCHINI, D., HE, Q., JENSEN, C., AND STUFFLEBEAM, W. 2004. The lack of clarity in financial privacy policies and the need for standardization. IEEE Sec. Priv. 2, 2, 36-45.
4. ANTÓN, A. AND W.M. MCCRACKEN, C. P. 1995. Proceedings of Advanced Information Systems Engineering (CAiSE'94, Utrecht, The Netherlands, June 6-10), G. Wyers, S. Brinkkemper, and A. Wasserman, Eds. Goal decomposition and scenario analysis in business process reengineering. In Lecture Notes on Computer Science, vol. 811. Springer, Berlin, Germany, 94-104.
5. BAADER, F., CALVANESE, D., MCGUINESS, D., NARDI, D., AND PATEL-SCHNEIDER, P. 2002. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, U.K.
6. BREAUX, T. AND ANTÓN, A. 2005a. Analyzing goal semantics for rights, permissions and obligations. In Proceedings of the IEEE 13th International, Conference on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, CA, 177-186.
7. BREAUX, T. AND ANTÓN, A. 2005b. Deriving semantic models from privacy policies. In Proceedings of the IEEE 6th International Workshop on Policies for Distributed Systems and Networks. IEEE Computer Society Press, Los Alamitos, CA, 67-76.
8. BREAUX, T AND ANTÓN, A. 2005C. Mining rule semantics to understand legislative compliance. In Proceedings of the ACM Workshop on Privacy in Electronic Society. ACM Press, New York, NY, 51-54.
9. BREAUX, T., VAIL, M., AND ANTÓ N, A. 2006. Towards compliance: Extracting rights and obligations to align requirements with regulations. In Proceedings of the IEEE 14th International Conference on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, CA, 46-55.
10. CHEN, P.-S. 1983. English sentence structure and entity-relationship diagrams. Inform. Sci. 29, 2-3, 127-149.
11. CREGAN, A., SCHWITTER, R., AND MEYER, T. 2007. Sydney Owl syntax - towards a controlled natural language syntax for Owl 1.1. In Proceedings of 3rd OWL: Experiences and Directions Workshop. Vol. 258. CEUR-Workshop Proceedings, Tilburg, The Netherlands.
12. CYSNEIROS, L. AND LEITE, J. 2004. Nonfunctional requirements: From elicitation to conceptual models. IEEE Trans. Knowl. Data Eng. 30, 5, 328-350.
13. DARDENNE, A., VAN LAMSWEERDE, A., AND FICKAS, S. 1993. Goal-directed requirements acquisition. Sci. Comput. Program. 20, 3-50.
14. DENGER, C., BERRY, D., AND KAMSTIES, E. 2003. Higher quality requirements specifications through natural language patterns. In Proceedings of the IEEE International Conference on Software: Science, Technology and Engineering. IEEE Computer Society Press, Los Alamitos, CA, 80-90.
15. DHHS. 2003a. Fact Sheet: Protecting the Privacy of Patients' Health Information. Department of Health and Human Services, Washington, DC.
16. DHHS. 2003b. Standards for privacy of individually identifiable health information. 45 CFR Part 160, Part 164 Subpart E. In Federal Register, 68, 34.
17. FELLBAUM, C. 1998. WordNet: An Electronic Lexical Database. MIT Press, Cambridge, MA.
18. FUXMAN, A., LIU, L., MYLOPOULOS, J., PISTORE, M., ROVERI, M., AND TRAVERSO, P. 2004. Specifying and analyzing early requirements in tropos. Require. Eng. 9, 2, 132-50.
19. GANGEMI, A., GUARINO, N., MASÓLO, C., OLTRAMARI, A., AND SCHNEIDER, L. 2002. Sweetening ontologies with dolce. In 13th International Conference Knowledge Engineering and Knowledge Management. Vol. 2473. Springer, Berlin, Germany, 166-181.
20. GAUSE, D. AND WEINBERG, G. 1989. Exploring Requirements: Quality Before Design. Dorset House, New York, NY
21. GLASER, B. AND STRAUSS, A. 1967. The Discovery of Grounded Theory. Aldine, Chicago, IL.
22. HORTY, J. 2001. Agency and Deontic Logic. Oxford University Press, New York, NY.
23. JACKSON, M. 1997. The meaning of requirements. Ann. Softw. Eng. 3, 5-21.
24. JACKSON, M. AND ZAVE, P. 1993. Domain descriptions. In Proceedings of the IEEE International Symposium Requirements Engineering. IEEE Computer Society Press, Los Alamitos, CA, 56-64.
25. KAINDL, H. 1996. How to identify binary relationships for domain models. In Proceedings of the IEEE 18th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 28-36.
26. KALJURAND, K. AND FUCHS, N. 2006. Bidirectional mapping between Owl Dl and Attempto Controlled English. In Proceedings of the 4th Workshop on Principles and Practice in Semantic Web Reasoning. Vol. 4187. Springer, Berlin, Germany, 179-189.
27. KALJURAND, K. AND FUCHS, N. 2007. Verbalizing Owl in Attempto Controlled English. In Proceedings of the 3rd OWL: Experiences and Directions Workshop. Vol. 258. CEUR-Workshop Proceedings, Tilburg, The Netherlands.
28. KEENAN, E. AND FALTZ, L. 1985. Boolean Semantics for Natural Language. D. Reidel, Boston, MA, chapter "Transitive Adjective Phrases", 190-192.
29. KONRAD, S. AND CHENG, B. 2005. Real-time specification patterns. In Proceedings of the IEEE 27th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 372-381.
30. MATUSZEK, C., CABRAL, J., WITBROCK, M., AND DEOLIVEIRA, J. 2006. An introduction to the syntax and content of eye. In Proceedings of the AAAI 2006 Spring Symposium on Formalizing and Compiling Background Knowledge and Its Application to Knowledge Representation and Question Answering. AAAI Press, Menlo Park, CA, 44-49.
31. MYLOPOULOS, J., BORGIDA, A., AND YU, E. 1997. Representing software engineering knowledge. Automat. Soft. Eng. 4, 3, 291-317.
32. NILES, I. AND PEASE, A. 2001. Towards a standard upper ontology. In Proceedings of the 2nd International Conference on Formal Ontology in Information Systems. ACM Press, New York, NY, 2-9.
33. NIRENBURG, S. AND RASKIN, V. 2004. Ontological Semantics. MIT Press, Cambridge, MA.
34. NUSEIBEH, B. AND EASTERBROOK, S. 2000. Requirements engineering: a roadmap. In Proceedings of the IEEE International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 35-46.
35. OVERMYER, S., LAVOIE, B., AND RAMBOW, O. 2001. Conceptual modeling through linguistic analysis using lida. In Proceedings of the IEEE 23rd International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 401-410.
36. POTTS, C. 1997. Requirements models in context. In Proceedings of the IEEE 3rd International Symposium, on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, CA, 102-104.
37. POTTS, C., TAKAHASHI, K., AND ANTÓN, A. I. 1994. Inquiry-based requirements analysis. IEEE Softw. 11, 2, 21-32.
38. RAMESH, B. AND JARKE, M. 2001. Towards reference models for requirements traceability. IEEE Trans. Softw. Eng. 27, 1, 58-93.
39. SMITH, R., AVRUNIN, G., CLARKE, L., AND OSTERWEIL, L. 2002. Propel: An approach supporting property elucidation. In Proceedings of the IEEE 24th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 11-21.
40. VAN LAMSWEERDE, A. 2000. Requirements engineering in the year 00: A research perspective. In Proceedings of the IEEE 22nd International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 5-19.
41. VAN LAMSWEERDE, A. 2001. Goal-oriented requirements engineering: A guided tour. In Proceedings of the IEEE 5th International Conference on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, CA, 249-262.
42. WASSON, K. 2006. A case study in systematic improvement of language for requirements. In Proceedings of the IEEE 14th International Conference on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, CA, 6-15.
43. WASSON, K, KNIGHT, J., STRUNK, E., AND TRAVIS, S. 2003. Tools supporting the communication of critical domain knowledge in high-consequence systems development. In Proceedings of the 22nd, International Conference on Computer Safety, Reliability and Security. Vol. 2788. Springer, Berlin, Germany, 317-330.
44. WELTY, C. 2002. Are upper-level ontologies worth the effort? In 8th International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press, Menlo Park, CA.
45. ZAVE, P. AND JACKSON, M. 1993. Conjunction as composition. ACM Trans. Softw. Eng. Method. 2, 4, 379-411.