Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inquiry-Based Requirements Analysis
IEEE Software
Goal decomposition and scenario analysis in business process reengineering
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
How to identify binary relations for domain models
Proceedings of the 18th international conference on Software engineering
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
Conceptual modeling through linguistic analysis using LIDA
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Exploring Requirements: Quality Before Design
Exploring Requirements: Quality Before Design
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Annals of Software Engineering
Representing Software Engineering Knowledge
Automated Software Engineering
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Requirements Models in Context
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Goal-Based Requirements Analysis
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Higher Quality Requirements Specifications through Natural Language Patterns
SWSTE '03 Proceedings of the IEEE International Conference on Software-Science, Technology & Engineering
Nonfunctional Requirements: From Elicitation to Conceptual Models
IEEE Transactions on Software Engineering
Specifying and analyzing early requirements in Tropos
Requirements Engineering
A requirements taxonomy for reducing Web site privacy vulnerabilities
Requirements Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Deriving Semantic Models from Privacy Policies
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
Analyzing Goal Semantics for Rights, Permissions, and Obligations
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Mining rule semantics to understand legislative compliance
Proceedings of the 2005 ACM workshop on Privacy in the electronic society
A Case Study in Systematic Improvement of Language for Requirements
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
The Description Logic Handbook
The Description Logic Handbook
Financial Privacy Policies and the Need for Standardization
IEEE Security and Privacy
Bidirectional mapping between OWL DL and attempto controlled english
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Automating the Extraction of Rights and Obligations for Regulatory Compliance
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Requirements-based Access Control Analysis and Policy Specification (ReCAPS)
Information and Software Technology
Identifying Commitment-Based Software Requirements to Thwart Unfair and Deceptive Practices
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Reducing the footprint of certifiable health software during early stage development
Proceedings of the 3rd Workshop on Software Engineering in Health Care
Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk
ACM Transactions on Software Engineering and Methodology (TOSEM)
From requirements to models: feedback generation as a result of formalization
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Managing multi-jurisdictional requirements in the cloud: towards a computational legal landscape
Proceedings of the 3rd ACM workshop on Cloud computing security workshop
REInDetector: a framework for knowledge-based requirements engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Regulatory requirements traceability and analysis using semi-formal specifications
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
Hi-index | 0.00 |
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 refine 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 specifications 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 specifications that enables querying goals and organizing goals into specialization hierarchies. The artifacts in the process include a dictionary that aligns the domain lexicon with unique concepts, distinguishing between synonyms and polysemes, and several natural language patterns that aid engineers in mapping common domain descriptions to formal specifications. Semantic Parameterization has been empirically validated in three case studies on policy and regulatory descriptions that govern information systems in the finance and health-care domains.