Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137948900> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2137948900 endingPage "1076" @default.
- W2137948900 startingPage "1056" @default.
- W2137948900 abstract "In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the interplay on the component's interfaces and reflect step-by-step refinement of the component's specification during its design. In addition, the notation should be easy to comprehend and allow for formal reasoning about the correctness of the specification refinement and also about the correctness of an implementation in terms of whether it adheres to the specification. Targeting all these requirements together, the paper proposes employing behavior protocols which are based on a notation similar to regular expressions. As proof of the concept, the behavior protocols are used in the SOFA architecture description language at three levels: interface, frame, and architecture. Key achievements of this paper include the definitions of bounded component behavior and protocol conformance relation. Using these concepts, the designer can verify the adherence of a component's implementation to its specification at runtime, while the correctness of refining the specification can be verified at design time." @default.
- W2137948900 created "2016-06-24" @default.
- W2137948900 creator A5019908885 @default.
- W2137948900 creator A5056797176 @default.
- W2137948900 date "2002-11-01" @default.
- W2137948900 modified "2023-10-13" @default.
- W2137948900 title "Behavior protocols for software components" @default.
- W2137948900 cites W1539193030 @default.
- W2137948900 cites W1545438004 @default.
- W2137948900 cites W1546981056 @default.
- W2137948900 cites W1553916557 @default.
- W2137948900 cites W1761238579 @default.
- W2137948900 cites W1892405650 @default.
- W2137948900 cites W1924205014 @default.
- W2137948900 cites W1975455609 @default.
- W2137948900 cites W1992050254 @default.
- W2137948900 cites W2013658284 @default.
- W2137948900 cites W2096973649 @default.
- W2137948900 cites W2112694783 @default.
- W2137948900 cites W2137865376 @default.
- W2137948900 cites W2141834609 @default.
- W2137948900 cites W2155644377 @default.
- W2137948900 cites W2162366870 @default.
- W2137948900 doi "https://doi.org/10.1109/tse.2002.1049404" @default.
- W2137948900 hasPublicationYear "2002" @default.
- W2137948900 type Work @default.
- W2137948900 sameAs 2137948900 @default.
- W2137948900 citedByCount "337" @default.
- W2137948900 countsByYear W21379489002012 @default.
- W2137948900 countsByYear W21379489002013 @default.
- W2137948900 countsByYear W21379489002014 @default.
- W2137948900 countsByYear W21379489002015 @default.
- W2137948900 countsByYear W21379489002016 @default.
- W2137948900 countsByYear W21379489002017 @default.
- W2137948900 countsByYear W21379489002018 @default.
- W2137948900 countsByYear W21379489002019 @default.
- W2137948900 countsByYear W21379489002020 @default.
- W2137948900 countsByYear W21379489002021 @default.
- W2137948900 countsByYear W21379489002023 @default.
- W2137948900 crossrefType "journal-article" @default.
- W2137948900 hasAuthorship W2137948900A5019908885 @default.
- W2137948900 hasAuthorship W2137948900A5056797176 @default.
- W2137948900 hasConcept C115903868 @default.
- W2137948900 hasConcept C116253237 @default.
- W2137948900 hasConcept C121332964 @default.
- W2137948900 hasConcept C168167062 @default.
- W2137948900 hasConcept C192698709 @default.
- W2137948900 hasConcept C199360897 @default.
- W2137948900 hasConcept C201677973 @default.
- W2137948900 hasConcept C33923547 @default.
- W2137948900 hasConcept C41008148 @default.
- W2137948900 hasConcept C45357846 @default.
- W2137948900 hasConcept C55439883 @default.
- W2137948900 hasConcept C75606506 @default.
- W2137948900 hasConcept C94375191 @default.
- W2137948900 hasConcept C97355855 @default.
- W2137948900 hasConceptScore W2137948900C115903868 @default.
- W2137948900 hasConceptScore W2137948900C116253237 @default.
- W2137948900 hasConceptScore W2137948900C121332964 @default.
- W2137948900 hasConceptScore W2137948900C168167062 @default.
- W2137948900 hasConceptScore W2137948900C192698709 @default.
- W2137948900 hasConceptScore W2137948900C199360897 @default.
- W2137948900 hasConceptScore W2137948900C201677973 @default.
- W2137948900 hasConceptScore W2137948900C33923547 @default.
- W2137948900 hasConceptScore W2137948900C41008148 @default.
- W2137948900 hasConceptScore W2137948900C45357846 @default.
- W2137948900 hasConceptScore W2137948900C55439883 @default.
- W2137948900 hasConceptScore W2137948900C75606506 @default.
- W2137948900 hasConceptScore W2137948900C94375191 @default.
- W2137948900 hasConceptScore W2137948900C97355855 @default.
- W2137948900 hasIssue "11" @default.
- W2137948900 hasLocation W21379489001 @default.
- W2137948900 hasOpenAccess W2137948900 @default.
- W2137948900 hasPrimaryLocation W21379489001 @default.
- W2137948900 hasRelatedWork W1482002366 @default.
- W2137948900 hasRelatedWork W1541085282 @default.
- W2137948900 hasRelatedWork W1591156284 @default.
- W2137948900 hasRelatedWork W1977144985 @default.
- W2137948900 hasRelatedWork W2125996595 @default.
- W2137948900 hasRelatedWork W2140467164 @default.
- W2137948900 hasRelatedWork W2142545871 @default.
- W2137948900 hasRelatedWork W2338700700 @default.
- W2137948900 hasRelatedWork W242821809 @default.
- W2137948900 hasRelatedWork W285671046 @default.
- W2137948900 hasVolume "28" @default.
- W2137948900 isParatext "false" @default.
- W2137948900 isRetracted "false" @default.
- W2137948900 magId "2137948900" @default.
- W2137948900 workType "article" @default.