A logic-based calculus of events
New Generation Computing
ACM Computing Surveys (CSUR)
Logic-based artificial intelligence
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Distributed and Parallel Databases
The Temporal Semantics of Concurrent Programs
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Formalizing Workflows Using the Event Calculus
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
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
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Requirements-driven design and configuration management of business processes
BPM'07 Proceedings of the 5th international conference on Business process management
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
Security and trust requirements engineering
Foundations of Security Analysis and Design III
DecSerFlow: towards a truly declarative service flow language
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
The first contest on multi-agent systems based on computational logic
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Extending tropos for a prolog implementation: a case study using the food collecting agent problem
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
The work presented in this paper stands at the intersection of three diverse research areas: agent-oriented early requirements engineering, business process requirements elicitation and specification, and computational logic-based specification and verification. The analysis of business requirements and the specification of business processes are fundamental steps in the development of information systems. The first part of this paper presents $\mathcal{B}$-Tropos as a way to combine business goals and requirements with the business process model. $\mathcal{B}$-Tropos enhances a well-known agent-oriented early requirements engineering framework with declarative business process-oriented constructs, inspired by the DecSerFlow and ConDec languages. In the second part of the paper, we show a mapping of $\mathcal{B}$-Tropos onto $\mathcal{S}$CIFF, a computational logic-based framework for properties and conformance verification.