Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1658373.1658376 | ACM Transactions on The Web |
Keywords | DocType | Volume |
abductive logic programming,service choreographiess,declarative specification,monitoring,declarative modeling,linear temporal logic,logic-based language,interoperability,compliance verification,declarative nature,decserflow semantics,declarative approaches,service choreography,reasoning,additional key words and phrases: service choreographies,linear tem- poral logic,declarative language,decserflow model,basic service,logic-based semantics,service choreographies,conformance checking,maturity model,service oriented computing,col | Journal | 4 |
Issue | ISSN | Citations |
1 | 1559-1131 | 73 |
PageRank | References | Authors |
1.92 | 78 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Montali | 1 | 1280 | 99.36 |
M. Pesic | 2 | 840 | 31.46 |
Wil Van Der Aalst | 3 | 20894 | 1418.27 |
federico chesani | 4 | 801 | 46.41 |
Paola Mello | 5 | 444 | 21.33 |
Sergio Storari | 6 | 300 | 18.30 |