Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140470853> ?p ?o ?g. }
- W2140470853 abstract "In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contract with its neighbouring components regarding the use of its services. In general, such a contract should cover issues beyond interface signatures, such as service functionality, usage and quality. The interface definition languages (IDLs) used by commercial middleware such as CORBA, however, lack mechanisms for capturing such semantic characteristics. In this paper, we introduce a framework and associated techniques that augment commercial IDLs with behavioural contract specifications and validate at runtime component interactions against such contracts. The behavioural contract of a component describes occurrence or sequencing constraints on its interactions with the environment. The validation of such constraints is achieved by intercepting runtime interactions between components and validating them against the finite state automata that semantically represent the constraints. The validation provides a useful tool for testing whether the component services are used properly and whether the component fulfils its behavioural obligations in a distributed system." @default.
- W2140470853 created "2016-06-24" @default.
- W2140470853 creator A5023969203 @default.
- W2140470853 creator A5050928648 @default.
- W2140470853 date "2006-01-25" @default.
- W2140470853 modified "2023-09-22" @default.
- W2140470853 title "Runtime Validation of Behavioural Contracts for Component Software" @default.
- W2140470853 cites W1490346992 @default.
- W2140470853 cites W1511202038 @default.
- W2140470853 cites W1514316334 @default.
- W2140470853 cites W1555946950 @default.
- W2140470853 cites W1557517477 @default.
- W2140470853 cites W1882001823 @default.
- W2140470853 cites W1975455609 @default.
- W2140470853 cites W1984936841 @default.
- W2140470853 cites W1996832037 @default.
- W2140470853 cites W1998490923 @default.
- W2140470853 cites W2013658284 @default.
- W2140470853 cites W2047276559 @default.
- W2140470853 cites W2048327004 @default.
- W2140470853 cites W2071385868 @default.
- W2140470853 cites W2073514926 @default.
- W2140470853 cites W2105142318 @default.
- W2140470853 cites W2122466006 @default.
- W2140470853 cites W2134147282 @default.
- W2140470853 cites W2137018211 @default.
- W2140470853 cites W2137948900 @default.
- W2140470853 cites W2138916466 @default.
- W2140470853 cites W2151379762 @default.
- W2140470853 cites W2161825580 @default.
- W2140470853 cites W2293287097 @default.
- W2140470853 doi "https://doi.org/10.1109/qsic.2005.54" @default.
- W2140470853 hasPublicationYear "2006" @default.
- W2140470853 type Work @default.
- W2140470853 sameAs 2140470853 @default.
- W2140470853 citedByCount "7" @default.
- W2140470853 crossrefType "proceedings-article" @default.
- W2140470853 hasAuthorship W2140470853A5023969203 @default.
- W2140470853 hasAuthorship W2140470853A5050928648 @default.
- W2140470853 hasConcept C111919701 @default.
- W2140470853 hasConcept C112505250 @default.
- W2140470853 hasConcept C113843644 @default.
- W2140470853 hasConcept C115903868 @default.
- W2140470853 hasConcept C120314980 @default.
- W2140470853 hasConcept C121332964 @default.
- W2140470853 hasConcept C129307140 @default.
- W2140470853 hasConcept C157915830 @default.
- W2140470853 hasConcept C168167062 @default.
- W2140470853 hasConcept C169468491 @default.
- W2140470853 hasConcept C174683762 @default.
- W2140470853 hasConcept C186846655 @default.
- W2140470853 hasConcept C199360897 @default.
- W2140470853 hasConcept C26713055 @default.
- W2140470853 hasConcept C2777904410 @default.
- W2140470853 hasConcept C41008148 @default.
- W2140470853 hasConcept C49312422 @default.
- W2140470853 hasConcept C529173508 @default.
- W2140470853 hasConcept C80291951 @default.
- W2140470853 hasConcept C80444323 @default.
- W2140470853 hasConcept C97355855 @default.
- W2140470853 hasConceptScore W2140470853C111919701 @default.
- W2140470853 hasConceptScore W2140470853C112505250 @default.
- W2140470853 hasConceptScore W2140470853C113843644 @default.
- W2140470853 hasConceptScore W2140470853C115903868 @default.
- W2140470853 hasConceptScore W2140470853C120314980 @default.
- W2140470853 hasConceptScore W2140470853C121332964 @default.
- W2140470853 hasConceptScore W2140470853C129307140 @default.
- W2140470853 hasConceptScore W2140470853C157915830 @default.
- W2140470853 hasConceptScore W2140470853C168167062 @default.
- W2140470853 hasConceptScore W2140470853C169468491 @default.
- W2140470853 hasConceptScore W2140470853C174683762 @default.
- W2140470853 hasConceptScore W2140470853C186846655 @default.
- W2140470853 hasConceptScore W2140470853C199360897 @default.
- W2140470853 hasConceptScore W2140470853C26713055 @default.
- W2140470853 hasConceptScore W2140470853C2777904410 @default.
- W2140470853 hasConceptScore W2140470853C41008148 @default.
- W2140470853 hasConceptScore W2140470853C49312422 @default.
- W2140470853 hasConceptScore W2140470853C529173508 @default.
- W2140470853 hasConceptScore W2140470853C80291951 @default.
- W2140470853 hasConceptScore W2140470853C80444323 @default.
- W2140470853 hasConceptScore W2140470853C97355855 @default.
- W2140470853 hasLocation W21404708531 @default.
- W2140470853 hasOpenAccess W2140470853 @default.
- W2140470853 hasPrimaryLocation W21404708531 @default.
- W2140470853 hasRelatedWork W1482840768 @default.
- W2140470853 hasRelatedWork W1511202038 @default.
- W2140470853 hasRelatedWork W1533318305 @default.
- W2140470853 hasRelatedWork W1540892299 @default.
- W2140470853 hasRelatedWork W1976111119 @default.
- W2140470853 hasRelatedWork W1978955051 @default.
- W2140470853 hasRelatedWork W1993627960 @default.
- W2140470853 hasRelatedWork W2026212162 @default.
- W2140470853 hasRelatedWork W2036551352 @default.
- W2140470853 hasRelatedWork W2063400074 @default.
- W2140470853 hasRelatedWork W2084514477 @default.
- W2140470853 hasRelatedWork W2105055363 @default.
- W2140470853 hasRelatedWork W2121362566 @default.
- W2140470853 hasRelatedWork W2132400051 @default.
- W2140470853 hasRelatedWork W2137948900 @default.
- W2140470853 hasRelatedWork W2139006359 @default.