dc.contributor.author |
El Hokayem, Antoine Pierre, |
dc.date.accessioned |
2017-08-30T14:15:26Z |
dc.date.available |
2017-08-30T14:15:26Z |
dc.date.issued |
2015 |
dc.date.submitted |
2015 |
dc.identifier.other |
b18384948 |
dc.identifier.uri |
http://hdl.handle.net/10938/10880 |
dc.description |
Thesis. M.S. American University of Beirut. Department of Computer Science, 2015. T:6331 |
dc.description |
Advisor : Dr. Mohamad Jaber, Assistant Professor, Computer Science ; Members of Committee : Dr. Paul Attie, Associate Professor, Computer Science ; Dr. Haidar Safa, Associate Professor, Computer Science. |
dc.description |
Includes bibliographical references (leaves 84-87) |
dc.description.abstract |
Most computer systems almost certainly harbor undetected errors because of the gap between requirements and implementation. In this thesis, we define a method that combines Aspect Oriented Programming (AOP) and Component-based Systems (CBSs). AOP is a programming paradigm aiming at supporting the separation of concerns during the development of monolithic systems. We use the Behavior Interaction Priority (BIP) framework which is a component-based framework with formal operational semantics. We distinguish two types of aspects: Local and Global. Local aspects are used to model concerns to refine components. Global aspects are used to 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. Our combination of AOP and CBS yields a CBS framework with formal semantics and rigorous transformation primitives. Our method is fully implemented and tested on non-trivial examples. |
dc.format.extent |
1 online resource (viii, 87 leaves) : illustrations ; 30cm |
dc.language.iso |
eng |
dc.relation.ispartof |
Theses, Dissertations, and Projects |
dc.subject.classification |
T:006331 |
dc.subject.lcsh |
Aspect-oriented programming. |
dc.subject.lcsh |
Object-oriented programming (Computer science) |
dc.subject.lcsh |
Model-driven software architecture. |
dc.subject.lcsh |
Computer software -- Verification. |
dc.subject.lcsh |
Formal methods (Computer science) |
dc.subject.lcsh |
Computer software -- Development. |
dc.subject.lcsh |
Computer logic. |
dc.title |
A general framework for the integration of crosscutting concerns in BIP - |
dc.type |
Thesis |
dc.contributor.department |
Faculty of Arts and Sciences. |
dc.contributor.department |
Department of Computer Science, |
dc.contributor.institution |
American University of Beirut. |