Information systems as social structures
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
UML for Agent-Oriented Software Development: The Tropos Proposal
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Modeling Early Requirements in Tropos: A Transformation Based Approach
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Designing information systems in social context: a goal and scenario modelling approach
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Scenario-Based Assessment of Nonfunctional Requirements
IEEE Transactions on Software Engineering
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Goal-oriented specification of adaptation requirements engineering in adaptive systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Towards goal-oriented development of self-adaptive systems
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
From security patterns to implementation using petri nets
Proceedings of the fourth international workshop on Software engineering for secure systems
Social-oriented engineering of intelligent software
Web Intelligence and Agent Systems
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models
Information and Software Technology
Using three AOSE toolkits to develop a sample design
International Journal of Agent-Oriented Software Engineering
Operational semantics of goal models in adaptive agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Supporting Requirements Elicitation through Goal/Scenario Coupling
Conceptual Modeling: Foundations and Applications
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Modeling organizational performance indicators
Information Systems
Validation of multiagent systems by symbolic model checking
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Multi-agent and software architectures: a comparative case study
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
The Tropos software development methodology: processes, models and diagrams
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Requirements analysis in tropos: a self-referencing example
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
A mechanism for dynamic role playing
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Integrating security and systems engineering: towards the modelling of secure information systems
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Deliberation in a modeling and simulation environment for inter-organizational networks
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Organizational patterns for early requirements analysis
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Tool-supported development with Tropos: the conference management system case study
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Towards interoperability of i* models using iStarML
Computer Standards & Interfaces
Modular development and verification of domain requirements via model checking
Proceedings of the 48th Annual Southeast Regional Conference
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
Analyzing goal models: different approaches and how to choose among them
Proceedings of the 2011 ACM Symposium on Applied Computing
From stakeholder intentions to software agent implementations
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Engineering of requirements for a distributed teleteaching system: a conceptual graph-based approach
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Abstract: This paper describes an attempt to bridge the gap between early requirements specification and formal methods. In particular, we propose a new specification language, called Formal Tropos, that is founded on the primitive concepts of early requirements frameworks (actor, goal, strategic dependency) [15], but supplements them with a rich temporal specification language. We also extend existing formal analysis techniques, in particular model checking, to allow for an automatic verification of relevant proper-ties for an early requirements specification. Our preliminary experiments demonstrate that formal analysis reveals gaps and inconsistencies in early requirements that are by no means trivial to discover without the help of formal analysis tools.