Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096687403> ?p ?o ?g. }
- W2096687403 abstract "This work proposes a method for improving the scalability of model-checking compositions in the bottom-up construction of abstract components. The approach uses model checking in the model construction process for testing the composite behaviors of components, including process deadlock and inconsistency in inter-component call sequences. Assuming a single processor model, the scalability issue is addressed by introducing operational models for synchronous/asynchronous inter-component message passing, which are designed to reduce spurious behaviors caused by typical parallel compositions. Together with two abstraction techniques, synchronized abstraction and projection abstraction, that hide verified internal communication behavior, this operational model helps to reduce the complexity of composition and verification. The approach is supported by the Marmot development framework, where the soundness of the approach is assured through horizontal verification as well as vertical verification. Application of the approach on a wireless sensor network application shows promising performance improvement with linear growth in memory usage for the vertically incremental verification of abstract components." @default.
- W2096687403 created "2016-06-24" @default.
- W2096687403 creator A5033449942 @default.
- W2096687403 creator A5081305477 @default.
- W2096687403 date "2012-01-01" @default.
- W2096687403 modified "2023-09-26" @default.
- W2096687403 title "Controlled composition and abstraction for bottom-up integration and verification of abstract components" @default.
- W2096687403 cites W1518363720 @default.
- W2096687403 cites W1577404745 @default.
- W2096687403 cites W1582498514 @default.
- W2096687403 cites W1599890501 @default.
- W2096687403 cites W1603799276 @default.
- W2096687403 cites W1756169151 @default.
- W2096687403 cites W1801021781 @default.
- W2096687403 cites W1801993675 @default.
- W2096687403 cites W1819209966 @default.
- W2096687403 cites W1943502734 @default.
- W2096687403 cites W1968755402 @default.
- W2096687403 cites W1971903460 @default.
- W2096687403 cites W1987298286 @default.
- W2096687403 cites W2005301799 @default.
- W2096687403 cites W2013887890 @default.
- W2096687403 cites W2017959828 @default.
- W2096687403 cites W2040836231 @default.
- W2096687403 cites W2048057517 @default.
- W2096687403 cites W2054450126 @default.
- W2096687403 cites W2064880497 @default.
- W2096687403 cites W2098346263 @default.
- W2096687403 cites W2098746868 @default.
- W2096687403 cites W2099529102 @default.
- W2096687403 cites W2101759873 @default.
- W2096687403 cites W2113671643 @default.
- W2096687403 cites W2114114829 @default.
- W2096687403 cites W2118202954 @default.
- W2096687403 cites W2120735680 @default.
- W2096687403 cites W2124613439 @default.
- W2096687403 cites W2129538349 @default.
- W2096687403 cites W2135128114 @default.
- W2096687403 cites W2139769766 @default.
- W2096687403 cites W2140687990 @default.
- W2096687403 cites W2144148994 @default.
- W2096687403 cites W2149116986 @default.
- W2096687403 cites W2152567582 @default.
- W2096687403 cites W2152846401 @default.
- W2096687403 cites W2152926642 @default.
- W2096687403 cites W2154321080 @default.
- W2096687403 cites W2156392592 @default.
- W2096687403 cites W2159773709 @default.
- W2096687403 cites W2160086685 @default.
- W2096687403 cites W2160862034 @default.
- W2096687403 cites W2170090440 @default.
- W2096687403 cites W2171480813 @default.
- W2096687403 cites W2913523018 @default.
- W2096687403 cites W3092402039 @default.
- W2096687403 cites W3144368627 @default.
- W2096687403 cites W3146087745 @default.
- W2096687403 cites W68069235 @default.
- W2096687403 cites W2126641107 @default.
- W2096687403 cites W2161754145 @default.
- W2096687403 doi "https://doi.org/10.1016/j.infsof.2011.08.001" @default.
- W2096687403 hasPublicationYear "2012" @default.
- W2096687403 type Work @default.
- W2096687403 sameAs 2096687403 @default.
- W2096687403 citedByCount "2" @default.
- W2096687403 countsByYear W20966874032013 @default.
- W2096687403 countsByYear W20966874032016 @default.
- W2096687403 crossrefType "journal-article" @default.
- W2096687403 hasAuthorship W2096687403A5033449942 @default.
- W2096687403 hasAuthorship W2096687403A5081305477 @default.
- W2096687403 hasConcept C110251889 @default.
- W2096687403 hasConcept C111472728 @default.
- W2096687403 hasConcept C111498074 @default.
- W2096687403 hasConcept C120314980 @default.
- W2096687403 hasConcept C121332964 @default.
- W2096687403 hasConcept C124304363 @default.
- W2096687403 hasConcept C138885662 @default.
- W2096687403 hasConcept C151319957 @default.
- W2096687403 hasConcept C159023740 @default.
- W2096687403 hasConcept C168167062 @default.
- W2096687403 hasConcept C199360897 @default.
- W2096687403 hasConcept C202973057 @default.
- W2096687403 hasConcept C31258907 @default.
- W2096687403 hasConcept C39920170 @default.
- W2096687403 hasConcept C41008148 @default.
- W2096687403 hasConcept C48044578 @default.
- W2096687403 hasConcept C77088390 @default.
- W2096687403 hasConcept C97355855 @default.
- W2096687403 hasConcept C98045186 @default.
- W2096687403 hasConceptScore W2096687403C110251889 @default.
- W2096687403 hasConceptScore W2096687403C111472728 @default.
- W2096687403 hasConceptScore W2096687403C111498074 @default.
- W2096687403 hasConceptScore W2096687403C120314980 @default.
- W2096687403 hasConceptScore W2096687403C121332964 @default.
- W2096687403 hasConceptScore W2096687403C124304363 @default.
- W2096687403 hasConceptScore W2096687403C138885662 @default.
- W2096687403 hasConceptScore W2096687403C151319957 @default.
- W2096687403 hasConceptScore W2096687403C159023740 @default.
- W2096687403 hasConceptScore W2096687403C168167062 @default.
- W2096687403 hasConceptScore W2096687403C199360897 @default.
- W2096687403 hasConceptScore W2096687403C202973057 @default.