Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949966897> ?p ?o ?g. }
- W2949966897 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.
- W2949966897 created "2019-06-27" @default.
- W2949966897 creator A5013369801 @default.
- W2949966897 creator A5037726232 @default.
- W2949966897 creator A5088676304 @default.
- W2949966897 date "2018-05-22" @default.
- W2949966897 modified "2023-09-25" @default.
- W2949966897 title "Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework." @default.
- W2949966897 cites W1504834688 @default.
- W2949966897 cites W1525440541 @default.
- W2949966897 cites W1546797988 @default.
- W2949966897 cites W1578262153 @default.
- W2949966897 cites W1583329765 @default.
- W2949966897 cites W1584489325 @default.
- W2949966897 cites W1610570299 @default.
- W2949966897 cites W1773113854 @default.
- W2949966897 cites W1965979806 @default.
- W2949966897 cites W1973223152 @default.
- W2949966897 cites W1978434005 @default.
- W2949966897 cites W1978955051 @default.
- W2949966897 cites W2006988775 @default.
- W2949966897 cites W2033698665 @default.
- W2949966897 cites W2048713005 @default.
- W2949966897 cites W2048903680 @default.
- W2949966897 cites W2050355531 @default.
- W2949966897 cites W2076997912 @default.
- W2949966897 cites W2093186740 @default.
- W2949966897 cites W2108126009 @default.
- W2949966897 cites W2114696172 @default.
- W2949966897 cites W2135670602 @default.
- W2949966897 cites W2141418073 @default.
- W2949966897 cites W2167500728 @default.
- W2949966897 cites W2262043317 @default.
- W2949966897 cites W2336664854 @default.
- W2949966897 cites W2576554330 @default.
- W2949966897 cites W2594560464 @default.
- W2949966897 cites W744696454 @default.
- W2949966897 cites W2585203448 @default.
- W2949966897 hasPublicationYear "2018" @default.
- W2949966897 type Work @default.
- W2949966897 sameAs 2949966897 @default.
- W2949966897 citedByCount "0" @default.
- W2949966897 crossrefType "posted-content" @default.
- W2949966897 hasAuthorship W2949966897A5013369801 @default.
- W2949966897 hasAuthorship W2949966897A5037726232 @default.
- W2949966897 hasAuthorship W2949966897A5088676304 @default.
- W2949966897 hasConcept C110251889 @default.
- W2949966897 hasConcept C115903868 @default.
- W2949966897 hasConcept C120314980 @default.
- W2949966897 hasConcept C121332964 @default.
- W2949966897 hasConcept C121375916 @default.
- W2949966897 hasConcept C127162648 @default.
- W2949966897 hasConcept C142724271 @default.
- W2949966897 hasConcept C154945302 @default.
- W2949966897 hasConcept C168167062 @default.
- W2949966897 hasConcept C184337299 @default.
- W2949966897 hasConcept C199360897 @default.
- W2949966897 hasConcept C204787440 @default.
- W2949966897 hasConcept C2777904410 @default.
- W2949966897 hasConcept C2778562939 @default.
- W2949966897 hasConcept C2780385302 @default.
- W2949966897 hasConcept C31258907 @default.
- W2949966897 hasConcept C41008148 @default.
- W2949966897 hasConcept C60051680 @default.
- W2949966897 hasConcept C71924100 @default.
- W2949966897 hasConcept C73752529 @default.
- W2949966897 hasConcept C75606506 @default.
- W2949966897 hasConcept C76214141 @default.
- W2949966897 hasConcept C97355855 @default.
- W2949966897 hasConceptScore W2949966897C110251889 @default.
- W2949966897 hasConceptScore W2949966897C115903868 @default.
- W2949966897 hasConceptScore W2949966897C120314980 @default.
- W2949966897 hasConceptScore W2949966897C121332964 @default.
- W2949966897 hasConceptScore W2949966897C121375916 @default.
- W2949966897 hasConceptScore W2949966897C127162648 @default.
- W2949966897 hasConceptScore W2949966897C142724271 @default.
- W2949966897 hasConceptScore W2949966897C154945302 @default.
- W2949966897 hasConceptScore W2949966897C168167062 @default.
- W2949966897 hasConceptScore W2949966897C184337299 @default.
- W2949966897 hasConceptScore W2949966897C199360897 @default.
- W2949966897 hasConceptScore W2949966897C204787440 @default.
- W2949966897 hasConceptScore W2949966897C2777904410 @default.
- W2949966897 hasConceptScore W2949966897C2778562939 @default.
- W2949966897 hasConceptScore W2949966897C2780385302 @default.
- W2949966897 hasConceptScore W2949966897C31258907 @default.
- W2949966897 hasConceptScore W2949966897C41008148 @default.
- W2949966897 hasConceptScore W2949966897C60051680 @default.
- W2949966897 hasConceptScore W2949966897C71924100 @default.
- W2949966897 hasConceptScore W2949966897C73752529 @default.
- W2949966897 hasConceptScore W2949966897C75606506 @default.
- W2949966897 hasConceptScore W2949966897C76214141 @default.
- W2949966897 hasConceptScore W2949966897C97355855 @default.
- W2949966897 hasOpenAccess W2949966897 @default.
- W2949966897 hasRelatedWork W123231274 @default.
- W2949966897 hasRelatedWork W144707335 @default.
- W2949966897 hasRelatedWork W1487086732 @default.
- W2949966897 hasRelatedWork W1551387242 @default.
- W2949966897 hasRelatedWork W1576373397 @default.
- W2949966897 hasRelatedWork W1603120467 @default.
- W2949966897 hasRelatedWork W1660037526 @default.