Title

Modular Reasoning in the Presence of Event Subtyping

Campus Units

Computer Science

Document Type

Conference Proceeding

Conference

14th International Conference on Modularity (MODULARITY'15)

Publication Version

Accepted Manuscript

Link to Published Version

https://doi.org/10.1007/978-3-319-46969-0_5

Publication Date

2016

Journal or Book Title

Transactions on Modularity and Composition I. Lecture Notes in Computer Science

Volume

9800

First Page

167

Last Page

223

DOI

10.1007/978-3-319-46969-0_5

Conference Date

March 16-19, 2015

City

Fort Collins, CO

Abstract

Separating crosscutting concerns while preserving modular reasoning is challenging. Type-based interfaces (event types) separate modularized crosscutting concerns (observers) and traditional object-oriented concerns (subjects). Event types paired with event specifications were shown to be effective in enabling modular reasoning about subjects and observers. Similar to class subtyping, organizing event types into subtyping hierarchies is beneficial. However, unrelated behaviors of observers and their arbitrary execution orders could cause unique, somewhat counterintuitive, reasoning challenges in the presence of event subtyping. These challenges threaten both tractability of reasoning and reuse of event types. This work makes three contributions. First, we pose and explain these challenges. Second, we propose an event-based calculus to show how these challenges can be overcome. Finally, we present modular reasoning rules of our technique and show its applicability to other event-based techniques.

Comments

The final publication is available at Springer via https://doi.org/10.1007/978-3-319-46969-0_5. Bagherzadeh M., Dyer R., Fernando R.D., Sánchez J., Rajan H. (2016) Modular Reasoning in the Presence of Event Subtyping. In: Chiba S., Südholt M., Eugster P., Ziarek L., Leavens G. (eds) Transactions on Modularity and Composition I. Lecture Notes in Computer Science, vol 9800. DOI: 10.1007/978-3-319-46969-0_5. Posted with permission.

Copyright Owner

Springer International Publishing Switzerland

Language

en

File Format

application/pdf

Published Version

Share

 
COinS