Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567194393> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1567194393 endingPage "279" @default.
- W1567194393 startingPage "265" @default.
- W1567194393 abstract "De Alfaro and Henzinger’s Interface Automata (IA) and Nyman et al.’s recent combination IOMTS of IA and Larsen’s Modal Transition Systems (MTS) are established frameworks for specifying interfaces of system components. However, neither IA nor IOMTS consider conjunction that is needed in practice when a component satisfies multiple interfaces, while Larsen’s MTS-conjunction is not closed. In addition, IOMTS-parallel composition exhibits a compositionality defect.This paper defines conjunction on IA and MTS and proves the operators to be ‘correct’, i.e., the greatest lower bounds wrt. IA- and resp. MTS-refinement. As its main contribution, a novel interface theory called Modal Interface Automata (MIA) is introduced: MIA is a rich subset of IOMTS, is equipped with compositional parallel and conjunction operators, and allows a simpler embedding of IA than Nyman’s. Thus, it fixes the shortcomings of related work, without restricting designers to deterministic interfaces as Raclet et al.’s modal interface theory does." @default.
- W1567194393 created "2016-06-24" @default.
- W1567194393 creator A5060497231 @default.
- W1567194393 creator A5068573305 @default.
- W1567194393 date "2012-01-01" @default.
- W1567194393 modified "2023-09-27" @default.
- W1567194393 title "Modal Interface Automata" @default.
- W1567194393 cites W1502451640 @default.
- W1567194393 cites W1564626116 @default.
- W1567194393 cites W1819534143 @default.
- W1567194393 cites W1959890433 @default.
- W1567194393 cites W2007928509 @default.
- W1567194393 cites W2087192990 @default.
- W1567194393 cites W2095082129 @default.
- W1567194393 cites W2143289234 @default.
- W1567194393 cites W2169200909 @default.
- W1567194393 cites W2296232480 @default.
- W1567194393 cites W2914011863 @default.
- W1567194393 cites W4244728546 @default.
- W1567194393 doi "https://doi.org/10.1007/978-3-642-33475-7_19" @default.
- W1567194393 hasPublicationYear "2012" @default.
- W1567194393 type Work @default.
- W1567194393 sameAs 1567194393 @default.
- W1567194393 citedByCount "7" @default.
- W1567194393 countsByYear W15671943932013 @default.
- W1567194393 countsByYear W15671943932014 @default.
- W1567194393 countsByYear W15671943932015 @default.
- W1567194393 countsByYear W15671943932019 @default.
- W1567194393 crossrefType "book-chapter" @default.
- W1567194393 hasAuthorship W1567194393A5060497231 @default.
- W1567194393 hasAuthorship W1567194393A5068573305 @default.
- W1567194393 hasBestOaLocation W15671943931 @default.
- W1567194393 hasConcept C112505250 @default.
- W1567194393 hasConcept C113843644 @default.
- W1567194393 hasConcept C11413529 @default.
- W1567194393 hasConcept C121332964 @default.
- W1567194393 hasConcept C121375916 @default.
- W1567194393 hasConcept C1276947 @default.
- W1567194393 hasConcept C129307140 @default.
- W1567194393 hasConcept C154945302 @default.
- W1567194393 hasConcept C157915830 @default.
- W1567194393 hasConcept C168167062 @default.
- W1567194393 hasConcept C173608175 @default.
- W1567194393 hasConcept C188027245 @default.
- W1567194393 hasConcept C192562407 @default.
- W1567194393 hasConcept C199360897 @default.
- W1567194393 hasConcept C41008148 @default.
- W1567194393 hasConcept C41608201 @default.
- W1567194393 hasConcept C59656382 @default.
- W1567194393 hasConcept C71139939 @default.
- W1567194393 hasConcept C80444323 @default.
- W1567194393 hasConcept C97355855 @default.
- W1567194393 hasConceptScore W1567194393C112505250 @default.
- W1567194393 hasConceptScore W1567194393C113843644 @default.
- W1567194393 hasConceptScore W1567194393C11413529 @default.
- W1567194393 hasConceptScore W1567194393C121332964 @default.
- W1567194393 hasConceptScore W1567194393C121375916 @default.
- W1567194393 hasConceptScore W1567194393C1276947 @default.
- W1567194393 hasConceptScore W1567194393C129307140 @default.
- W1567194393 hasConceptScore W1567194393C154945302 @default.
- W1567194393 hasConceptScore W1567194393C157915830 @default.
- W1567194393 hasConceptScore W1567194393C168167062 @default.
- W1567194393 hasConceptScore W1567194393C173608175 @default.
- W1567194393 hasConceptScore W1567194393C188027245 @default.
- W1567194393 hasConceptScore W1567194393C192562407 @default.
- W1567194393 hasConceptScore W1567194393C199360897 @default.
- W1567194393 hasConceptScore W1567194393C41008148 @default.
- W1567194393 hasConceptScore W1567194393C41608201 @default.
- W1567194393 hasConceptScore W1567194393C59656382 @default.
- W1567194393 hasConceptScore W1567194393C71139939 @default.
- W1567194393 hasConceptScore W1567194393C80444323 @default.
- W1567194393 hasConceptScore W1567194393C97355855 @default.
- W1567194393 hasLocation W15671943931 @default.
- W1567194393 hasLocation W15671943932 @default.
- W1567194393 hasLocation W15671943933 @default.
- W1567194393 hasLocation W15671943934 @default.
- W1567194393 hasLocation W15671943935 @default.
- W1567194393 hasLocation W15671943936 @default.
- W1567194393 hasOpenAccess W1567194393 @default.
- W1567194393 hasPrimaryLocation W15671943931 @default.
- W1567194393 hasRelatedWork W1131208844 @default.
- W1567194393 hasRelatedWork W1451302240 @default.
- W1567194393 hasRelatedWork W1567194393 @default.
- W1567194393 hasRelatedWork W1575028430 @default.
- W1567194393 hasRelatedWork W1582517610 @default.
- W1567194393 hasRelatedWork W1582913783 @default.
- W1567194393 hasRelatedWork W2016228303 @default.
- W1567194393 hasRelatedWork W2106745992 @default.
- W1567194393 hasRelatedWork W2118465540 @default.
- W1567194393 hasRelatedWork W2360059740 @default.
- W1567194393 isParatext "false" @default.
- W1567194393 isRetracted "false" @default.
- W1567194393 magId "1567194393" @default.
- W1567194393 workType "book-chapter" @default.