2016
DOI: 10.1007/978-3-319-46969-0_5
|View full text |Cite
|
Sign up to set email alerts
|

Modular Reasoning in the Presence of Event Subtyping

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 have been shown to be effective in enabling modular reasoning about subjects and observers. Similar to class subtyping there are benefits to organizing event types into subtyping hierarchies. However, unrelated behaviors of observers and thei… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(3 citation statements)
references
References 58 publications
(61 reference statements)
0
3
0
Order By: Relevance
“…Two translucid contracts are structurally similar if for each specification (program) expression in the assumes block of one, a possibly different specification (program) expression exists in the assumes block of the other at the same location. Ptolemy S 's structural similarity for the refining relation allows definition of Ptolemy S 's event specification inheritance, in [26], such that it statically guarantees the refining relation by combining translucid contracts of an event and its superevents in a subtyping hierarchy.…”
Section: Refining Relation Of Event Specificationsmentioning
confidence: 99%
See 2 more Smart Citations
“…Two translucid contracts are structurally similar if for each specification (program) expression in the assumes block of one, a possibly different specification (program) expression exists in the assumes block of the other at the same location. Ptolemy S 's structural similarity for the refining relation allows definition of Ptolemy S 's event specification inheritance, in [26], such that it statically guarantees the refining relation by combining translucid contracts of an event and its superevents in a subtyping hierarchy.…”
Section: Refining Relation Of Event Specificationsmentioning
confidence: 99%
“…Ptolemy S 's semantics, in Appendices A and B, guarantees the conformance, using a combination of type checking and runtime assertion checking. Ptolemy S 's event specification inheritance [26], statically guarantees the refining relation and Ptolemy S 's dynamic semantics guarantees the non-decreasing relation. Figure 5 shows the interplay of conformance, refining and non-decreasing relations.…”
Section: Soundness Of Reasoningmentioning
confidence: 99%
See 1 more Smart Citation