Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Communications of the ACM - Special issue on analysis and modeling in software development
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Functional documents for computer systems
Science of Computer Programming
Software requirements negotiation and renegotiation aids
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
The use of goals to surface requirements for evolving systems
Proceedings of the 20th international conference on Software engineering
Formal specification: 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
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Realizable and Unrealizable Specifications of Reactive Systems
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
A design process based on a model combining scenarios with goals and functions
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Proceedings of the 25th International Conference on Software Engineering
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
A UML Based Approach for Modeling and Implementing Multi-Agent Systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Inferring operational requirements from scenarios and goal models using inductive learning
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Requirements change: Fears dictate the must haves; desires the won't haves
Journal of Systems and Software
Web Intelligence and Agent Systems
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
A conceptual model for business-oriented management of web services
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Adaptive Agent Model: Software Adaptivity using an Agent-oriented Model-Driven Architecture
Information and Software Technology
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A process for goal oriented requirement engineering
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
Fitting business models to system functionality exploring the fitness relationship
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Allocating goals to agent roles during MAS requirements engineering
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Requirements traceability in agent oriented development
Software engineering for large-scale multi-agent systems
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Quantifying requirements elaboration to improve early software cost estimation
Information Sciences: an International Journal
Deriving architecture specifications from KAOS specifications: a research case study
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Towards a theory on the role of ontologies in software engineering problem solving
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
A formal treatment of agents, goals and operations using alternating-time temporal logic
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Addressing OWL ontology for goal consistency checking
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
Goal orientation is an increasingly recognized paradigm for eliciting, structuring, analyzing and documenting system requirements. Goals are statements of intent ranging from high-level, strategic concerns to low-level, technical requirements on the software-to-be and assumptions on its environment. Achieving goals require the cooperation of agents such as software components, input/output devices and human agents. The assignment of responsibilities for goals to agents is a critical decision in the requirements engineering process as alternative agent assignments define alternative system proposals.The paper describes a systematic technique to support the process of refining goals, identifying agents, and exploring alternative responsibility assignments. The underlying principles are to refine goals until they are assignable to single agents, and to assign a goal to an agent only if the agent can realize the goal.There are various reasons why a goal may not be realizable by an agent, e.g., the goal may refer to variables that are not monitorable or controllable by the agent. The notion of goal realizability is first defined on formal grounds; it provides a basis for identifying a complete taxonomy of realizability problems. From this taxonomy we systematically derive a catalog of tactics for refining goals and identifying agents so as to resolve realizability problems. Each tactics corresponds to the application of a formal refinement pattern that relieves the specifier from verifying the correctness of refinements in temporal logic.Our techniques have been used in two case studies of significant size; excerpts are shown to illustrate the main ideas.