Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
The role of deontic logic in the specification of information systems
Logics for databases and information systems
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
Writing Effective Use Cases
Modularisation and composition of aspectual requirements
Proceedings of the 2nd international conference on Aspect-oriented software development
A Framework for Requirements Analysis Using Automated Reasoning
CAiSe '95 Proceedings of the 7th International Conference on Advanced Information Systems Engineering
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
IEEE Transactions on Software Engineering
A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs
SERA '05 Proceedings of the Third ACIS Int'l Conference on Software Engineering Research, Management and Applications
Producing a Global Requirement Model from Multiple Requirement Specifications
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Model-Driven Engineering for Requirements Analysis
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Towards a common metamodel for the development of web applications
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
From textual use cases to service component models
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Automated measurement of models of requirements
Software Quality Control
Transforming and tracing reused requirements models to home automation models
Information and Software Technology
Hi-index | 0.00 |
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies often customize a given approach to their specific needs. Thus, we seek a solution that allows customization in a systematic way. In this paper, we propose a metamodel for requirements models (called coremetamodel) and an approach for customizing this metamodel in order to support various requirements modeling approaches. The core metamodel represents the common concepts extracted from some prevalent approaches. We define the semantics of the concepts and the relations in the core metamodel. Based on this formalization, we can perform reasoning on requirements that may detect implicit relations and inconsistencies. Our approach for customization keeps the semantics of the core concepts intact and thus allows reuse of tools and reasoning over the customized metamodel. We illustrate the customization of our core metamodel with SysML concepts. As a case study, we apply the reasoning on requirements of an industrial mobile service application based on this customized core requirements metamodel.