Matches in SemOpenAlex for { <https://semopenalex.org/work/W2804925596> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2804925596 endingPage "177" @default.
- W2804925596 startingPage "143" @default.
- W2804925596 abstract "We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is inspired from the Aspect Oriented Programming (AOP) paradigm which was initially conceived to support the separation of concerns during the development of monolithic systems. BIP has a formal operational semantics and makes a clear separation between architecture and behavior to allow for compositional and incremental design and analysis of systems. We distinguish local from global aspects. Local aspects model concerns at the component level and are used to refine the behavior of components. Global aspects model concerns at the architecture level, and hence refine communications (synchronization and data transfer) between components. We formalize local and global aspects as well as their composition and integration into a BIP system through rigorous transformation primitives. We present AOP-BIP , a tool for Aspect-Oriented Programming of BIP systems, demonstrate its use to modularize logging, security, and fault tolerance in a network protocol, and discuss its possible use in runtime verification of CBSs." @default.
- W2804925596 created "2018-06-01" @default.
- W2804925596 creator A5013369801 @default.
- W2804925596 creator A5037726232 @default.
- W2804925596 creator A5088676304 @default.
- W2804925596 date "2018-10-01" @default.
- W2804925596 modified "2023-09-30" @default.
- W2804925596 title "Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – Application to the Behavior Interaction Priority framework" @default.
- W2804925596 cites W1965979806 @default.
- W2804925596 cites W1973223152 @default.
- W2804925596 cites W2006988775 @default.
- W2804925596 cites W2027769154 @default.
- W2804925596 cites W2033698665 @default.
- W2804925596 cites W2043996829 @default.
- W2804925596 cites W2048713005 @default.
- W2804925596 cites W2048903680 @default.
- W2804925596 cites W2050355531 @default.
- W2804925596 cites W2076997912 @default.
- W2804925596 cites W2087576741 @default.
- W2804925596 cites W2093186740 @default.
- W2804925596 cites W2125759159 @default.
- W2804925596 cites W2157407613 @default.
- W2804925596 cites W2262043317 @default.
- W2804925596 cites W2594560464 @default.
- W2804925596 doi "https://doi.org/10.1016/j.jlamp.2018.05.005" @default.
- W2804925596 hasPublicationYear "2018" @default.
- W2804925596 type Work @default.
- W2804925596 sameAs 2804925596 @default.
- W2804925596 citedByCount "3" @default.
- W2804925596 countsByYear W28049255962018 @default.
- W2804925596 countsByYear W28049255962020 @default.
- W2804925596 countsByYear W28049255962022 @default.
- W2804925596 crossrefType "journal-article" @default.
- W2804925596 hasAuthorship W2804925596A5013369801 @default.
- W2804925596 hasAuthorship W2804925596A5037726232 @default.
- W2804925596 hasAuthorship W2804925596A5088676304 @default.
- W2804925596 hasBestOaLocation W28049255961 @default.
- W2804925596 hasConcept C115903868 @default.
- W2804925596 hasConcept C121332964 @default.
- W2804925596 hasConcept C127413603 @default.
- W2804925596 hasConcept C168167062 @default.
- W2804925596 hasConcept C199360897 @default.
- W2804925596 hasConcept C201995342 @default.
- W2804925596 hasConcept C2777904410 @default.
- W2804925596 hasConcept C41008148 @default.
- W2804925596 hasConcept C60051680 @default.
- W2804925596 hasConcept C76214141 @default.
- W2804925596 hasConcept C97355855 @default.
- W2804925596 hasConceptScore W2804925596C115903868 @default.
- W2804925596 hasConceptScore W2804925596C121332964 @default.
- W2804925596 hasConceptScore W2804925596C127413603 @default.
- W2804925596 hasConceptScore W2804925596C168167062 @default.
- W2804925596 hasConceptScore W2804925596C199360897 @default.
- W2804925596 hasConceptScore W2804925596C201995342 @default.
- W2804925596 hasConceptScore W2804925596C2777904410 @default.
- W2804925596 hasConceptScore W2804925596C41008148 @default.
- W2804925596 hasConceptScore W2804925596C60051680 @default.
- W2804925596 hasConceptScore W2804925596C76214141 @default.
- W2804925596 hasConceptScore W2804925596C97355855 @default.
- W2804925596 hasFunder F4320320366 @default.
- W2804925596 hasLocation W28049255961 @default.
- W2804925596 hasLocation W28049255962 @default.
- W2804925596 hasLocation W28049255963 @default.
- W2804925596 hasLocation W28049255964 @default.
- W2804925596 hasOpenAccess W2804925596 @default.
- W2804925596 hasPrimaryLocation W28049255961 @default.
- W2804925596 hasRelatedWork W1593935454 @default.
- W2804925596 hasRelatedWork W2032396198 @default.
- W2804925596 hasRelatedWork W2072166064 @default.
- W2804925596 hasRelatedWork W2146740093 @default.
- W2804925596 hasRelatedWork W2463415962 @default.
- W2804925596 hasRelatedWork W378982846 @default.
- W2804925596 hasRelatedWork W4246432544 @default.
- W2804925596 hasRelatedWork W4253578585 @default.
- W2804925596 hasRelatedWork W75835960 @default.
- W2804925596 hasRelatedWork W2070229111 @default.
- W2804925596 hasVolume "99" @default.
- W2804925596 isParatext "false" @default.
- W2804925596 isRetracted "false" @default.
- W2804925596 magId "2804925596" @default.
- W2804925596 workType "article" @default.