Matches in SemOpenAlex for { <https://semopenalex.org/work/W2202154873> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2202154873 endingPage "539" @default.
- W2202154873 startingPage "530" @default.
- W2202154873 abstract "Reo is an exogenous channel-based coordination language that acts as glue code to tie together software components and services. The building blocks of Reo models are connectors that impose constraints on the data-flow in component or service-based architectures in terms of data syn- chronization, buffering, mutual exclusion, etc. Several semantic models have been introduced to formalize the behavior of Reo. These models differ in terms of expressiveness, computation complexity and purposes that they serve. In this paper, we present a method and a tool for building formal automata- based semantics of Reo that unifies various aspects of existing semantics. We express the behavior of a Reo network as a mixed system of Boolean and numerical constraints constructed compositionally by conjuncting the assertions for its constituent parts. The solutions of this system are found with the help of off-the-shelf constraint solvers and are used to construct the constraint automaton with state memory that gives the sound and complete semantics of Reo with respect to existing models. Our approach is more efficient compared to the existing methods for generating formal semantics of Reo connectors. Keywords-formal semantics; Reo; constraint automata; col- oring semantics; constraint solving." @default.
- W2202154873 created "2016-06-24" @default.
- W2202154873 creator A5003777791 @default.
- W2202154873 creator A5005988647 @default.
- W2202154873 creator A5082262382 @default.
- W2202154873 date "2012-11-18" @default.
- W2202154873 modified "2023-09-28" @default.
- W2202154873 title "A Constraint-based Method to Compute Semantics of Channel-based Coordination Models" @default.
- W2202154873 cites W1481397690 @default.
- W2202154873 cites W1515623105 @default.
- W2202154873 cites W1567212585 @default.
- W2202154873 cites W1569951524 @default.
- W2202154873 cites W1573515537 @default.
- W2202154873 cites W1988680012 @default.
- W2202154873 cites W2009315879 @default.
- W2202154873 cites W2021690588 @default.
- W2202154873 cites W2048277227 @default.
- W2202154873 cites W2064300923 @default.
- W2202154873 cites W2081556438 @default.
- W2202154873 cites W2085489784 @default.
- W2202154873 cites W2098116976 @default.
- W2202154873 cites W2114816931 @default.
- W2202154873 cites W2128804846 @default.
- W2202154873 cites W2130200203 @default.
- W2202154873 cites W2134016554 @default.
- W2202154873 cites W2139842876 @default.
- W2202154873 cites W2171923584 @default.
- W2202154873 cites W2127369157 @default.
- W2202154873 cites W2585735724 @default.
- W2202154873 hasPublicationYear "2012" @default.
- W2202154873 type Work @default.
- W2202154873 sameAs 2202154873 @default.
- W2202154873 citedByCount "2" @default.
- W2202154873 countsByYear W22021548732013 @default.
- W2202154873 countsByYear W22021548732021 @default.
- W2202154873 crossrefType "proceedings-article" @default.
- W2202154873 hasAuthorship W2202154873A5003777791 @default.
- W2202154873 hasAuthorship W2202154873A5005988647 @default.
- W2202154873 hasAuthorship W2202154873A5082262382 @default.
- W2202154873 hasConcept C112505250 @default.
- W2202154873 hasConcept C121332964 @default.
- W2202154873 hasConcept C146499914 @default.
- W2202154873 hasConcept C156325763 @default.
- W2202154873 hasConcept C168167062 @default.
- W2202154873 hasConcept C184337299 @default.
- W2202154873 hasConcept C199360897 @default.
- W2202154873 hasConcept C2524010 @default.
- W2202154873 hasConcept C2776036281 @default.
- W2202154873 hasConcept C33923547 @default.
- W2202154873 hasConcept C41008148 @default.
- W2202154873 hasConcept C80444323 @default.
- W2202154873 hasConcept C97355855 @default.
- W2202154873 hasConceptScore W2202154873C112505250 @default.
- W2202154873 hasConceptScore W2202154873C121332964 @default.
- W2202154873 hasConceptScore W2202154873C146499914 @default.
- W2202154873 hasConceptScore W2202154873C156325763 @default.
- W2202154873 hasConceptScore W2202154873C168167062 @default.
- W2202154873 hasConceptScore W2202154873C184337299 @default.
- W2202154873 hasConceptScore W2202154873C199360897 @default.
- W2202154873 hasConceptScore W2202154873C2524010 @default.
- W2202154873 hasConceptScore W2202154873C2776036281 @default.
- W2202154873 hasConceptScore W2202154873C33923547 @default.
- W2202154873 hasConceptScore W2202154873C41008148 @default.
- W2202154873 hasConceptScore W2202154873C80444323 @default.
- W2202154873 hasConceptScore W2202154873C97355855 @default.
- W2202154873 hasLocation W22021548731 @default.
- W2202154873 hasOpenAccess W2202154873 @default.
- W2202154873 hasPrimaryLocation W22021548731 @default.
- W2202154873 hasRelatedWork W1507452355 @default.
- W2202154873 hasRelatedWork W1521956339 @default.
- W2202154873 hasRelatedWork W1535808278 @default.
- W2202154873 hasRelatedWork W1552436577 @default.
- W2202154873 hasRelatedWork W1577397251 @default.
- W2202154873 hasRelatedWork W1579514397 @default.
- W2202154873 hasRelatedWork W1580571722 @default.
- W2202154873 hasRelatedWork W1605476801 @default.
- W2202154873 hasRelatedWork W1944910218 @default.
- W2202154873 hasRelatedWork W1993062879 @default.
- W2202154873 hasRelatedWork W1996679397 @default.
- W2202154873 hasRelatedWork W2004728613 @default.
- W2202154873 hasRelatedWork W2061671076 @default.
- W2202154873 hasRelatedWork W2066746166 @default.
- W2202154873 hasRelatedWork W2115261880 @default.
- W2202154873 hasRelatedWork W2165089348 @default.
- W2202154873 hasRelatedWork W2892050133 @default.
- W2202154873 hasRelatedWork W2922881962 @default.
- W2202154873 hasRelatedWork W2972160279 @default.
- W2202154873 hasRelatedWork W3001554262 @default.
- W2202154873 isParatext "false" @default.
- W2202154873 isRetracted "false" @default.
- W2202154873 magId "2202154873" @default.
- W2202154873 workType "article" @default.