Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Semantic parameterization: A process for modeling domain descriptions

Semantic parameterization: A process for modeling domain descriptions P1: OJL TOSEM1802-05 ACM-TRANSACTION October 13, 2008 7:30 Semantic Parameterization: A Process for Modeling Domain Descriptions TRAVIS D. BREAUX, ANNIE I. ANTON, and JON DOYLE North Carolina State University Software engineers must systematically account for the broad scope of environmental behavior, including nonfunctional requirements, intended to coordinate the actions of stakeholders and software systems. The Inquiry Cycle Model (ICM) provides engineers with a strategy to acquire and re ne these requirements by having domain experts answer six questions: who, what, where, when, how, and why. Goal-based requirements engineering has led to the formalization of requirements to answer the ICM questions about when, how, and why goals are achieved, maintained, or avoided. In this article, we present a systematic process called Semantic Parameterization for expressing natural language domain descriptions of goals as speci cations in description logic. The formalization of goals in description logic allows engineers to automate inquiries using who, what, and where questions, completing the formalization of the ICM questions. The contributions of this approach include new theory to conceptually compare and disambiguate goal speci cations that enables querying goals and organizing goals into specialization hierarchies. The artifacts in the process include a dictionary that aligns the http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Software Engineering and Methodology (TOSEM) Association for Computing Machinery

Semantic parameterization: A process for modeling domain descriptions

Loading next page...
 
/lp/association-for-computing-machinery/semantic-parameterization-a-process-for-modeling-domain-descriptions-5jzO5D24Vm

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 2008 by ACM Inc.
ISSN
1049-331X
DOI
10.1145/1416563.1416565
Publisher site
See Article on Publisher Site

Abstract

P1: OJL TOSEM1802-05 ACM-TRANSACTION October 13, 2008 7:30 Semantic Parameterization: A Process for Modeling Domain Descriptions TRAVIS D. BREAUX, ANNIE I. ANTON, and JON DOYLE North Carolina State University Software engineers must systematically account for the broad scope of environmental behavior, including nonfunctional requirements, intended to coordinate the actions of stakeholders and software systems. The Inquiry Cycle Model (ICM) provides engineers with a strategy to acquire and re ne these requirements by having domain experts answer six questions: who, what, where, when, how, and why. Goal-based requirements engineering has led to the formalization of requirements to answer the ICM questions about when, how, and why goals are achieved, maintained, or avoided. In this article, we present a systematic process called Semantic Parameterization for expressing natural language domain descriptions of goals as speci cations in description logic. The formalization of goals in description logic allows engineers to automate inquiries using who, what, and where questions, completing the formalization of the ICM questions. The contributions of this approach include new theory to conceptually compare and disambiguate goal speci cations that enables querying goals and organizing goals into specialization hierarchies. The artifacts in the process include a dictionary that aligns the

Journal

ACM Transactions on Software Engineering and Methodology (TOSEM)Association for Computing Machinery

Published: Nov 1, 2008

There are no references for this article.