Skip to main content

2016 | OriginalPaper | Buchkapitel

Programming with Emergent Gummy Modules

verfasst von : Somayeh Malakuti

Erschienen in: Transactions on Modularity and Composition I

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Emergent behavior is generally defined as the appearance of complex behavior out of multiplicity of relatively simple interactions. Although significant amount of research has been dedicated to develop algorithms for detecting emergent behavior, there is no specific attempt to provide suitable linguistic abstractions to modularize emergent behavior and its related concerns. This results in the implementations that are complex and hard to maintain. In this paper, we identify three characteristic features of emergent behavior from the perspective of programming languages, and accordingly outline the shortcomings of current languages to properly program and modularize emergent behavior. We introduce emergent gummy modules, which are dedicated linguistic abstractions to define the appearance and disappearance conditions of emergent behavior as well as its utilization operations as one holistic module. We explain the implementation of emergent gummy modules in the GummyJ language, and illustrate that they improve the modularity of implementations. We represent the event processing semantics of GummyJ in UPPAAL simulation and model checking toolset.

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!

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!

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!

Literatur
2.
Zurück zum Zitat Holland, O.T.: Taxonomy for the modeling and simulation of emergent behavior systems. In: Proceedings of the 2007 Spring Simulation Multiconference, vol. 2. Society for Computer Simulation International (2007) Holland, O.T.: Taxonomy for the modeling and simulation of emergent behavior systems. In: Proceedings of the 2007 Spring Simulation Multiconference, vol. 2. Society for Computer Simulation International (2007)
3.
Zurück zum Zitat Resnick, M.: Turtles, Termites, and Traffic Jams: Explorations in Massively Parallel Microworlds (Complex Adaptive Systems). A Bradford Book, Cambridge (1997) Resnick, M.: Turtles, Termites, and Traffic Jams: Explorations in Massively Parallel Microworlds (Complex Adaptive Systems). A Bradford Book, Cambridge (1997)
4.
Zurück zum Zitat 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 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
5.
Zurück zum Zitat Aksit, M., Wakita, K., Bosch, J., Bergmans, L., Yonezawa, A.: Abstracting object interactions using composition filters. In: Guerraoui, R., Nierstrasz, O., Riveill, M. (eds.) ECOOP 1993. LNCS, vol. 791, pp. 152–184. Springer, Heidelberg (1994). doi:10.1007/BFb0017540 CrossRef Aksit, M., Wakita, K., Bosch, J., Bergmans, L., Yonezawa, A.: Abstracting object interactions using composition filters. In: Guerraoui, R., Nierstrasz, O., Riveill, M. (eds.) ECOOP 1993. LNCS, vol. 791, pp. 152–184. Springer, Heidelberg (1994). doi:10.​1007/​BFb0017540 CrossRef
6.
Zurück zum Zitat Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. J. Object Technol. 7(3), 125–151 (2008)CrossRef Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. J. Object Technol. 7(3), 125–151 (2008)CrossRef
7.
Zurück zum Zitat Malakuti, S., Aksit, M.: Emergent gummy modules: modular representation of emergent behavior. In: GPCE 2014. ACM, New York (2014) Malakuti, S., Aksit, M.: Emergent gummy modules: modular representation of emergent behavior. In: GPCE 2014. ACM, New York (2014)
9.
Zurück zum Zitat Fisch, D., Janicke, M., Sick, B., Muller-Schloer, C.: Quantitative emergence - a refined approach based on divergence measures. In: SASO 2010, pp. 94–103, September 2010 Fisch, D., Janicke, M., Sick, B., Muller-Schloer, C.: Quantitative emergence - a refined approach based on divergence measures. In: SASO 2010, pp. 94–103, September 2010
10.
Zurück zum Zitat Chen, C.C.: Complex event types for agent-based simulation. Ph.D. thesis, University College London (2009) Chen, C.C.: Complex event types for agent-based simulation. Ph.D. thesis, University College London (2009)
11.
Zurück zum Zitat Kubík, A.: Toward a formalization of emergence. Artif. Life 9(1), 41–65 (2002)CrossRef Kubík, A.: Toward a formalization of emergence. Artif. Life 9(1), 41–65 (2002)CrossRef
12.
Zurück zum Zitat Schutz, W.M.: Getting started with complex event processing nodes. White paper, IBM Software Services for WebSphere Schutz, W.M.: Getting started with complex event processing nodes. White paper, IBM Software Services for WebSphere
13.
Zurück zum Zitat Sen, R., Cross, A., Vashistha, A., Padmanabhan, V.N., Cutrell, E., Thies, W.: Accurate speed and density measurement for road traffic in India. In: ACM DEV 2013. ACM (2013) Sen, R., Cross, A., Vashistha, A., Padmanabhan, V.N., Cutrell, E., Thies, W.: Accurate speed and density measurement for road traffic in India. In: ACM DEV 2013. ACM (2013)
14.
Zurück zum Zitat Bouarfa, S., Blom, H., Curran, R., Everdij, M.: Agent-based modeling and simulation of emergent behavior in air transportation. Complex Adapt. Syst. Model. 1(1), 1–15 (2013)CrossRef Bouarfa, S., Blom, H., Curran, R., Everdij, M.: Agent-based modeling and simulation of emergent behavior in air transportation. Complex Adapt. Syst. Model. 1(1), 1–15 (2013)CrossRef
17.
Zurück zum Zitat Gasiunas, V., Satabin, L., Mezini, M., Núñez, A., Noyé, J.: EScala: modular event-driven object interactions in scala. In: AOSD 2011. ACM (2011) Gasiunas, V., Satabin, L., Mezini, M., Núñez, A., Noyé, J.: EScala: modular event-driven object interactions in scala. In: AOSD 2011. ACM (2011)
18.
Zurück zum Zitat Zhuang, Y., Chiba, S.: Method slots: supporting methods, events, and advices by a single language construct. In: AOSD 2013. ACM (2013) Zhuang, Y., Chiba, S.: Method slots: supporting methods, events, and advices by a single language construct. In: AOSD 2013. ACM (2013)
19.
Zurück zum Zitat Mezini, M., Ostermann, K.: Conquering aspects with Caesar. In: AOSD 2003. ACM Press (2003) Mezini, M., Ostermann, K.: Conquering aspects with Caesar. In: AOSD 2003. ACM Press (2003)
20.
Zurück zum Zitat Sakurai, K., Masuhara, H., Ubayashi, N., Matsuura, S., Komiya, S.: Association aspects. In: AOSD 2004. ACM Press (2004) Sakurai, K., Masuhara, H., Ubayashi, N., Matsuura, S., Komiya, S.: Association aspects. In: AOSD 2004. ACM Press (2004)
22.
Zurück zum Zitat Vanderperren, W., Suvée, D., Cibrán, M.A., Fraine, B.: Stateful aspects in JAsCo. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 167–181. Springer, Heidelberg (2005). doi:10.1007/11550679_13 CrossRef Vanderperren, W., Suvée, D., Cibrán, M.A., Fraine, B.: Stateful aspects in JAsCo. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 167–181. Springer, Heidelberg (2005). doi:10.​1007/​11550679_​13 CrossRef
23.
Zurück zum Zitat Pavel, C.A., Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Moor, O.D., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA 2005. ACM (2005) Pavel, C.A., Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Moor, O.D., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA 2005. ACM (2005)
24.
Zurück zum Zitat Malakuti, S., Akşit, M.: Event modules: modularizing domain-specific crosscutting RV concerns. In: Chiba, S., Tanter, É., Bodden, E., Maoz, S., Kienzle, J. (eds.) Transactions on Aspect-Oriented Software Development XI. LNCS, vol. 8400, pp. 27–69. Springer, Heidelberg (2014). doi:10.1007/978-3-642-55099-7_2 CrossRef Malakuti, S., Akşit, M.: Event modules: modularizing domain-specific crosscutting RV concerns. In: Chiba, S., Tanter, É., Bodden, E., Maoz, S., Kienzle, J. (eds.) Transactions on Aspect-Oriented Software Development XI. LNCS, vol. 8400, pp. 27–69. Springer, Heidelberg (2014). doi:10.​1007/​978-3-642-55099-7_​2 CrossRef
25.
Zurück zum Zitat Appeltauer, M., Hirschfeld, R., Masuhara, H., Haupt, M., Kawauchi, K.: Event-specific software composition in context-oriented programming. In: Baudry, B., Wohlstadter, E. (eds.) SC 2010. LNCS, vol. 6144, pp. 50–65. Springer, Heidelberg (2010). doi:10.1007/978-3-642-14046-4_4 CrossRef Appeltauer, M., Hirschfeld, R., Masuhara, H., Haupt, M., Kawauchi, K.: Event-specific software composition in context-oriented programming. In: Baudry, B., Wohlstadter, E. (eds.) SC 2010. LNCS, vol. 6144, pp. 50–65. Springer, Heidelberg (2010). doi:10.​1007/​978-3-642-14046-4_​4 CrossRef
26.
Zurück zum Zitat Núñez, A., Noyé, J., Gasiūnas, V.: Declarative definition of contexts with polymorphic events. In: COP 2009. ACM (2009) Núñez, A., Noyé, J., Gasiūnas, V.: Declarative definition of contexts with polymorphic events. In: COP 2009. ACM (2009)
27.
Zurück zum Zitat Kamina, T., Aotani, T., Masuhara, H.: EventCJ: a context-oriented programming language with declarative event-based context transition. In: AOSD 2011. ACM (2011) Kamina, T., Aotani, T., Masuhara, H.: EventCJ: a context-oriented programming language with declarative event-based context transition. In: AOSD 2011. ACM (2011)
28.
Zurück zum Zitat Kamina, T., Aotani, T., Masuhara, H.: Generalized layer activation mechanism through contexts and subscribers. In: MODULARITY 2015. ACM, New York (2015) Kamina, T., Aotani, T., Masuhara, H.: Generalized layer activation mechanism through contexts and subscribers. In: MODULARITY 2015. ACM, New York (2015)
29.
Zurück zum Zitat Malakuti, S.: Event composition model: achieving naturalness in runtime enforcement. Ph.D. thesis, University of Twente (2011) Malakuti, S.: Event composition model: achieving naturalness in runtime enforcement. Ph.D. thesis, University of Twente (2011)
30.
Zurück zum Zitat Malakuti, S., Aksit, M.: Event-based modularization: how emergent behavioral patterns must be modularized? In: FOAL 2014. ACM (2014) Malakuti, S., Aksit, M.: Event-based modularization: how emergent behavioral patterns must be modularized? In: FOAL 2014. ACM (2014)
33.
Zurück zum Zitat Gonzlez, S., Mens, K., Cdiz, A.: Designing reusable classes. J. Object Oriented Program. 1(5), 22–35 (1988) Gonzlez, S., Mens, K., Cdiz, A.: Designing reusable classes. J. Object Oriented Program. 1(5), 22–35 (1988)
34.
Zurück zum Zitat Fayad, M., Schmidt, D.C.: Object-oriented application frameworks. Commun. ACM 40(10), 32 (1997). Special Issue on Object-Oriented Application FrameworksCrossRef Fayad, M., Schmidt, D.C.: Object-oriented application frameworks. Commun. ACM 40(10), 32 (1997). Special Issue on Object-Oriented Application FrameworksCrossRef
35.
Zurück zum Zitat Johansen, M.F.: Domain specific languages versus frameworks. Master thesis, Department of Informatics, University of Oslo (2009) Johansen, M.F.: Domain specific languages versus frameworks. Master thesis, Department of Informatics, University of Oslo (2009)
36.
Zurück zum Zitat Malakuti, S., Aksit, M.: Event-based modularization of reactive systems. In: Agha, G., Igarashi, A., Kobayashi, N., Masuhara, H., Matsuoka, S., Shibayama, E., Taura, K. (eds.) Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. LNCS, vol. 8665, pp. 367–407. Springer, Heidelberg (2014). doi:10.1007/978-3-662-44471-9_16 Malakuti, S., Aksit, M.: Event-based modularization of reactive systems. In: Agha, G., Igarashi, A., Kobayashi, N., Masuhara, H., Matsuoka, S., Shibayama, E., Taura, K. (eds.) Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. LNCS, vol. 8665, pp. 367–407. Springer, Heidelberg (2014). doi:10.​1007/​978-3-662-44471-9_​16
37.
Zurück zum Zitat Cazzola, W., Vacchi, E.: Fine-grained annotations for pointcuts with a finer granularity. In: SAC 2013. ACM (2013) Cazzola, W., Vacchi, E.: Fine-grained annotations for pointcuts with a finer granularity. In: SAC 2013. ACM (2013)
Metadaten
Titel
Programming with Emergent Gummy Modules
verfasst von
Somayeh Malakuti
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-46969-0_3