Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569491216> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1569491216 endingPage "818" @default.
- W1569491216 startingPage "789" @default.
- W1569491216 abstract "Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-object interactions. Synthesizing intra-object executable specifications from an MSC-based description is a non-trivial task. Here we present a model of computation called Communicating Transaction Processes (CTP) based on MSCs from which an executable specification can be extracted in a straightforward manner. Our model describes a network of communicating processes in which the processes interact via common action labels. Each action is a non-atomic interaction described as a guarded choice of MSCs. Thus our model achieves a separation of concerns: the high-level network of processes depicting intra-process computations and control flow, while the common non-atomic communication actions capture inter-process interaction viaMSCs. We show how to extract an ordinary Petri net from a CTP model thereby leading to a standard operational semantics. We also discuss the connection of our formalism to Live Sequence Charts, an extension of MSCs which also has an executable semantics." @default.
- W1569491216 created "2016-06-24" @default.
- W1569491216 creator A5060115298 @default.
- W1569491216 creator A5067945016 @default.
- W1569491216 date "2004-01-01" @default.
- W1569491216 modified "2023-09-27" @default.
- W1569491216 title "Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems" @default.
- W1569491216 cites W1498455513 @default.
- W1569491216 cites W1512484645 @default.
- W1569491216 cites W1518558009 @default.
- W1569491216 cites W1551214605 @default.
- W1569491216 cites W1587165417 @default.
- W1569491216 cites W1587405765 @default.
- W1569491216 cites W1592055490 @default.
- W1569491216 cites W1978380916 @default.
- W1569491216 cites W1991052229 @default.
- W1569491216 cites W2024445190 @default.
- W1569491216 cites W2108571087 @default.
- W1569491216 cites W2115309705 @default.
- W1569491216 cites W2121821924 @default.
- W1569491216 cites W2152673227 @default.
- W1569491216 cites W2481726056 @default.
- W1569491216 cites W4241212268 @default.
- W1569491216 cites W4243858962 @default.
- W1569491216 cites W4251067549 @default.
- W1569491216 doi "https://doi.org/10.1007/978-3-540-27755-2_22" @default.
- W1569491216 hasPublicationYear "2004" @default.
- W1569491216 type Work @default.
- W1569491216 sameAs 1569491216 @default.
- W1569491216 citedByCount "1" @default.
- W1569491216 crossrefType "book-chapter" @default.
- W1569491216 hasAuthorship W1569491216A5060115298 @default.
- W1569491216 hasAuthorship W1569491216A5067945016 @default.
- W1569491216 hasConcept C120314980 @default.
- W1569491216 hasConcept C142362112 @default.
- W1569491216 hasConcept C153349607 @default.
- W1569491216 hasConcept C160145156 @default.
- W1569491216 hasConcept C199360897 @default.
- W1569491216 hasConcept C38677869 @default.
- W1569491216 hasConcept C41008148 @default.
- W1569491216 hasConcept C45374587 @default.
- W1569491216 hasConcept C558565934 @default.
- W1569491216 hasConcept C73301696 @default.
- W1569491216 hasConcept C75949130 @default.
- W1569491216 hasConcept C80444323 @default.
- W1569491216 hasConceptScore W1569491216C120314980 @default.
- W1569491216 hasConceptScore W1569491216C142362112 @default.
- W1569491216 hasConceptScore W1569491216C153349607 @default.
- W1569491216 hasConceptScore W1569491216C160145156 @default.
- W1569491216 hasConceptScore W1569491216C199360897 @default.
- W1569491216 hasConceptScore W1569491216C38677869 @default.
- W1569491216 hasConceptScore W1569491216C41008148 @default.
- W1569491216 hasConceptScore W1569491216C45374587 @default.
- W1569491216 hasConceptScore W1569491216C558565934 @default.
- W1569491216 hasConceptScore W1569491216C73301696 @default.
- W1569491216 hasConceptScore W1569491216C75949130 @default.
- W1569491216 hasConceptScore W1569491216C80444323 @default.
- W1569491216 hasLocation W15694912161 @default.
- W1569491216 hasOpenAccess W1569491216 @default.
- W1569491216 hasPrimaryLocation W15694912161 @default.
- W1569491216 hasRelatedWork W1038643327 @default.
- W1569491216 hasRelatedWork W152523404 @default.
- W1569491216 hasRelatedWork W1607121319 @default.
- W1569491216 hasRelatedWork W1834096457 @default.
- W1569491216 hasRelatedWork W1948419321 @default.
- W1569491216 hasRelatedWork W2026046761 @default.
- W1569491216 hasRelatedWork W2073745570 @default.
- W1569491216 hasRelatedWork W2405472180 @default.
- W1569491216 hasRelatedWork W4243376416 @default.
- W1569491216 hasRelatedWork W2473174893 @default.
- W1569491216 isParatext "false" @default.
- W1569491216 isRetracted "false" @default.
- W1569491216 magId "1569491216" @default.
- W1569491216 workType "book-chapter" @default.