Matches in SemOpenAlex for { <https://semopenalex.org/work/W132841986> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W132841986 abstract "Although stemming from very different research areas, MultiAgent Systems (MAS) and Service Oriented Computing (SOC) share common topics, problems and settings. A common problem is the need to formally verify the conformance of individuals (Agents or Web Services) to common rules and specifications (resp. Protocols/Choreographies), in order to provide a coherent behaviour and to reach the user’s goals. In previous publications, we developed a framework, SCIFF, for the automatic verification of compliance of agents to protocols. The framework includes a language based on abductive logic programming and on constraint logic programming for formally defining the social rules. Suitable proof-procedures to check on-the-fly and a-priori the compliance of agents to protocols have been defined. Building on our experience in the MAS area, in this paper we make a first step towards the formal verification of web services conformance to choreographies in Abductive Logic Programming. We adapt the SCIFF framework for the new settings, and propose a heir of SCIFF, the framework ALoWS (Abductive Logic Web-service Specification). ALoWS comes with a language for defining formally a choreography and a web service specification. As its ancestor, ALoWS has a declarative and an operational semantics. We show examples of how ALoWS deals correctly with interaction patterns previously identified. Moreover, thanks to its constraint-based semantics, ALoWS deals seamlessly with other cases involving constraints and deadlines. Note. An extended version of this paper will appear in the Proceedings of the Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP’06)." @default.
- W132841986 created "2016-06-24" @default.
- W132841986 creator A5028993591 @default.
- W132841986 creator A5040978920 @default.
- W132841986 creator A5047795784 @default.
- W132841986 creator A5056655834 @default.
- W132841986 creator A5079194919 @default.
- W132841986 creator A5088751356 @default.
- W132841986 date "2006-01-01" @default.
- W132841986 modified "2023-09-25" @default.
- W132841986 title "A-priori verification of web services with abduction." @default.
- W132841986 cites W1513385292 @default.
- W132841986 cites W1552740165 @default.
- W132841986 cites W1814221162 @default.
- W132841986 cites W1987005090 @default.
- W132841986 cites W2096996519 @default.
- W132841986 cites W2102973317 @default.
- W132841986 cites W2151792486 @default.
- W132841986 cites W2162951904 @default.
- W132841986 cites W2522705006 @default.
- W132841986 hasPublicationYear "2006" @default.
- W132841986 type Work @default.
- W132841986 sameAs 132841986 @default.
- W132841986 citedByCount "0" @default.
- W132841986 crossrefType "journal-article" @default.
- W132841986 hasAuthorship W132841986A5028993591 @default.
- W132841986 hasAuthorship W132841986A5040978920 @default.
- W132841986 hasAuthorship W132841986A5047795784 @default.
- W132841986 hasAuthorship W132841986A5056655834 @default.
- W132841986 hasAuthorship W132841986A5079194919 @default.
- W132841986 hasAuthorship W132841986A5088751356 @default.
- W132841986 hasConcept C115903868 @default.
- W132841986 hasConcept C128838566 @default.
- W132841986 hasConcept C146206909 @default.
- W132841986 hasConcept C184337299 @default.
- W132841986 hasConcept C199360897 @default.
- W132841986 hasConcept C34165917 @default.
- W132841986 hasConcept C35578498 @default.
- W132841986 hasConcept C41008148 @default.
- W132841986 hasConcept C50033165 @default.
- W132841986 hasConcept C80444323 @default.
- W132841986 hasConceptScore W132841986C115903868 @default.
- W132841986 hasConceptScore W132841986C128838566 @default.
- W132841986 hasConceptScore W132841986C146206909 @default.
- W132841986 hasConceptScore W132841986C184337299 @default.
- W132841986 hasConceptScore W132841986C199360897 @default.
- W132841986 hasConceptScore W132841986C34165917 @default.
- W132841986 hasConceptScore W132841986C35578498 @default.
- W132841986 hasConceptScore W132841986C41008148 @default.
- W132841986 hasConceptScore W132841986C50033165 @default.
- W132841986 hasConceptScore W132841986C80444323 @default.
- W132841986 hasLocation W1328419861 @default.
- W132841986 hasOpenAccess W132841986 @default.
- W132841986 hasPrimaryLocation W1328419861 @default.
- W132841986 hasRelatedWork W1514009252 @default.
- W132841986 hasRelatedWork W1553250237 @default.
- W132841986 hasRelatedWork W1560998037 @default.
- W132841986 hasRelatedWork W162093623 @default.
- W132841986 hasRelatedWork W186778346 @default.
- W132841986 hasRelatedWork W1969891502 @default.
- W132841986 hasRelatedWork W2087492381 @default.
- W132841986 hasRelatedWork W2100166998 @default.
- W132841986 hasRelatedWork W2113095632 @default.
- W132841986 hasRelatedWork W2152612442 @default.
- W132841986 hasRelatedWork W2168149316 @default.
- W132841986 hasRelatedWork W2169395142 @default.
- W132841986 hasRelatedWork W2378043754 @default.
- W132841986 hasRelatedWork W3135169593 @default.
- W132841986 hasRelatedWork W3150559853 @default.
- W132841986 hasRelatedWork W3177182961 @default.
- W132841986 hasRelatedWork W640668010 @default.
- W132841986 hasRelatedWork W2186247830 @default.
- W132841986 hasRelatedWork W3105472037 @default.
- W132841986 hasRelatedWork W941144228 @default.
- W132841986 isParatext "false" @default.
- W132841986 isRetracted "false" @default.
- W132841986 magId "132841986" @default.
- W132841986 workType "article" @default.