Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007239035> ?p ?o ?g. }
- W2007239035 abstract "Abstract Composite Web services development is a complex task involving specification, verification, implementation, and testing. Despite the fact that several languages have been proposed for composing Web services (e.g., BPEL, WSCI), there is a lack of well-defined formal semantics for formal analysis and verification. Moreover, current approaches are specific to a given programming language (e.g. BPEL) and they focus only on the verification of already implemented composite services. This paper proposes an approach for specifying, verifying and implementing composite services according to the Model-Driven Architecture principles. It makes use of formal methods, especially the LOTOS formal description language, to support composition verification at specification time. The benefit is that the composition specification is proven to be correct before its implementation with a programming language such as BPEL. A case study is also presented to show how a service composition can be specified in a workflow and then formally verified before executable code generation." @default.
- W2007239035 created "2016-06-24" @default.
- W2007239035 creator A5021188747 @default.
- W2007239035 creator A5040193469 @default.
- W2007239035 creator A5055899235 @default.
- W2007239035 creator A5076010131 @default.
- W2007239035 creator A5087418731 @default.
- W2007239035 date "2013-07-01" @default.
- W2007239035 modified "2023-10-01" @default.
- W2007239035 title "Model-driven approach supporting formal verification for web service composition protocols" @default.
- W2007239035 cites W135319825 @default.
- W2007239035 cites W148903579 @default.
- W2007239035 cites W1497001898 @default.
- W2007239035 cites W1525307053 @default.
- W2007239035 cites W1532337740 @default.
- W2007239035 cites W1577673148 @default.
- W2007239035 cites W1581293248 @default.
- W2007239035 cites W1593284044 @default.
- W2007239035 cites W1602816225 @default.
- W2007239035 cites W1606784654 @default.
- W2007239035 cites W1767975782 @default.
- W2007239035 cites W178171400 @default.
- W2007239035 cites W1800218686 @default.
- W2007239035 cites W1831630531 @default.
- W2007239035 cites W1862025470 @default.
- W2007239035 cites W1978763068 @default.
- W2007239035 cites W1981626968 @default.
- W2007239035 cites W1992414856 @default.
- W2007239035 cites W1995945562 @default.
- W2007239035 cites W1997822510 @default.
- W2007239035 cites W2015640848 @default.
- W2007239035 cites W2045577064 @default.
- W2007239035 cites W2053835825 @default.
- W2007239035 cites W2059661024 @default.
- W2007239035 cites W2061243320 @default.
- W2007239035 cites W2065996260 @default.
- W2007239035 cites W2083091245 @default.
- W2007239035 cites W2110425399 @default.
- W2007239035 cites W2111577669 @default.
- W2007239035 cites W2115309705 @default.
- W2007239035 cites W2117146495 @default.
- W2007239035 cites W2118620599 @default.
- W2007239035 cites W2119989119 @default.
- W2007239035 cites W2123197446 @default.
- W2007239035 cites W2137865376 @default.
- W2007239035 cites W2138647022 @default.
- W2007239035 cites W2140901296 @default.
- W2007239035 cites W2142660860 @default.
- W2007239035 cites W2146921391 @default.
- W2007239035 cites W2161536823 @default.
- W2007239035 cites W2161918670 @default.
- W2007239035 cites W2164226682 @default.
- W2007239035 cites W2489841419 @default.
- W2007239035 cites W2494940261 @default.
- W2007239035 cites W2911625174 @default.
- W2007239035 cites W42134522 @default.
- W2007239035 doi "https://doi.org/10.1016/j.jnca.2013.01.009" @default.
- W2007239035 hasPublicationYear "2013" @default.
- W2007239035 type Work @default.
- W2007239035 sameAs 2007239035 @default.
- W2007239035 citedByCount "17" @default.
- W2007239035 countsByYear W20072390352013 @default.
- W2007239035 countsByYear W20072390352014 @default.
- W2007239035 countsByYear W20072390352015 @default.
- W2007239035 countsByYear W20072390352016 @default.
- W2007239035 countsByYear W20072390352017 @default.
- W2007239035 countsByYear W20072390352018 @default.
- W2007239035 countsByYear W20072390352019 @default.
- W2007239035 crossrefType "journal-article" @default.
- W2007239035 hasAuthorship W2007239035A5021188747 @default.
- W2007239035 hasAuthorship W2007239035A5040193469 @default.
- W2007239035 hasAuthorship W2007239035A5055899235 @default.
- W2007239035 hasAuthorship W2007239035A5076010131 @default.
- W2007239035 hasAuthorship W2007239035A5087418731 @default.
- W2007239035 hasConcept C111498074 @default.
- W2007239035 hasConcept C120314980 @default.
- W2007239035 hasConcept C136264566 @default.
- W2007239035 hasConcept C136764020 @default.
- W2007239035 hasConcept C138885662 @default.
- W2007239035 hasConcept C162324750 @default.
- W2007239035 hasConcept C199360897 @default.
- W2007239035 hasConcept C2780378061 @default.
- W2007239035 hasConcept C2983385018 @default.
- W2007239035 hasConcept C31258907 @default.
- W2007239035 hasConcept C35578498 @default.
- W2007239035 hasConcept C38652104 @default.
- W2007239035 hasConcept C40231798 @default.
- W2007239035 hasConcept C41008148 @default.
- W2007239035 hasConcept C41895202 @default.
- W2007239035 hasConceptScore W2007239035C111498074 @default.
- W2007239035 hasConceptScore W2007239035C120314980 @default.
- W2007239035 hasConceptScore W2007239035C136264566 @default.
- W2007239035 hasConceptScore W2007239035C136764020 @default.
- W2007239035 hasConceptScore W2007239035C138885662 @default.
- W2007239035 hasConceptScore W2007239035C162324750 @default.
- W2007239035 hasConceptScore W2007239035C199360897 @default.
- W2007239035 hasConceptScore W2007239035C2780378061 @default.
- W2007239035 hasConceptScore W2007239035C2983385018 @default.
- W2007239035 hasConceptScore W2007239035C31258907 @default.
- W2007239035 hasConceptScore W2007239035C35578498 @default.