Matches in SemOpenAlex for { <https://semopenalex.org/work/W1541996231> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1541996231 endingPage "720" @default.
- W1541996231 startingPage "701" @default.
- W1541996231 abstract "COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above." @default.
- W1541996231 created "2016-06-24" @default.
- W1541996231 creator A5007264795 @default.
- W1541996231 creator A5046134172 @default.
- W1541996231 creator A5066761763 @default.
- W1541996231 date "2008-01-01" @default.
- W1541996231 modified "2023-10-03" @default.
- W1541996231 title "Specifying and Analysing SOC Applications with COWS" @default.
- W1541996231 cites W1573313194 @default.
- W1541996231 cites W1602925513 @default.
- W1541996231 cites W2102458296 @default.
- W1541996231 cites W2107144615 @default.
- W1541996231 cites W2108487735 @default.
- W1541996231 cites W2111506116 @default.
- W1541996231 cites W2128932399 @default.
- W1541996231 cites W2130940831 @default.
- W1541996231 cites W2156525231 @default.
- W1541996231 cites W2162282992 @default.
- W1541996231 cites W2164091052 @default.
- W1541996231 cites W2883469592 @default.
- W1541996231 cites W2913502134 @default.
- W1541996231 cites W4232933151 @default.
- W1541996231 cites W4242830425 @default.
- W1541996231 doi "https://doi.org/10.1007/978-3-540-68679-8_43" @default.
- W1541996231 hasPublicationYear "2008" @default.
- W1541996231 type Work @default.
- W1541996231 sameAs 1541996231 @default.
- W1541996231 citedByCount "6" @default.
- W1541996231 countsByYear W15419962312012 @default.
- W1541996231 countsByYear W15419962312013 @default.
- W1541996231 crossrefType "book-chapter" @default.
- W1541996231 hasAuthorship W1541996231A5007264795 @default.
- W1541996231 hasAuthorship W1541996231A5046134172 @default.
- W1541996231 hasAuthorship W1541996231A5066761763 @default.
- W1541996231 hasBestOaLocation W15419962312 @default.
- W1541996231 hasConcept C41008148 @default.
- W1541996231 hasConceptScore W1541996231C41008148 @default.
- W1541996231 hasLocation W15419962311 @default.
- W1541996231 hasLocation W15419962312 @default.
- W1541996231 hasOpenAccess W1541996231 @default.
- W1541996231 hasPrimaryLocation W15419962311 @default.
- W1541996231 hasRelatedWork W2093578348 @default.
- W1541996231 hasRelatedWork W2130043461 @default.
- W1541996231 hasRelatedWork W2350741829 @default.
- W1541996231 hasRelatedWork W2358668433 @default.
- W1541996231 hasRelatedWork W2376932109 @default.
- W1541996231 hasRelatedWork W2382290278 @default.
- W1541996231 hasRelatedWork W2390279801 @default.
- W1541996231 hasRelatedWork W2748952813 @default.
- W1541996231 hasRelatedWork W2899084033 @default.
- W1541996231 hasRelatedWork W3004735627 @default.
- W1541996231 isParatext "false" @default.
- W1541996231 isRetracted "false" @default.
- W1541996231 magId "1541996231" @default.
- W1541996231 workType "book-chapter" @default.