A logic-based calculus of events
New Generation Computing
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Service-Oriented Computing: Key Concepts and Principles
IEEE Internet Computing
Modeling exceptions via commitment protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
OWL-P: OWL for protocol and processes
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Mapping deontic operators to abductive expectations
Computational & Mathematical Organization Theory
Business Process Adaptations via Protocols
SCC '06 Proceedings of the IEEE International Conference on Services Computing
DECLARE: Full Support for Loosely-Structured Processes
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Scenarios and techniques for choreography design
BIS'07 Proceedings of the 10th international conference on Business information systems
Inducing declarative logic-based models from labeled traces
BPM'07 Proceedings of the 5th international conference on Business process management
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Let's dance: a language for service behavior modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Verifying the conformance of web services to global interaction protocols: a first step
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Incorporating commitment protocols into tropos
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science (ENTCS)
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Hi-index | 0.00 |
The definition of choreography specification languages for Service Oriented Systems poses important challenges. Mainstream approaches tend to focus on procedural aspects, leading to over-constrained and over-specified models. Because of such a drawback, declarative languages are gaining popularity as a better way to model service choreographies. A similar issue was met in the Multi-Agent Systems domain, where declarative approaches based on social semantics have been used to capture the nature of agent interaction without over-constraining their behaviour. In this work, we present an integrated framework capable to cover the entire cycle of specification and verification of choreographies, by mixing approaches coming from the Service Oriented Computing and Multi-Agent Systems research domains. SCIFF is the underlying logic programming framework for modelling and verifying interaction in open systems. The use of SCIFF brings us two main advantages: (1) it allows us to capture within a single framework different aspects of a choreography, ranging from constraints on the flow of messages to effects and commitments resulting from their exchange; (2) it provides an operational model that can be exploited to perform a variety of verification tasks.