Matches in SemOpenAlex for { <https://semopenalex.org/work/W1976130504> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1976130504 endingPage "53" @default.
- W1976130504 startingPage "42" @default.
- W1976130504 abstract "Component-based programming promises to ease the construction of large-scale applications. The construction of applications using components relies on the notion of interfaces. However, the notion of interfaces provided by current component models is restricted: In particular, it does not include behavioral information to define the protocols of the components: Sequences of service requests. The lack of behavioral information limits our trust in components: Security, reuse, and quality relate directly on this missing information. In this paper, we consider the problem of verifying if a component implementation respects the protocol specified during its design. First, we define a notion of coherence between protocols and an algorithm to verify the coherence between two protocols. Then, we describe an algorithm to extract the protocol of a component from its source code. Finally, we present a tool that enables the static verification and enforcement of the notion of coherence." @default.
- W1976130504 created "2016-06-24" @default.
- W1976130504 creator A5048594006 @default.
- W1976130504 creator A5053092833 @default.
- W1976130504 date "2003-04-01" @default.
- W1976130504 modified "2023-09-27" @default.
- W1976130504 title "On the coherence of component protocols" @default.
- W1976130504 cites W1484991168 @default.
- W1976130504 cites W1503994 @default.
- W1976130504 cites W1971065306 @default.
- W1976130504 cites W1975455609 @default.
- W1976130504 cites W1984936841 @default.
- W1976130504 cites W2002089154 @default.
- W1976130504 cites W2034711041 @default.
- W1976130504 cites W2068310911 @default.
- W1976130504 cites W2106150661 @default.
- W1976130504 cites W2137948900 @default.
- W1976130504 cites W2151702129 @default.
- W1976130504 cites W2153718771 @default.
- W1976130504 cites W2166944884 @default.
- W1976130504 cites W2171575680 @default.
- W1976130504 cites W1577137090 @default.
- W1976130504 doi "https://doi.org/10.1016/s1571-0661(04)80733-3" @default.
- W1976130504 hasPublicationYear "2003" @default.
- W1976130504 type Work @default.
- W1976130504 sameAs 1976130504 @default.
- W1976130504 citedByCount "6" @default.
- W1976130504 countsByYear W19761305042016 @default.
- W1976130504 crossrefType "journal-article" @default.
- W1976130504 hasAuthorship W1976130504A5048594006 @default.
- W1976130504 hasAuthorship W1976130504A5053092833 @default.
- W1976130504 hasBestOaLocation W19761305041 @default.
- W1976130504 hasConcept C105795698 @default.
- W1976130504 hasConcept C11413529 @default.
- W1976130504 hasConcept C120314980 @default.
- W1976130504 hasConcept C121332964 @default.
- W1976130504 hasConcept C142724271 @default.
- W1976130504 hasConcept C168167062 @default.
- W1976130504 hasConcept C178489894 @default.
- W1976130504 hasConcept C18903297 @default.
- W1976130504 hasConcept C199360897 @default.
- W1976130504 hasConcept C204787440 @default.
- W1976130504 hasConcept C206588197 @default.
- W1976130504 hasConcept C2780385302 @default.
- W1976130504 hasConcept C2781181686 @default.
- W1976130504 hasConcept C33884865 @default.
- W1976130504 hasConcept C33923547 @default.
- W1976130504 hasConcept C41008148 @default.
- W1976130504 hasConcept C48044578 @default.
- W1976130504 hasConcept C71924100 @default.
- W1976130504 hasConcept C77088390 @default.
- W1976130504 hasConcept C80444323 @default.
- W1976130504 hasConcept C86803240 @default.
- W1976130504 hasConcept C97355855 @default.
- W1976130504 hasConceptScore W1976130504C105795698 @default.
- W1976130504 hasConceptScore W1976130504C11413529 @default.
- W1976130504 hasConceptScore W1976130504C120314980 @default.
- W1976130504 hasConceptScore W1976130504C121332964 @default.
- W1976130504 hasConceptScore W1976130504C142724271 @default.
- W1976130504 hasConceptScore W1976130504C168167062 @default.
- W1976130504 hasConceptScore W1976130504C178489894 @default.
- W1976130504 hasConceptScore W1976130504C18903297 @default.
- W1976130504 hasConceptScore W1976130504C199360897 @default.
- W1976130504 hasConceptScore W1976130504C204787440 @default.
- W1976130504 hasConceptScore W1976130504C206588197 @default.
- W1976130504 hasConceptScore W1976130504C2780385302 @default.
- W1976130504 hasConceptScore W1976130504C2781181686 @default.
- W1976130504 hasConceptScore W1976130504C33884865 @default.
- W1976130504 hasConceptScore W1976130504C33923547 @default.
- W1976130504 hasConceptScore W1976130504C41008148 @default.
- W1976130504 hasConceptScore W1976130504C48044578 @default.
- W1976130504 hasConceptScore W1976130504C71924100 @default.
- W1976130504 hasConceptScore W1976130504C77088390 @default.
- W1976130504 hasConceptScore W1976130504C80444323 @default.
- W1976130504 hasConceptScore W1976130504C86803240 @default.
- W1976130504 hasConceptScore W1976130504C97355855 @default.
- W1976130504 hasIssue "5" @default.
- W1976130504 hasLocation W19761305041 @default.
- W1976130504 hasOpenAccess W1976130504 @default.
- W1976130504 hasPrimaryLocation W19761305041 @default.
- W1976130504 hasRelatedWork W1588015694 @default.
- W1976130504 hasRelatedWork W1596201972 @default.
- W1976130504 hasRelatedWork W1767718647 @default.
- W1976130504 hasRelatedWork W1788737569 @default.
- W1976130504 hasRelatedWork W1967954938 @default.
- W1976130504 hasRelatedWork W1986253068 @default.
- W1976130504 hasRelatedWork W2364921833 @default.
- W1976130504 hasRelatedWork W2380023786 @default.
- W1976130504 hasRelatedWork W2385146268 @default.
- W1976130504 hasRelatedWork W4200484705 @default.
- W1976130504 hasVolume "82" @default.
- W1976130504 isParatext "false" @default.
- W1976130504 isRetracted "false" @default.
- W1976130504 magId "1976130504" @default.
- W1976130504 workType "article" @default.