Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567429645> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1567429645 endingPage "18" @default.
- W1567429645 startingPage "3" @default.
- W1567429645 abstract "Architectural description languages are a useful tool for modeling complex software systems at a high level of abstraction and, if based on formal methods, for enabling the early verification of various properties among which correct component coordination. This is the case with process algebraic architectural description languages, as they have been equipped with several techniques for verifying the absence of coordination mismatches in the case of synchronous communications. The objective of this paper is twofold. On the modeling side, we show how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing non-synchronous communications, in such a way that the usability of the original language is preserved. On the analysis side, we show how to modify the compatibility check for acyclic topologies and the interoperability check for cyclic topologies, in such a way that both checks can still be applied in the presence of non-synchronous communications." @default.
- W1567429645 created "2016-06-24" @default.
- W1567429645 creator A5022295533 @default.
- W1567429645 creator A5090241572 @default.
- W1567429645 date "2008-09-20" @default.
- W1567429645 modified "2023-10-16" @default.
- W1567429645 title "Non-synchronous Communications in Process Algebraic Architectural Description Languages" @default.
- W1567429645 cites W1974986814 @default.
- W1567429645 cites W2013658284 @default.
- W1567429645 cites W2047309663 @default.
- W1567429645 cites W2061773650 @default.
- W1567429645 cites W2073514926 @default.
- W1567429645 cites W2131185826 @default.
- W1567429645 cites W2141834609 @default.
- W1567429645 cites W2161307885 @default.
- W1567429645 doi "https://doi.org/10.1007/978-3-540-88030-1_3" @default.
- W1567429645 hasPublicationYear "2008" @default.
- W1567429645 type Work @default.
- W1567429645 sameAs 1567429645 @default.
- W1567429645 citedByCount "4" @default.
- W1567429645 countsByYear W15674296452018 @default.
- W1567429645 crossrefType "book-chapter" @default.
- W1567429645 hasAuthorship W1567429645A5022295533 @default.
- W1567429645 hasAuthorship W1567429645A5090241572 @default.
- W1567429645 hasBestOaLocation W15674296452 @default.
- W1567429645 hasConcept C107457646 @default.
- W1567429645 hasConcept C111472728 @default.
- W1567429645 hasConcept C111919701 @default.
- W1567429645 hasConcept C115903868 @default.
- W1567429645 hasConcept C121332964 @default.
- W1567429645 hasConcept C124304363 @default.
- W1567429645 hasConcept C138885662 @default.
- W1567429645 hasConcept C161771561 @default.
- W1567429645 hasConcept C168167062 @default.
- W1567429645 hasConcept C170130773 @default.
- W1567429645 hasConcept C199360897 @default.
- W1567429645 hasConcept C20136886 @default.
- W1567429645 hasConcept C41008148 @default.
- W1567429645 hasConcept C97355855 @default.
- W1567429645 hasConcept C98045186 @default.
- W1567429645 hasConceptScore W1567429645C107457646 @default.
- W1567429645 hasConceptScore W1567429645C111472728 @default.
- W1567429645 hasConceptScore W1567429645C111919701 @default.
- W1567429645 hasConceptScore W1567429645C115903868 @default.
- W1567429645 hasConceptScore W1567429645C121332964 @default.
- W1567429645 hasConceptScore W1567429645C124304363 @default.
- W1567429645 hasConceptScore W1567429645C138885662 @default.
- W1567429645 hasConceptScore W1567429645C161771561 @default.
- W1567429645 hasConceptScore W1567429645C168167062 @default.
- W1567429645 hasConceptScore W1567429645C170130773 @default.
- W1567429645 hasConceptScore W1567429645C199360897 @default.
- W1567429645 hasConceptScore W1567429645C20136886 @default.
- W1567429645 hasConceptScore W1567429645C41008148 @default.
- W1567429645 hasConceptScore W1567429645C97355855 @default.
- W1567429645 hasConceptScore W1567429645C98045186 @default.
- W1567429645 hasLocation W15674296451 @default.
- W1567429645 hasLocation W15674296452 @default.
- W1567429645 hasOpenAccess W1567429645 @default.
- W1567429645 hasPrimaryLocation W15674296451 @default.
- W1567429645 hasRelatedWork W137976737 @default.
- W1567429645 hasRelatedWork W1504651774 @default.
- W1567429645 hasRelatedWork W1565263828 @default.
- W1567429645 hasRelatedWork W1592250461 @default.
- W1567429645 hasRelatedWork W1882001823 @default.
- W1567429645 hasRelatedWork W1954655008 @default.
- W1567429645 hasRelatedWork W1999473061 @default.
- W1567429645 hasRelatedWork W2052803392 @default.
- W1567429645 hasRelatedWork W3160136729 @default.
- W1567429645 hasRelatedWork W2611182424 @default.
- W1567429645 isParatext "false" @default.
- W1567429645 isRetracted "false" @default.
- W1567429645 magId "1567429645" @default.
- W1567429645 workType "book-chapter" @default.