Journal
ACM TRANSACTIONS ON THE WEB
Volume 4, Issue 1, Pages -Publisher
ASSOC COMPUTING MACHINERY
DOI: 10.1145/1658373.1658376
Keywords
Languages; Management; Verification; Service choreographies; declarative modeling; linear temporal logic; abductive logic programming; conformance checking; compliance verification; monitoring; interoperability; reasoning
Funding
- PRIN
- Verification of Agent Interaction Protocols
- FIRB
Ask authors/readers for more resources
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 the technologies for implementing and interconnecting basic services are reaching a good level of maturity, modeling service interaction from a global viewpoint, that is, representing service choreographies, is still an open challenge. The main problem is that, although declarativeness has been identified as a key feature, several proposed approaches specify choreographies by focusing on procedural aspects, leading to over-constrained and over-specified models. To overcome these limits, we propose to adopt DecSerFlow, a truly declarative language, to model choreographies. Thanks to its declarative nature, DecSerFlow semantics can be given in terms of logic-based languages. In particular, we present how DecSerFlow can be mapped onto Linear Temporal Logic and onto Abductive Logic Programming. We show how the mappings onto both formalisms can be concretely exploited to address the enactment of DecSerFlow models, to enrich its expressiveness and to perform a variety of different verification tasks. We illustrate the advantages of using a declarative language in conjunction with logic-based semantics by applying our approach to a running example.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available