Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146571888> ?p ?o ?g. }
- W2146571888 endingPage "288" @default.
- W2146571888 startingPage "255" @default.
- W2146571888 abstract "Graph transformation techniques, the Double-Pushout (DPO) approach in particular, have been successfully applied in the modeling of concurrent systems. In this area, a research thread has addressed the definition of concurrent semantics for process calculi. In this paper, we propose a theory of graph transformations for service programming with sophisticated features such as sessions and pipelines. Through graph representation of CaSPiS, a recently proposed process calculus, we show how graph transformations can cope with advanced features of service-oriented computing, such as several logical notions of scoping together with the interplay between linking and containment. We first exploit a graph algebra and set up a graph model that supports graph transformations in the DPO approach. Then, we show how to represent CaSPiS processes as hierarchical graphs in the graph model and their behaviors as graph transformation rules. Finally, we provide the soundness and completeness results of these rules with respect to the reduction semantics of CaSPiS." @default.
- W2146571888 created "2016-06-24" @default.
- W2146571888 creator A5012808924 @default.
- W2146571888 creator A5031236056 @default.
- W2146571888 creator A5054484090 @default.
- W2146571888 date "2014-11-01" @default.
- W2146571888 modified "2023-09-26" @default.
- W2146571888 title "A sound and complete theory of graph transformations for service programming with sessions and pipelines" @default.
- W2146571888 cites W123174131 @default.
- W2146571888 cites W1484756760 @default.
- W2146571888 cites W1490342125 @default.
- W2146571888 cites W1491239326 @default.
- W2146571888 cites W1492982544 @default.
- W2146571888 cites W1494795714 @default.
- W2146571888 cites W1495299640 @default.
- W2146571888 cites W1503973138 @default.
- W2146571888 cites W1509205521 @default.
- W2146571888 cites W1512007370 @default.
- W2146571888 cites W1523742478 @default.
- W2146571888 cites W1537697260 @default.
- W2146571888 cites W1541938761 @default.
- W2146571888 cites W1542911159 @default.
- W2146571888 cites W1557619244 @default.
- W2146571888 cites W1563181597 @default.
- W2146571888 cites W1567020636 @default.
- W2146571888 cites W1606143923 @default.
- W2146571888 cites W1614161734 @default.
- W2146571888 cites W1652423117 @default.
- W2146571888 cites W165376375 @default.
- W2146571888 cites W1971095420 @default.
- W2146571888 cites W1979524713 @default.
- W2146571888 cites W2013672985 @default.
- W2146571888 cites W2028839129 @default.
- W2146571888 cites W2104936118 @default.
- W2146571888 cites W2110425399 @default.
- W2146571888 cites W2113355185 @default.
- W2146571888 cites W2113463646 @default.
- W2146571888 cites W2128932399 @default.
- W2146571888 cites W2154286698 @default.
- W2146571888 cites W2156525231 @default.
- W2146571888 cites W2164226682 @default.
- W2146571888 cites W3004525408 @default.
- W2146571888 cites W3144368627 @default.
- W2146571888 cites W58450904 @default.
- W2146571888 cites W3021734953 @default.
- W2146571888 doi "https://doi.org/10.1016/j.scico.2013.11.029" @default.
- W2146571888 hasPublicationYear "2014" @default.
- W2146571888 type Work @default.
- W2146571888 sameAs 2146571888 @default.
- W2146571888 citedByCount "0" @default.
- W2146571888 crossrefType "journal-article" @default.
- W2146571888 hasAuthorship W2146571888A5012808924 @default.
- W2146571888 hasAuthorship W2146571888A5031236056 @default.
- W2146571888 hasAuthorship W2146571888A5054484090 @default.
- W2146571888 hasBestOaLocation W21465718881 @default.
- W2146571888 hasConcept C132525143 @default.
- W2146571888 hasConcept C156325763 @default.
- W2146571888 hasConcept C161771561 @default.
- W2146571888 hasConcept C165696696 @default.
- W2146571888 hasConcept C184337299 @default.
- W2146571888 hasConcept C193702766 @default.
- W2146571888 hasConcept C199360897 @default.
- W2146571888 hasConcept C203776342 @default.
- W2146571888 hasConcept C22149727 @default.
- W2146571888 hasConcept C38652104 @default.
- W2146571888 hasConcept C39920170 @default.
- W2146571888 hasConcept C41008148 @default.
- W2146571888 hasConcept C45961005 @default.
- W2146571888 hasConcept C558772884 @default.
- W2146571888 hasConcept C80444323 @default.
- W2146571888 hasConceptScore W2146571888C132525143 @default.
- W2146571888 hasConceptScore W2146571888C156325763 @default.
- W2146571888 hasConceptScore W2146571888C161771561 @default.
- W2146571888 hasConceptScore W2146571888C165696696 @default.
- W2146571888 hasConceptScore W2146571888C184337299 @default.
- W2146571888 hasConceptScore W2146571888C193702766 @default.
- W2146571888 hasConceptScore W2146571888C199360897 @default.
- W2146571888 hasConceptScore W2146571888C203776342 @default.
- W2146571888 hasConceptScore W2146571888C22149727 @default.
- W2146571888 hasConceptScore W2146571888C38652104 @default.
- W2146571888 hasConceptScore W2146571888C39920170 @default.
- W2146571888 hasConceptScore W2146571888C41008148 @default.
- W2146571888 hasConceptScore W2146571888C45961005 @default.
- W2146571888 hasConceptScore W2146571888C558772884 @default.
- W2146571888 hasConceptScore W2146571888C80444323 @default.
- W2146571888 hasFunder F4320321001 @default.
- W2146571888 hasFunder F4320323893 @default.
- W2146571888 hasFunder F4320335787 @default.
- W2146571888 hasLocation W21465718881 @default.
- W2146571888 hasLocation W21465718882 @default.
- W2146571888 hasLocation W21465718883 @default.
- W2146571888 hasOpenAccess W2146571888 @default.
- W2146571888 hasPrimaryLocation W21465718881 @default.
- W2146571888 hasRelatedWork W1545726444 @default.
- W2146571888 hasRelatedWork W1548537923 @default.
- W2146571888 hasRelatedWork W1568032801 @default.
- W2146571888 hasRelatedWork W1652423117 @default.
- W2146571888 hasRelatedWork W1906944391 @default.