Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Context-Oriented Software Development with Generalized Layer Activation Mechanism Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Modular Reasoning in the Presence of Event Subtyping

verfasst von : Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan

Erschienen in: Transactions on Modularity and Composition I

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Generalized Layer Activation Mechanism for Context-Oriented Programming
Nächstes Kapitel Software Unbundling: Challenges and Perspectives
Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
2
Phrases ‘observer’ and ‘observer handler method’ are used interchangably.
 
3
The class subtyping relation \(\preccurlyeq \) is different from https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-46969-0_5/431616_1_En_5_IEq144_HTML.gif event subtyping relation \(\ll :\), as discussed in Sect. 9.
 
4
\({{\small {\varvec{Event}}\normalsize }}\) is not accessible to programmers and does not have observers, as a simple design choice, to not allow programmers to affect behaviors of events of a system by defining a specification for \({{\small {\varvec{Event}}\normalsize }}\).
 
5
https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-46969-0_5/431616_1_En_5_IEq373_HTML.gif ’ core does not support throwing or handling of exceptions [9].
 
Literatur
1.
Bagherzadeh, M., Dyer, R., Fernando, R.D., Sánchez, J., Rajan, H.: Modular reasoning in the presence of event subtyping. In: Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, pp. 117–132. ACM, New York (2015)
2.
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–354. Springer, Heidelberg (2001). doi:10.​1007/​3-540-45337-7_​18 CrossRef
3.
Aldrich, J.: Open modules: modular reasoning about advice. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 144–168. Springer, Heidelberg (2005). doi:10.​1007/​11531142_​7 CrossRef
4.
Sullivan, K., Griswold, W.G., Song, Y., Cai, Y., Shonle, M., Tewari, N., Rajan, H.: Information hiding interfaces for aspect-oriented design. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-13, pp. 166–175. ACM, New York (2005)
5.
Griswold, W.G., Sullivan, K., Song, Y., Shonle, M., Tewari, N., Cai, Y., Rajan, H.: Modular software design with crosscutting interfaces. IEEE Softw. 23(1), 51–60 (2006)CrossRef
6.
Sullivan, K., Griswold, W.G., Rajan, H., Song, Y., Cai, Y., Shonle, M., Tewari, N.: Modular aspect-oriented design with XPIs. ACM Trans. Softw. Eng. Methodol. 20(2), 5:1–5:42 (2010)CrossRef
7.
Gasiunas, V., Satabin, L., Mezini, M., Núñez, A., Noyé, J.: Escala: modular event-driven object interactions in Scala. In: Proceedings of the Tenth International Conference on Aspect-oriented Software Development, AOSD 2011, pp. 227–240. ACM, New York (2011)
8.
Bagherzadeh, M., Rajan, H., Leavens, G.T., Mooney, S.: Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces. In: Proceedings of the Tenth International Conference on Aspect-oriented Software Development, AOSD 2011, pp. 141–152. ACM, New York (2011)
9.
Bagherzadeh, M., Rajan, H., Darvish, A.: On exceptions, events and observer chains. In: Proceedings of the 12th Annual International Conference on Aspect-oriented Software Development, AOSD 2013, pp. 185–196. ACM, New York (2013)
10.
Sánchez, J., Leavens, G.T.: Separating obligations of subjects and handlers for more flexible event type verification. In: Binder, W., Bodden, E., Löwe, W. (eds.) SC 2013. LNCS, vol. 8088, pp. 65–80. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-39614-4_​5 CrossRef
11.
Hoffman, K., Eugster, P.: Bridging Java and AspectJ through explicit join points. In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, pp. 63–72. ACM, New York (2007)
12.
13.
Clifton, C., Leavens, G.T.: Obliviousness, modular reasoning, and the behavioral subtyping analogy. In: Software-engineering Properties of Languages for Aspect Technologies, SPLAT 2003 (2003)
14.
Kiczales, G., Mezini, M.: Aspect-oriented programming and modular reasoning. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 49–58. ACM, New York (2005)
15.
Clifton, C., Leavens, G.T.: A design discipline and language features for modular reasoning in aspect-oriented programs. Technical report 05–23, Iowa State University (2005)
16.
17.
Rajan, H., Sullivan, K.J.: Unifying aspect- and object-oriented design. ACM Trans. Softw. Eng. Methodol. 19(1), 3:1–3:41 (2009)CrossRef
18.
Rajan, H., Leavens, G.T.: Quantified, typed events for improved separation of concerns. Technical report 07–14, Iowa State University (2007)
19.
Bodden, E., Tanter, E., Inostroza, M.: Join point interfaces for safe and flexible decoupling of aspects. ACM Trans. Softw. Eng. Methodol. 23(1), 7:1–7:41 (2014)CrossRef
20.
Steimann, F., Pawlitzki, T., Apel, S., Kästner, C.: Types and modularity for implicit invocation with implicit announcement. ACM Trans. Softw. Eng. Methodol. 20(1), 1:1–1:43 (2010)CrossRef
21.
Rebêlo, H., Leavens, G.T., Bagherzadeh, M., Rajan, H., Lima, R., Zimmerman, D.M., Cornélio, M., Thüm, T.: Modularizing crosscutting contracts with AspectJML. In: Proceedings of the Companion Publication of the 13th International Conference on Modularity, MODULARITY 2014, pp. 21–24. ACM, New York (2014)
22.
Sánchez, J., Leavens, G.T.: Reasoning tradeoffs in languages with enhanced modularity features. In: Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, pp. 13–24. ACM, New York (2016)
23.
Rajan, H., Dyer, R., Hanna, Y.W., Narayanappa, H.: Preserving separation of concerns through compilation. In: Software-engineering Properties of Languages for Aspect Technologies, SPLAT 2006 (2006)
24.
Dyer, R., Rajan, H., Cai, Y.: An exploratory study of the design impact of language features for aspect-oriented interfaces. In: Proceedings of the 11th Annual International Conference on Aspect-oriented Software Development, AOSD 2012, pp. 143–154. ACM, New York (2012)
25.
Dyer, R., Rajan, H., Cai, Y.: Language features for software evolution and aspect-oriented interfaces: an exploratory study. In: Leavens, G.T., Chiba, S., Tanter, É. (eds.) Transactions on Aspect-Oriented Software Development X. LNCS, vol. 7800, pp. 148–183. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-36964-3_​5 CrossRef
26.
Dyer, R., Bagherzadeh, M., Rajan, H., Cai, Y.: A preliminary study of quantified, typed events. In: Workshop on Empirical Evaluation of Software Composition Techniques, ESCOT 2010 (2010)
27.
Fernando, R.D., Dyer, R., Rajan, H.: Event type polymorphism. In: Proceedings of the Eleventh Workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, pp. 33–38. ACM, New York (2012)
28.
Xu, J., Rajan, H., Sullivan, K.: Understanding aspects via implicit invocation. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering, ASE 2004, Computer Society, pp. 332–335. IEEE, Washington (2004)
29.
Dingel, J., Garlan, D., Jha, S., Notkin, D.: Towards a formal treatment of implicit invocation using rely/guarantee reasoning. Formal Aspects Comput. 10(3), 193–213 (1998)CrossRefMATH
30.
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing Co. Inc, Boston (1995)MATH
31.
Khatchadourian, R., Dovland, J., Soundarajan, N.: Enforcing behavioral constraints in evolving aspect-oriented programs. In: Proceedings of the 7th Workshop on Foundations of Aspect-oriented Languages, FOAL 2008, pp. 19–28. ACM, New York (2008)
32.
Rebelo, H., Leavens, G.T., Lima, R.M.F., Borba, P., Ribeiro, M.: Modular aspect-oriented design rule enforcement with XPIDRs. In: Proceedings of the 12th Workshop on Foundations of Aspect-oriented Languages, FOAL 2013, pp. 13–18. ACM, New York (2013)
33.
Clifton, C., Leavens, G.T., Noble, J.: MAO: ownership and effects for more effective reasoning about aspects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 451–475. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-73589-2_​22 CrossRef
34.
Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053–1058 (1972)CrossRef
35.
Bagherzadeh, M.: Enabling expressive aspect oriented modular reasoning by translucid contracts. In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, OOPSLA 2010, pp. 227–228. ACM, New York (2010)
36.
Büchi, M., Weck, W.: The greybox approach: when blackbox specifications hide too much. Technical report 297, Turku Center for Computer Science (1999)
37.
Leavens, G.T., Naumann, D.A.: Behavioral subtyping, specification inheritance, and modular reasoning. ACM Trans. Program. Lang. Syst. 37(4), 13:1–13:88 (2015)CrossRef
38.
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)CrossRefMATH
39.
Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for Java. SIGSOFT Softw. Eng. Notes 31(3), 1–38 (2006)CrossRef
40.
Rajan, H.: Unifying aspect- and object-oriented program design. Ph.D. thesis, Charlottesville, VA, USA AAI3189305 (2005)
41.
Rajan, H.: Design pattern implementations in Eos. In: Proceedings of the 14th Conference on Pattern Languages of Programs, PLOP 2007, 9:1–9:11. ACM, New York (2007)
42.
Rajan, H., Sullivan, K.J.: Classpects: unifying aspect- and object-oriented language design. In: ICSE 2005
43.
Rajan, H., Sullivan, K.: Eos: Instance-level aspects for integrated system design. In: Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11, pp. 297–306. ACM, New York (2003)
44.
45.
Dhara, K.K., Leavens, G.T.: Forcing behavioral subtyping through specification inheritance. In: Proceedings of the 18th International Conference on Software Engineering, ICSE 1996, Computer Society, pp. 258–267. IEEE, Washington (1996)
46.
Shaner, S.M., Leavens, G.T., Naumann, D.A.: Modular verification of higher-order methods with mandatory calls specified by model programs. In: Proceedings of the 22Nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, OOPSLA 2007, pp. 351–368. ACM, New York (2007)
47.
48.
49.
Inostroza, M., Tanter, E., Bodden, E.: Join point interfaces for modular reasoning in aspect-oriented programs. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC/FSE 2011, pp. 508–511. ACM, New York (2011)
50.
Rinard, M., Salcianu, A., Bugrara, S.: A classification system and analysis for aspect-oriented programs. In: Proceedings of the 12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering, SIGSOFT 2004/FSE-12, pp. 147–158. ACM, New York (2004)
51.
52.
Forman, I.R., Conner, M.H., Danforth, S.H., Raper, L.K.: Release-to-release binary compatibility in SOM. In: Proceedings of the Tenth Annual Conference on Object-oriented Programming Systems, Languages, and Applications, OOPSLA 1995, pp. 426–438. ACM, New York (1995)
53.
Gosling, J., Joy, B., Steele Jr., G.L., Bracha, G., Buckley, A.: The Java Language Specification, Java SE 7th edn, 1st edn. Addison-Wesley Professional, Boston (2013)
54.
Drossopoulou, S., Wragg, D., Eisenbach, S.: What is Java binary compatibility? In: Proceedings of the 13th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA 1998, pp. 341–361. ACM, New York (1998)
55.
Thüm, T., Schaefer, I., Kuhlemann, M., Apel, S., Saake, G.: Applying design by contract to feature-oriented programming. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 255–269. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-28872-2_​18 CrossRef
56.
Sánchez, J., Leavens, G.T.: Static verification of PtolemyRely programs using OpenJML. In: Proceedings of the 13th Workshop on Foundations of Aspect-oriented Languages, FOAL 2014, pp. 13–18. ACM, New York (2014)
57.
58.
Oliveira, B.C.D.S., Schrijvers, T., Cook, W.R.: EffectiveAdvice: disciplined advice with explicit effects. In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, pp. 109–120. ACM, New York (2010)
59.
Figueroa, I., Tabareau, N., Tanter, É.: Effective aspects: a typed monadic embedding of pointcuts and advice. In: Chiba, S., Tanter, É., Bodden, E., Maoz, S., Kienzle, J. (eds.) Transactions on Aspect-Oriented Software Development XI. LNCS, vol. 8400, pp. 145–192. Springer, Heidelberg (2014). doi:10.​1007/​978-3-642-55099-7_​5 CrossRef
60.
Oliveira, B.C.D.S., Schrijvers, T.: Cook, W.r.: MRI: modular reasoning about interference in incremental programming. J. Funct. Program. 22(6), 797–852 (2012)MathSciNetCrossRefMATH
61.
Bagherzadeh, M., Rajan, H., Leavens, G.T., Mooney, S.: Translucid contracts for aspect-oriented interfaces. In: Proceedings of the 9th Workshop on Foundations of Aspect-oriented Languages, FOAL 2010 (2010)
62.
Figueroa, I., Schrijvers, T., Tabareau, N., Tanter, E.: Compositional reasoning about aspect interference. In: Proceedings of the 13th International Conference on Modularity, MODULARITY 2014, pp. 133–144. ACM, New York (2014)
63.
Leavens, G.T., Weihl, W.E.: Specification and verification of object-oriented programs using supertype abstraction. Acta Inf. 32(8), 705–778 (1995)MathSciNetCrossRefMATH
64.
Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811–1841 (1994)CrossRef
65.
Long, Y., Mooney, S.L., Sondag, T., Rajan, H.: Implicit invocation meets safe, implicit concurrency. In: Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 63–72. ACM, New York (2010)
Metadaten
Titel
Modular Reasoning in the Presence of Event Subtyping
verfasst von
Mehdi Bagherzadeh
Robert Dyer
Rex D. Fernando
José Sánchez
Hridesh Rajan
Copyright-Jahr
2016
Buch
Transactions on Modularity and Composition I

Print ISBN: 978-3-319-46968-3

Electronic ISBN: 978-3-319-46969-0

Copyright-Jahr: 2016

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