Matches in SemOpenAlex for { <https://semopenalex.org/work/W136976206> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W136976206 endingPage "718" @default.
- W136976206 startingPage "698" @default.
- W136976206 abstract "AbstractThis chapter provides an effective implementation of (part of) the Sensoria approach, specifically modelling and formal analysis of service-oriented software based on mathematically founded techniques. The ‘Finance case study’ is used as a test bed for demonstrating the feasibility and effectiveness of the use of the process calculus COWS and some of its related analysis techniques and tools. In particular, we report the results of an application of a temporal logic and its model checker for expressing and checking functional properties of services and a type system for guaranteeing confidentiality properties of services.KeywordsAtomic PropositionType InferenceAbstract ActionCompensation ActivityComputation Tree LogicThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W136976206 created "2016-06-24" @default.
- W136976206 creator A5007264795 @default.
- W136976206 creator A5014572316 @default.
- W136976206 creator A5066761763 @default.
- W136976206 date "2011-01-01" @default.
- W136976206 modified "2023-10-18" @default.
- W136976206 title "The Sensoria Approach Applied to the Finance Case Study" @default.
- W136976206 cites W1602925513 @default.
- W136976206 cites W2061609623 @default.
- W136976206 cites W2130940831 @default.
- W136976206 cites W2159839769 @default.
- W136976206 cites W2162282992 @default.
- W136976206 cites W2913502134 @default.
- W136976206 cites W4242830425 @default.
- W136976206 doi "https://doi.org/10.1007/978-3-642-20401-2_34" @default.
- W136976206 hasPublicationYear "2011" @default.
- W136976206 type Work @default.
- W136976206 sameAs 136976206 @default.
- W136976206 citedByCount "3" @default.
- W136976206 countsByYear W1369762062017 @default.
- W136976206 countsByYear W1369762062018 @default.
- W136976206 crossrefType "book-chapter" @default.
- W136976206 hasAuthorship W136976206A5007264795 @default.
- W136976206 hasAuthorship W136976206A5014572316 @default.
- W136976206 hasAuthorship W136976206A5066761763 @default.
- W136976206 hasBestOaLocation W1369762062 @default.
- W136976206 hasConcept C110251889 @default.
- W136976206 hasConcept C115903868 @default.
- W136976206 hasConcept C136264566 @default.
- W136976206 hasConcept C161771561 @default.
- W136976206 hasConcept C162324750 @default.
- W136976206 hasConcept C199360897 @default.
- W136976206 hasConcept C25016198 @default.
- W136976206 hasConcept C2777904410 @default.
- W136976206 hasConcept C2780378061 @default.
- W136976206 hasConcept C38652104 @default.
- W136976206 hasConcept C41008148 @default.
- W136976206 hasConcept C71745522 @default.
- W136976206 hasConcept C75606506 @default.
- W136976206 hasConcept C80444323 @default.
- W136976206 hasConcept C98045186 @default.
- W136976206 hasConceptScore W136976206C110251889 @default.
- W136976206 hasConceptScore W136976206C115903868 @default.
- W136976206 hasConceptScore W136976206C136264566 @default.
- W136976206 hasConceptScore W136976206C161771561 @default.
- W136976206 hasConceptScore W136976206C162324750 @default.
- W136976206 hasConceptScore W136976206C199360897 @default.
- W136976206 hasConceptScore W136976206C25016198 @default.
- W136976206 hasConceptScore W136976206C2777904410 @default.
- W136976206 hasConceptScore W136976206C2780378061 @default.
- W136976206 hasConceptScore W136976206C38652104 @default.
- W136976206 hasConceptScore W136976206C41008148 @default.
- W136976206 hasConceptScore W136976206C71745522 @default.
- W136976206 hasConceptScore W136976206C75606506 @default.
- W136976206 hasConceptScore W136976206C80444323 @default.
- W136976206 hasConceptScore W136976206C98045186 @default.
- W136976206 hasLocation W1369762061 @default.
- W136976206 hasLocation W1369762062 @default.
- W136976206 hasOpenAccess W136976206 @default.
- W136976206 hasPrimaryLocation W1369762061 @default.
- W136976206 hasRelatedWork W144251442 @default.
- W136976206 hasRelatedWork W1540307291 @default.
- W136976206 hasRelatedWork W1870189519 @default.
- W136976206 hasRelatedWork W1976030119 @default.
- W136976206 hasRelatedWork W1976878426 @default.
- W136976206 hasRelatedWork W2003404398 @default.
- W136976206 hasRelatedWork W2018503456 @default.
- W136976206 hasRelatedWork W2098132724 @default.
- W136976206 hasRelatedWork W2098799476 @default.
- W136976206 hasRelatedWork W2134638442 @default.
- W136976206 hasRelatedWork W2144972576 @default.
- W136976206 hasRelatedWork W2214314364 @default.
- W136976206 hasRelatedWork W2349093121 @default.
- W136976206 hasRelatedWork W2349269724 @default.
- W136976206 hasRelatedWork W2387009829 @default.
- W136976206 hasRelatedWork W2387192098 @default.
- W136976206 hasRelatedWork W2496004337 @default.
- W136976206 hasRelatedWork W2768282859 @default.
- W136976206 hasRelatedWork W1483851373 @default.
- W136976206 hasRelatedWork W1490652043 @default.
- W136976206 isParatext "false" @default.
- W136976206 isRetracted "false" @default.
- W136976206 magId "136976206" @default.
- W136976206 workType "book-chapter" @default.