Emergent Gummy Modules: Modular Representation of Emergent Behavior

Somayeh Malakuti Khah Olun Abadi, Mehmet Aksit

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    21 Downloads (Pure)

    Abstract

    Emergent behavior is generally defined as the appearance of complex behavior out of multiplicity of relatively simple interactions. Nowadays, there are various kinds of software systems that deal with detecting the emergence of certain behavior in environment, representing it in the software and providing means to manipulate the behavior. Where significant amount of research has been dedicated to develop algorithms for detecting emergent behavior, there is no dedicated attempt to provide suitable linguistic abstractions to modularize emergent behavior and its related concerns. This results in implementations that are complex and hard to maintain. In this paper, we identify three characteristic features of emergent behavior, and outline the shortcomings of current languages to properly program and modularize emergent behavior. We introduce emergent gummy modules as dedicated linguistic abstractions, which facilitate defining 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 programs in UPPAAL model checker and verify their correctness.
    Original languageUndefined
    Title of host publicationProceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery (ACM)
    Pages15-24
    Number of pages10
    ISBN (Print)978-1-4503-3161-6
    DOIs
    Publication statusPublished - Sep 2014

    Publication series

    Name
    PublisherACM

    Keywords

    • EWI-25722
    • event-based composition
    • event-based modularization
    • IR-94638
    • Emergent behavior
    • METIS-309894
    • aspect-oriented modularization

    Cite this

    Malakuti Khah Olun Abadi, S., & Aksit, M. (2014). Emergent Gummy Modules: Modular Representation of Emergent Behavior. In Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014 (pp. 15-24). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2658761.2658764
    Malakuti Khah Olun Abadi, Somayeh ; Aksit, Mehmet. / Emergent Gummy Modules: Modular Representation of Emergent Behavior. Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014. New York : Association for Computing Machinery (ACM), 2014. pp. 15-24
    @inproceedings{ed463093485a4f26b93a307484ab7650,
    title = "Emergent Gummy Modules: Modular Representation of Emergent Behavior",
    abstract = "Emergent behavior is generally defined as the appearance of complex behavior out of multiplicity of relatively simple interactions. Nowadays, there are various kinds of software systems that deal with detecting the emergence of certain behavior in environment, representing it in the software and providing means to manipulate the behavior. Where significant amount of research has been dedicated to develop algorithms for detecting emergent behavior, there is no dedicated attempt to provide suitable linguistic abstractions to modularize emergent behavior and its related concerns. This results in implementations that are complex and hard to maintain. In this paper, we identify three characteristic features of emergent behavior, and outline the shortcomings of current languages to properly program and modularize emergent behavior. We introduce emergent gummy modules as dedicated linguistic abstractions, which facilitate defining 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 programs in UPPAAL model checker and verify their correctness.",
    keywords = "EWI-25722, event-based composition, event-based modularization, IR-94638, Emergent behavior, METIS-309894, aspect-oriented modularization",
    author = "{Malakuti Khah Olun Abadi}, Somayeh and Mehmet Aksit",
    note = "10.1145/2658761.2658764",
    year = "2014",
    month = "9",
    doi = "10.1145/2658761.2658764",
    language = "Undefined",
    isbn = "978-1-4503-3161-6",
    publisher = "Association for Computing Machinery (ACM)",
    pages = "15--24",
    booktitle = "Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014",
    address = "United States",

    }

    Malakuti Khah Olun Abadi, S & Aksit, M 2014, Emergent Gummy Modules: Modular Representation of Emergent Behavior. in Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014. Association for Computing Machinery (ACM), New York, pp. 15-24. https://doi.org/10.1145/2658761.2658764

    Emergent Gummy Modules: Modular Representation of Emergent Behavior. / Malakuti Khah Olun Abadi, Somayeh; Aksit, Mehmet.

    Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014. New York : Association for Computing Machinery (ACM), 2014. p. 15-24.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Emergent Gummy Modules: Modular Representation of Emergent Behavior

    AU - Malakuti Khah Olun Abadi, Somayeh

    AU - Aksit, Mehmet

    N1 - 10.1145/2658761.2658764

    PY - 2014/9

    Y1 - 2014/9

    N2 - Emergent behavior is generally defined as the appearance of complex behavior out of multiplicity of relatively simple interactions. Nowadays, there are various kinds of software systems that deal with detecting the emergence of certain behavior in environment, representing it in the software and providing means to manipulate the behavior. Where significant amount of research has been dedicated to develop algorithms for detecting emergent behavior, there is no dedicated attempt to provide suitable linguistic abstractions to modularize emergent behavior and its related concerns. This results in implementations that are complex and hard to maintain. In this paper, we identify three characteristic features of emergent behavior, and outline the shortcomings of current languages to properly program and modularize emergent behavior. We introduce emergent gummy modules as dedicated linguistic abstractions, which facilitate defining 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 programs in UPPAAL model checker and verify their correctness.

    AB - Emergent behavior is generally defined as the appearance of complex behavior out of multiplicity of relatively simple interactions. Nowadays, there are various kinds of software systems that deal with detecting the emergence of certain behavior in environment, representing it in the software and providing means to manipulate the behavior. Where significant amount of research has been dedicated to develop algorithms for detecting emergent behavior, there is no dedicated attempt to provide suitable linguistic abstractions to modularize emergent behavior and its related concerns. This results in implementations that are complex and hard to maintain. In this paper, we identify three characteristic features of emergent behavior, and outline the shortcomings of current languages to properly program and modularize emergent behavior. We introduce emergent gummy modules as dedicated linguistic abstractions, which facilitate defining 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 programs in UPPAAL model checker and verify their correctness.

    KW - EWI-25722

    KW - event-based composition

    KW - event-based modularization

    KW - IR-94638

    KW - Emergent behavior

    KW - METIS-309894

    KW - aspect-oriented modularization

    U2 - 10.1145/2658761.2658764

    DO - 10.1145/2658761.2658764

    M3 - Conference contribution

    SN - 978-1-4503-3161-6

    SP - 15

    EP - 24

    BT - Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014

    PB - Association for Computing Machinery (ACM)

    CY - New York

    ER -

    Malakuti Khah Olun Abadi S, Aksit M. Emergent Gummy Modules: Modular Representation of Emergent Behavior. In Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014. New York: Association for Computing Machinery (ACM). 2014. p. 15-24 https://doi.org/10.1145/2658761.2658764