Matches in SemOpenAlex for { <https://semopenalex.org/work/W182908145> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W182908145 endingPage "153" @default.
- W182908145 startingPage "135" @default.
- W182908145 abstract "We propose an extension of the abstract rules for independent implementability of reactive components proposed in interface theories to take into account interface assemblies. As a concrete instantiation we extend existing interface theories for modal I/O-transition systems to support assemblies, (greybox) assembly refinement and assembly encapsulation. We introduce a new notion of communication-safety for N-ary assemblies which overcomes problems with previous definitions of interface compatibility. We show that communication-safety can be checked incrementally. We also show that communication-safety is preserved by assembly refinement, that blackbox refinement of component interfaces is compositional w.r.t. greybox refinement of assemblies and, conversely, that assembly encapsulation maps greybox to blackbox refinement. The methodology of our approach is illustrated by a small case study.KeywordsCredit CardCommunication PartnerProof ObligationSimulation RelationInterface CompositionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W182908145 created "2016-06-24" @default.
- W182908145 creator A5006245504 @default.
- W182908145 creator A5055128003 @default.
- W182908145 date "2011-01-01" @default.
- W182908145 modified "2023-09-25" @default.
- W182908145 title "Modal Interface Theories for Communication-Safe Component Assemblies" @default.
- W182908145 cites W1564626116 @default.
- W182908145 cites W1871610027 @default.
- W182908145 cites W1959890433 @default.
- W182908145 cites W2005348843 @default.
- W182908145 cites W2025970201 @default.
- W182908145 cites W2040914586 @default.
- W182908145 cites W2073514926 @default.
- W182908145 cites W2082312109 @default.
- W182908145 cites W2137948900 @default.
- W182908145 cites W2293287097 @default.
- W182908145 cites W84675887 @default.
- W182908145 doi "https://doi.org/10.1007/978-3-642-23283-1_11" @default.
- W182908145 hasPublicationYear "2011" @default.
- W182908145 type Work @default.
- W182908145 sameAs 182908145 @default.
- W182908145 citedByCount "6" @default.
- W182908145 countsByYear W1829081452012 @default.
- W182908145 countsByYear W1829081452013 @default.
- W182908145 countsByYear W1829081452014 @default.
- W182908145 countsByYear W1829081452016 @default.
- W182908145 countsByYear W1829081452019 @default.
- W182908145 crossrefType "book-chapter" @default.
- W182908145 hasAuthorship W182908145A5006245504 @default.
- W182908145 hasAuthorship W182908145A5055128003 @default.
- W182908145 hasBestOaLocation W1829081452 @default.
- W182908145 hasConcept C111919701 @default.
- W182908145 hasConcept C113843644 @default.
- W182908145 hasConcept C120314980 @default.
- W182908145 hasConcept C121332964 @default.
- W182908145 hasConcept C127313418 @default.
- W182908145 hasConcept C129307140 @default.
- W182908145 hasConcept C157915830 @default.
- W182908145 hasConcept C168167062 @default.
- W182908145 hasConcept C17409809 @default.
- W182908145 hasConcept C185592680 @default.
- W182908145 hasConcept C188027245 @default.
- W182908145 hasConcept C199360897 @default.
- W182908145 hasConcept C2778648169 @default.
- W182908145 hasConcept C31258907 @default.
- W182908145 hasConcept C41008148 @default.
- W182908145 hasConcept C71139939 @default.
- W182908145 hasConcept C80444323 @default.
- W182908145 hasConcept C81147070 @default.
- W182908145 hasConcept C97355855 @default.
- W182908145 hasConceptScore W182908145C111919701 @default.
- W182908145 hasConceptScore W182908145C113843644 @default.
- W182908145 hasConceptScore W182908145C120314980 @default.
- W182908145 hasConceptScore W182908145C121332964 @default.
- W182908145 hasConceptScore W182908145C127313418 @default.
- W182908145 hasConceptScore W182908145C129307140 @default.
- W182908145 hasConceptScore W182908145C157915830 @default.
- W182908145 hasConceptScore W182908145C168167062 @default.
- W182908145 hasConceptScore W182908145C17409809 @default.
- W182908145 hasConceptScore W182908145C185592680 @default.
- W182908145 hasConceptScore W182908145C188027245 @default.
- W182908145 hasConceptScore W182908145C199360897 @default.
- W182908145 hasConceptScore W182908145C2778648169 @default.
- W182908145 hasConceptScore W182908145C31258907 @default.
- W182908145 hasConceptScore W182908145C41008148 @default.
- W182908145 hasConceptScore W182908145C71139939 @default.
- W182908145 hasConceptScore W182908145C80444323 @default.
- W182908145 hasConceptScore W182908145C81147070 @default.
- W182908145 hasConceptScore W182908145C97355855 @default.
- W182908145 hasLocation W1829081451 @default.
- W182908145 hasLocation W1829081452 @default.
- W182908145 hasOpenAccess W182908145 @default.
- W182908145 hasPrimaryLocation W1829081451 @default.
- W182908145 hasRelatedWork W144126780 @default.
- W182908145 hasRelatedWork W1489543024 @default.
- W182908145 hasRelatedWork W1502714871 @default.
- W182908145 hasRelatedWork W18021637 @default.
- W182908145 hasRelatedWork W1871610027 @default.
- W182908145 hasRelatedWork W1959890433 @default.
- W182908145 hasRelatedWork W2001552882 @default.
- W182908145 hasRelatedWork W2002888206 @default.
- W182908145 hasRelatedWork W2029036577 @default.
- W182908145 hasRelatedWork W2059176334 @default.
- W182908145 hasRelatedWork W2078095655 @default.
- W182908145 hasRelatedWork W2187786587 @default.
- W182908145 hasRelatedWork W2293287097 @default.
- W182908145 hasRelatedWork W282187060 @default.
- W182908145 hasRelatedWork W2900253696 @default.
- W182908145 hasRelatedWork W2955848095 @default.
- W182908145 hasRelatedWork W49024944 @default.
- W182908145 hasRelatedWork W68649783 @default.
- W182908145 hasRelatedWork W71490207 @default.
- W182908145 hasRelatedWork W82454509 @default.
- W182908145 isParatext "false" @default.
- W182908145 isRetracted "false" @default.
- W182908145 magId "182908145" @default.
- W182908145 workType "book-chapter" @default.