Matches in SemOpenAlex for { <https://semopenalex.org/work/W48881103> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W48881103 endingPage "176" @default.
- W48881103 startingPage "159" @default.
- W48881103 abstract "We present an automata-based model for describing the behaviors of software components. This extends our previous work by allowing internal behaviors. In order to improve the techniques for checking if two component can be composed without causing deadlocks, we develop an interface model, called input deterministic automata, that define all the non-blockable traces of invocation to services provided by a component. We also present an algorithm that, for any given component automaton, generates the interface model that has the same input deterministic behaviors as the original automaton. Properties of the algorithm with respect to component refinement and composition are studied as preliminary results towards a theory of software component interfaces." @default.
- W48881103 created "2016-06-24" @default.
- W48881103 creator A5012808924 @default.
- W48881103 creator A5026435847 @default.
- W48881103 creator A5059789636 @default.
- W48881103 date "2013-01-01" @default.
- W48881103 modified "2023-10-02" @default.
- W48881103 title "An Interface Model of Software Components" @default.
- W48881103 cites W1508333423 @default.
- W48881103 cites W1513136138 @default.
- W48881103 cites W1545978847 @default.
- W48881103 cites W1557653052 @default.
- W48881103 cites W1567194393 @default.
- W48881103 cites W1583910698 @default.
- W48881103 cites W1756169151 @default.
- W48881103 cites W1871610027 @default.
- W48881103 cites W1959890433 @default.
- W48881103 cites W1978955051 @default.
- W48881103 cites W1998455310 @default.
- W48881103 cites W2000302396 @default.
- W48881103 cites W2024034783 @default.
- W48881103 cites W2078095655 @default.
- W48881103 cites W2104224153 @default.
- W48881103 cites W2106745992 @default.
- W48881103 cites W2139842876 @default.
- W48881103 cites W2148410367 @default.
- W48881103 cites W4211008702 @default.
- W48881103 cites W4244728546 @default.
- W48881103 doi "https://doi.org/10.1007/978-3-642-39718-9_10" @default.
- W48881103 hasPublicationYear "2013" @default.
- W48881103 type Work @default.
- W48881103 sameAs 48881103 @default.
- W48881103 citedByCount "3" @default.
- W48881103 countsByYear W488811032014 @default.
- W48881103 countsByYear W488811032016 @default.
- W48881103 countsByYear W488811032023 @default.
- W48881103 crossrefType "book-chapter" @default.
- W48881103 hasAuthorship W48881103A5012808924 @default.
- W48881103 hasAuthorship W48881103A5026435847 @default.
- W48881103 hasAuthorship W48881103A5059789636 @default.
- W48881103 hasConcept C112505250 @default.
- W48881103 hasConcept C113843644 @default.
- W48881103 hasConcept C11413529 @default.
- W48881103 hasConcept C120314980 @default.
- W48881103 hasConcept C121332964 @default.
- W48881103 hasConcept C129307140 @default.
- W48881103 hasConcept C149091818 @default.
- W48881103 hasConcept C157915830 @default.
- W48881103 hasConcept C168167062 @default.
- W48881103 hasConcept C173608175 @default.
- W48881103 hasConcept C174683762 @default.
- W48881103 hasConcept C199360897 @default.
- W48881103 hasConcept C2777904410 @default.
- W48881103 hasConcept C41008148 @default.
- W48881103 hasConcept C80444323 @default.
- W48881103 hasConcept C97355855 @default.
- W48881103 hasConceptScore W48881103C112505250 @default.
- W48881103 hasConceptScore W48881103C113843644 @default.
- W48881103 hasConceptScore W48881103C11413529 @default.
- W48881103 hasConceptScore W48881103C120314980 @default.
- W48881103 hasConceptScore W48881103C121332964 @default.
- W48881103 hasConceptScore W48881103C129307140 @default.
- W48881103 hasConceptScore W48881103C149091818 @default.
- W48881103 hasConceptScore W48881103C157915830 @default.
- W48881103 hasConceptScore W48881103C168167062 @default.
- W48881103 hasConceptScore W48881103C173608175 @default.
- W48881103 hasConceptScore W48881103C174683762 @default.
- W48881103 hasConceptScore W48881103C199360897 @default.
- W48881103 hasConceptScore W48881103C2777904410 @default.
- W48881103 hasConceptScore W48881103C41008148 @default.
- W48881103 hasConceptScore W48881103C80444323 @default.
- W48881103 hasConceptScore W48881103C97355855 @default.
- W48881103 hasLocation W488811031 @default.
- W48881103 hasOpenAccess W48881103 @default.
- W48881103 hasPrimaryLocation W488811031 @default.
- W48881103 hasRelatedWork W1503396982 @default.
- W48881103 hasRelatedWork W1550300786 @default.
- W48881103 hasRelatedWork W2013696141 @default.
- W48881103 hasRelatedWork W2106745992 @default.
- W48881103 hasRelatedWork W2120845661 @default.
- W48881103 hasRelatedWork W2163758857 @default.
- W48881103 hasRelatedWork W2165165828 @default.
- W48881103 hasRelatedWork W22745392 @default.
- W48881103 hasRelatedWork W2379672824 @default.
- W48881103 hasRelatedWork W83714013 @default.
- W48881103 isParatext "false" @default.
- W48881103 isRetracted "false" @default.
- W48881103 magId "48881103" @default.
- W48881103 workType "book-chapter" @default.