Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
The object advantage: business process reengineering with object technology
The object advantage: business process reengineering with object technology
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
The use of goals to surface requirements for evolving systems
Proceedings of the 20th international conference on Software engineering
An overview of the multiagent systems engineering methodology
First international workshop, AOSE 2000 on Agent-oriented software engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Distributed and Parallel Databases
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A Survey of Agent-Oriented Methodologies
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Specifying and analyzing early requirements in Tropos
Requirements Engineering
A Framework for Integrating Business Processes and Business Requirements
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Requirements engineering for e-business advantage
Requirements Engineering
Business Process Modeling and Requirements Modeling
ICDS '07 Proceedings of the First International Conference on the Digital Society
Business analysis and requirements engineering: the same, only different?
Requirements Engineering
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A verifiable logic-based agent architecture
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Designing security requirements models through planning
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Security protocols verification in abductive logic programming: a case study
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Analytical inference model for prediction and customization of inter-agent dependency requirements
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
We propose $${\mathcal{B}}$$ -Tropos as a modeling framework to support agent-oriented systems engineering, from high-level requirements elicitation down to execution-level tasks. In particular, we show how $${\mathcal{B}}$$ -Tropos extends the Tropos methodology by means of declarative business constraints, inspired by the ConDec graphical language. We demonstrate the functioning of $${\mathcal{B}}$$ -Tropos using a running example inspired by a real-world industrial scenario, and we describe how $${\mathcal{B}}$$ -Tropos models can be automatically formalized in computational logic, discussing formal properties of the resulting framework and its verification capabilities.