Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135942591> ?p ?o ?g. }
- W2135942591 abstract "Research in transactions planning has recognized the evolvement of Web Services as an industry standard to implement transactional business processes. We proposed a data modeling and contracting framework for Web services and in this paper we are exploring how our framework can help formally verify data integrity properties in an ad-hoc transaction." @default.
- W2135942591 created "2016-06-24" @default.
- W2135942591 creator A5010107290 @default.
- W2135942591 creator A5027734475 @default.
- W2135942591 creator A5034569997 @default.
- W2135942591 date "2011-07-01" @default.
- W2135942591 modified "2023-09-27" @default.
- W2135942591 title "Formal Specification and Verification of Transactional Service Composition" @default.
- W2135942591 cites W1557905401 @default.
- W2135942591 cites W1562450517 @default.
- W2135942591 cites W1564726396 @default.
- W2135942591 cites W1580328473 @default.
- W2135942591 cites W1594489843 @default.
- W2135942591 cites W1801083281 @default.
- W2135942591 cites W1850175662 @default.
- W2135942591 cites W1959256509 @default.
- W2135942591 cites W2035529004 @default.
- W2135942591 cites W2088991146 @default.
- W2135942591 cites W2095809008 @default.
- W2135942591 cites W2102765175 @default.
- W2135942591 cites W2106192381 @default.
- W2135942591 cites W2109879514 @default.
- W2135942591 cites W2136739120 @default.
- W2135942591 cites W2140001025 @default.
- W2135942591 cites W2168364293 @default.
- W2135942591 cites W3146075203 @default.
- W2135942591 cites W50675760 @default.
- W2135942591 doi "https://doi.org/10.1109/services.2011.36" @default.
- W2135942591 hasPublicationYear "2011" @default.
- W2135942591 type Work @default.
- W2135942591 sameAs 2135942591 @default.
- W2135942591 citedByCount "3" @default.
- W2135942591 countsByYear W21359425912015 @default.
- W2135942591 countsByYear W21359425912016 @default.
- W2135942591 countsByYear W21359425912018 @default.
- W2135942591 crossrefType "proceedings-article" @default.
- W2135942591 hasAuthorship W2135942591A5010107290 @default.
- W2135942591 hasAuthorship W2135942591A5027734475 @default.
- W2135942591 hasAuthorship W2135942591A5034569997 @default.
- W2135942591 hasConcept C115903868 @default.
- W2135942591 hasConcept C127722929 @default.
- W2135942591 hasConcept C136764020 @default.
- W2135942591 hasConcept C144133560 @default.
- W2135942591 hasConcept C15744967 @default.
- W2135942591 hasConcept C162853370 @default.
- W2135942591 hasConcept C17881449 @default.
- W2135942591 hasConcept C2780378061 @default.
- W2135942591 hasConcept C2983385018 @default.
- W2135942591 hasConcept C35578498 @default.
- W2135942591 hasConcept C41008148 @default.
- W2135942591 hasConcept C4927394 @default.
- W2135942591 hasConcept C57041688 @default.
- W2135942591 hasConcept C68489960 @default.
- W2135942591 hasConcept C72108876 @default.
- W2135942591 hasConcept C75949130 @default.
- W2135942591 hasConcept C77088390 @default.
- W2135942591 hasConcept C77805123 @default.
- W2135942591 hasConceptScore W2135942591C115903868 @default.
- W2135942591 hasConceptScore W2135942591C127722929 @default.
- W2135942591 hasConceptScore W2135942591C136764020 @default.
- W2135942591 hasConceptScore W2135942591C144133560 @default.
- W2135942591 hasConceptScore W2135942591C15744967 @default.
- W2135942591 hasConceptScore W2135942591C162853370 @default.
- W2135942591 hasConceptScore W2135942591C17881449 @default.
- W2135942591 hasConceptScore W2135942591C2780378061 @default.
- W2135942591 hasConceptScore W2135942591C2983385018 @default.
- W2135942591 hasConceptScore W2135942591C35578498 @default.
- W2135942591 hasConceptScore W2135942591C41008148 @default.
- W2135942591 hasConceptScore W2135942591C4927394 @default.
- W2135942591 hasConceptScore W2135942591C57041688 @default.
- W2135942591 hasConceptScore W2135942591C68489960 @default.
- W2135942591 hasConceptScore W2135942591C72108876 @default.
- W2135942591 hasConceptScore W2135942591C75949130 @default.
- W2135942591 hasConceptScore W2135942591C77088390 @default.
- W2135942591 hasConceptScore W2135942591C77805123 @default.
- W2135942591 hasLocation W21359425911 @default.
- W2135942591 hasOpenAccess W2135942591 @default.
- W2135942591 hasPrimaryLocation W21359425911 @default.
- W2135942591 hasRelatedWork W1557922185 @default.
- W2135942591 hasRelatedWork W1717272228 @default.
- W2135942591 hasRelatedWork W1997291078 @default.
- W2135942591 hasRelatedWork W2005536678 @default.
- W2135942591 hasRelatedWork W2007849791 @default.
- W2135942591 hasRelatedWork W2018238734 @default.
- W2135942591 hasRelatedWork W2028722689 @default.
- W2135942591 hasRelatedWork W2046907459 @default.
- W2135942591 hasRelatedWork W2056113383 @default.
- W2135942591 hasRelatedWork W2070689532 @default.
- W2135942591 hasRelatedWork W2097408026 @default.
- W2135942591 hasRelatedWork W2119246815 @default.
- W2135942591 hasRelatedWork W2124328481 @default.
- W2135942591 hasRelatedWork W2159103345 @default.
- W2135942591 hasRelatedWork W2160348587 @default.
- W2135942591 hasRelatedWork W2171595449 @default.
- W2135942591 hasRelatedWork W2226031345 @default.
- W2135942591 hasRelatedWork W2257590153 @default.
- W2135942591 hasRelatedWork W2583511860 @default.
- W2135942591 hasRelatedWork W2588084903 @default.
- W2135942591 isParatext "false" @default.
- W2135942591 isRetracted "false" @default.