Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143669126> ?p ?o ?g. }
- W2143669126 endingPage "522" @default.
- W2143669126 startingPage "508" @default.
- W2143669126 abstract "This paper addresses the issue of verifying if composite Web services design meets some desirable properties in terms of deadlock freedom, safety (something bad never happens), and reachability (something good will eventually happen). Composite Web services are modeled based on a separation of concerns between business and control aspects of Web services. This separation is achieved through the design of an operational behavior, which defines the composition functioning according to the Web services’ business logic, and a control behavior, which identifies the valid sequences of actions that the operational behavior should follow. These two behaviors are formally defined using automata-based techniques. The proposed approach is model checking-based where the operational behavior is the model to be checked against properties defined in the control behavior. The paper proves that the proposed technique allows checking the soundness and completeness of the design model with respect to the operational and control behaviors. Moreover, automatic translation procedures from the design models to the NuSMV model checker’s code and a verification tool are reported in the paper." @default.
- W2143669126 created "2016-06-24" @default.
- W2143669126 creator A5014704826 @default.
- W2143669126 creator A5020978568 @default.
- W2143669126 creator A5027966392 @default.
- W2143669126 creator A5071828856 @default.
- W2143669126 date "2013-02-01" @default.
- W2143669126 modified "2023-10-01" @default.
- W2143669126 title "Symbolic model checking composite Web services using operational and control behaviors" @default.
- W2143669126 cites W116450752 @default.
- W2143669126 cites W1612453857 @default.
- W2143669126 cites W1978196270 @default.
- W2143669126 cites W1985493766 @default.
- W2143669126 cites W1995909325 @default.
- W2143669126 cites W1997517725 @default.
- W2143669126 cites W2005088160 @default.
- W2143669126 cites W2005536678 @default.
- W2143669126 cites W2006630335 @default.
- W2143669126 cites W2017169075 @default.
- W2143669126 cites W2022746337 @default.
- W2143669126 cites W2038950855 @default.
- W2143669126 cites W2039397437 @default.
- W2143669126 cites W2040092910 @default.
- W2143669126 cites W2058856061 @default.
- W2143669126 cites W2062606382 @default.
- W2143669126 cites W2074350262 @default.
- W2143669126 cites W2089626828 @default.
- W2143669126 cites W2091546225 @default.
- W2143669126 cites W2097105602 @default.
- W2143669126 cites W2101691918 @default.
- W2143669126 cites W2105658676 @default.
- W2143669126 cites W2106319433 @default.
- W2143669126 cites W2106848336 @default.
- W2143669126 cites W2114930081 @default.
- W2143669126 cites W2118599650 @default.
- W2143669126 cites W2123942920 @default.
- W2143669126 cites W2128433357 @default.
- W2143669126 cites W2129040775 @default.
- W2143669126 cites W2134562903 @default.
- W2143669126 cites W2135165862 @default.
- W2143669126 cites W2161381723 @default.
- W2143669126 cites W2162021078 @default.
- W2143669126 cites W2166107187 @default.
- W2143669126 cites W2284453291 @default.
- W2143669126 cites W3124557742 @default.
- W2143669126 cites W3126118053 @default.
- W2143669126 doi "https://doi.org/10.1016/j.eswa.2012.07.069" @default.
- W2143669126 hasPublicationYear "2013" @default.
- W2143669126 type Work @default.
- W2143669126 sameAs 2143669126 @default.
- W2143669126 citedByCount "38" @default.
- W2143669126 countsByYear W21436691262013 @default.
- W2143669126 countsByYear W21436691262014 @default.
- W2143669126 countsByYear W21436691262015 @default.
- W2143669126 countsByYear W21436691262016 @default.
- W2143669126 countsByYear W21436691262017 @default.
- W2143669126 countsByYear W21436691262018 @default.
- W2143669126 countsByYear W21436691262019 @default.
- W2143669126 countsByYear W21436691262020 @default.
- W2143669126 countsByYear W21436691262021 @default.
- W2143669126 countsByYear W21436691262022 @default.
- W2143669126 crossrefType "journal-article" @default.
- W2143669126 hasAuthorship W2143669126A5014704826 @default.
- W2143669126 hasAuthorship W2143669126A5020978568 @default.
- W2143669126 hasAuthorship W2143669126A5027966392 @default.
- W2143669126 hasAuthorship W2143669126A5071828856 @default.
- W2143669126 hasConcept C110251889 @default.
- W2143669126 hasConcept C111498074 @default.
- W2143669126 hasConcept C112505250 @default.
- W2143669126 hasConcept C115903868 @default.
- W2143669126 hasConcept C136643341 @default.
- W2143669126 hasConcept C159023740 @default.
- W2143669126 hasConcept C199360897 @default.
- W2143669126 hasConcept C2777904410 @default.
- W2143669126 hasConcept C35578498 @default.
- W2143669126 hasConcept C39920170 @default.
- W2143669126 hasConcept C41008148 @default.
- W2143669126 hasConcept C76214141 @default.
- W2143669126 hasConcept C80444323 @default.
- W2143669126 hasConceptScore W2143669126C110251889 @default.
- W2143669126 hasConceptScore W2143669126C111498074 @default.
- W2143669126 hasConceptScore W2143669126C112505250 @default.
- W2143669126 hasConceptScore W2143669126C115903868 @default.
- W2143669126 hasConceptScore W2143669126C136643341 @default.
- W2143669126 hasConceptScore W2143669126C159023740 @default.
- W2143669126 hasConceptScore W2143669126C199360897 @default.
- W2143669126 hasConceptScore W2143669126C2777904410 @default.
- W2143669126 hasConceptScore W2143669126C35578498 @default.
- W2143669126 hasConceptScore W2143669126C39920170 @default.
- W2143669126 hasConceptScore W2143669126C41008148 @default.
- W2143669126 hasConceptScore W2143669126C76214141 @default.
- W2143669126 hasConceptScore W2143669126C80444323 @default.
- W2143669126 hasIssue "2" @default.
- W2143669126 hasLocation W21436691261 @default.
- W2143669126 hasOpenAccess W2143669126 @default.
- W2143669126 hasPrimaryLocation W21436691261 @default.
- W2143669126 hasRelatedWork W1518566078 @default.
- W2143669126 hasRelatedWork W1688712575 @default.