Matches in SemOpenAlex for { <https://semopenalex.org/work/W2460437814> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2460437814 endingPage "781" @default.
- W2460437814 startingPage "759" @default.
- W2460437814 abstract "Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does there exist a set of service implementations I that conform to C? Further, if C is realizable, is there an algorithm to construct implementations in I? We propose two local temporal logics, p-LTL and q-LTL, to specify choreographies. The choreographies written in these logics are realizable by design. The semantics of the logics are defined in terms of partial orders, called Lamport diagrams. For specifications in these logics, we give algorithms to construct service implementations as communicating automata. p-LTL choreographies are realized in terms of nondeterministic finite state automata with a coupling relation, whereas q-LTL choreographies are realized in terms of nondeterministic finite state automata with FIFO queues." @default.
- W2460437814 created "2016-07-22" @default.
- W2460437814 creator A5014469255 @default.
- W2460437814 creator A5049510914 @default.
- W2460437814 date "2016-08-01" @default.
- W2460437814 modified "2023-09-27" @default.
- W2460437814 title "Realizable temporal logics for web service choreography" @default.
- W2460437814 cites W1988892184 @default.
- W2460437814 cites W1990781571 @default.
- W2460437814 cites W2023761243 @default.
- W2460437814 cites W2024194828 @default.
- W2460437814 cites W2025970201 @default.
- W2460437814 cites W2144531585 @default.
- W2460437814 cites W2147841033 @default.
- W2460437814 cites W2151369927 @default.
- W2460437814 cites W4246325880 @default.
- W2460437814 doi "https://doi.org/10.1016/j.jlamp.2016.06.002" @default.
- W2460437814 hasPublicationYear "2016" @default.
- W2460437814 type Work @default.
- W2460437814 sameAs 2460437814 @default.
- W2460437814 citedByCount "3" @default.
- W2460437814 countsByYear W24604378142017 @default.
- W2460437814 countsByYear W24604378142020 @default.
- W2460437814 countsByYear W24604378142022 @default.
- W2460437814 crossrefType "journal-article" @default.
- W2460437814 hasAuthorship W2460437814A5014469255 @default.
- W2460437814 hasAuthorship W2460437814A5049510914 @default.
- W2460437814 hasBestOaLocation W24604378141 @default.
- W2460437814 hasConcept C112505250 @default.
- W2460437814 hasConcept C124952713 @default.
- W2460437814 hasConcept C142362112 @default.
- W2460437814 hasConcept C147446459 @default.
- W2460437814 hasConcept C167822520 @default.
- W2460437814 hasConcept C176181172 @default.
- W2460437814 hasConcept C183920142 @default.
- W2460437814 hasConcept C184337299 @default.
- W2460437814 hasConcept C199360897 @default.
- W2460437814 hasConcept C26713055 @default.
- W2460437814 hasConcept C2776378722 @default.
- W2460437814 hasConcept C2780801425 @default.
- W2460437814 hasConcept C35578498 @default.
- W2460437814 hasConcept C41008148 @default.
- W2460437814 hasConcept C4777664 @default.
- W2460437814 hasConcept C80444323 @default.
- W2460437814 hasConceptScore W2460437814C112505250 @default.
- W2460437814 hasConceptScore W2460437814C124952713 @default.
- W2460437814 hasConceptScore W2460437814C142362112 @default.
- W2460437814 hasConceptScore W2460437814C147446459 @default.
- W2460437814 hasConceptScore W2460437814C167822520 @default.
- W2460437814 hasConceptScore W2460437814C176181172 @default.
- W2460437814 hasConceptScore W2460437814C183920142 @default.
- W2460437814 hasConceptScore W2460437814C184337299 @default.
- W2460437814 hasConceptScore W2460437814C199360897 @default.
- W2460437814 hasConceptScore W2460437814C26713055 @default.
- W2460437814 hasConceptScore W2460437814C2776378722 @default.
- W2460437814 hasConceptScore W2460437814C2780801425 @default.
- W2460437814 hasConceptScore W2460437814C35578498 @default.
- W2460437814 hasConceptScore W2460437814C41008148 @default.
- W2460437814 hasConceptScore W2460437814C4777664 @default.
- W2460437814 hasConceptScore W2460437814C80444323 @default.
- W2460437814 hasIssue "5" @default.
- W2460437814 hasLocation W24604378141 @default.
- W2460437814 hasOpenAccess W2460437814 @default.
- W2460437814 hasPrimaryLocation W24604378141 @default.
- W2460437814 hasRelatedWork W1596616520 @default.
- W2460437814 hasRelatedWork W2090686886 @default.
- W2460437814 hasRelatedWork W2179766293 @default.
- W2460437814 hasRelatedWork W2185981755 @default.
- W2460437814 hasRelatedWork W2883923349 @default.
- W2460437814 hasRelatedWork W2945603833 @default.
- W2460437814 hasRelatedWork W2984188492 @default.
- W2460437814 hasRelatedWork W3147934642 @default.
- W2460437814 hasRelatedWork W4235264343 @default.
- W2460437814 hasRelatedWork W4295679060 @default.
- W2460437814 hasVolume "85" @default.
- W2460437814 isParatext "false" @default.
- W2460437814 isRetracted "false" @default.
- W2460437814 magId "2460437814" @default.
- W2460437814 workType "article" @default.