Search
Now showing items 1-4 of 4
-
Declarative specification and verification of service choreographies
(Association for Computing Machinery (ACM), 2010)Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While ... -
On the integration of declarative choreographies and commitment-based agent societies into the SCIFF logic programming framework
(IOS Press, 2010)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 ... -
Abductive logic programming as an effective technology for the static verification of declarative business processes
(IOS Press / Polskie Towarzystwo Matematyczne, 2010)We discuss the static verification of declarative Business Processes. We identify four desiderata about verifiers, and propose a concrete framework which satisfies them. The framework is based on the ConDec graphical ... -
A logic-based, reactive calculus of events
(IOS Press, 2010)Since its introduction, the Event Calculus (ℰ��?) has been recognized for being an excellent framework to reason about time and events, and it has been applied to a variety of domains. However, its formalization inside ...