MODULARITY Companion 2016 – Author Index |
Contents -
Abstracts -
Authors
|
Alam, Omar |
MODULARITY Companion '16-MOMO: "On the Modularization Provided ..."
On the Modularization Provided by Concern-Oriented Reuse
Matthias Schöttle, Omar Alam, Jörg Kienzle, and Gunter Mussbacher (McGill University, Canada) Reuse is essential in modern software engineering, and hence also in the context of model-driven engineering (MDE). Concern-Oriented Reuse (CORE) proposes a new way of structuring model-driven software development where models of the system are modularized by domains of abstraction within units of reuse called concerns. Within a concern, models are further decomposed and modularized by views and features. High-level concerns can reuse lower-level concerns, and models within a concern can extend other models belonging to the same concern, resulting in complex inter- and intra-concern dependencies. To clearly specify what dependencies are allowed between models belonging to the same or to different concerns, CORE advocates a three-part interface to describe each concern (variation, customization, and usage interfaces). This paper presents the CORE metamodel that formalizes the CORE concepts and enables the integration of different mod- elling languages within the CORE framework. @InProceedings{MODULARITY Companion16p184, author = {Matthias Schöttle and Omar Alam and Jörg Kienzle and Gunter Mussbacher}, title = {On the Modularization Provided by Concern-Oriented Reuse}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {184--189}, doi = {}, year = {2016}, } Info |
|
Beugnard, Antoine |
MODULARITY Companion '16-MOMO: "Addressing Modularity for ..."
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation
Fahad R. Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, and Christophe Guychard (IRISA, France; Telecom Bretagne, France; Institut Mines-Telecom, France; Openflexo, France) Model-Driven Engineering (MDE) proposes to modularize complex software-intensive systems using multiple models where each module serves a specific concern. These concerns of a system might be diverse and the use of multiple heterogeneous models often becomes inevitable. These models adhere to different paradigms and use distinct formalisms, which makes it hard to ensure consistency among them. Moreover, these models might contain certain concepts (at times overlapping) that are reused for building cross-concern views/models. Maintaining models using separation of concerns in a heterogeneous modeling space becomes difficult. Traditional MDE suggests the use of model transformations to maintain the mappings between heterogeneous models. In this paper, we introduce a different approach based on model federation to map heterogeneous models. In contrast to traditional approaches where heterogeneous models are gathered in a single technological space, model federation keeps them in their own technological spaces. We provide a mechanism so that elements of these models are accessible for the development of cross-concern views/models from their respective technological spaces. @InProceedings{MODULARITY Companion16p206, author = {Fahad R. Golra and Antoine Beugnard and Fabien Dagnat and Sylvain Guerin and Christophe Guychard}, title = {Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {206--211}, doi = {}, year = {2016}, } |
|
Brand, Mark van den |
MODULARITY Companion '16-MOMO: "Modular Multilevel Metamodeling ..."
Modular Multilevel Metamodeling with MetaMod
Ana Maria Şutîi, Tom Verhoeff, and Mark van den Brand (Eindhoven University of Technology, Netherlands) The increase of software driven functionalities in products leads to more complex software. Helping with the construction of this complex software, models in model-driven engineering have become larger and more complex. As a consequence, the models are harder to understand and the need to reuse models is augmented. Given these two goals: increasing understandability and reuse of models, and inspired by modular programming in the realm of general software development and its role in fulfilling these goals (among others), we set to explore modularity mechanisms for models. Although work has been done to address the issue of modularity in models, there is no commonly agreed method for doing it. Ours is an attempt to discover the basic modularity elements for models. We have done this in the context of a simple multilevel metamodeling language that we designed, MetaMod, where we introduced a few modularity mechanisms: groups, fragment abstractions and applications. To test the feasibility of our ideas, we created a prototype of this language and a few exploratory examples in the language. @InProceedings{MODULARITY Companion16p212, author = {Ana Maria Şutîi and Tom Verhoeff and Mark van den Brand}, title = {Modular Multilevel Metamodeling with MetaMod}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {212--217}, doi = {}, year = {2016}, } |
|
Bui, Thi Mai Anh |
MODULARITY Companion '16-MOMO: "Separation of Concerns in ..."
Separation of Concerns in Epidemiological Modelling
Thi Mai Anh Bui, Mikal Ziane, Serge Stinckwich, Tuong Vinh Ho, Benjamin Roche, and Nick Papoulias (Vietnam National University, Vietnam; UMMISCO, France; UPMC, France; Paris Descartes University, France; LIP6, France) Modeling and simulation have been heavily used in epidemiology, for instance to study the transmission of infectious diseases, their pathogenicity and their propagation. A major hindrance to modeling in epidemiology is the mixing of concerns that ought to be separated. The most obvious one is the computer implementation that should not be mixed with domain aspects. But several domain concerns should also be separated from the core epidemiological ones. These include the distribution of the studied populations into spatial regions, age intervals, sexes, species, viral strains... We propose an approach that relies on a mathematical model of the dynamics of a compartment-based population. The separation of domain concerns is provided by expressing each one as a stochastic automaton and combining them with a tensor sum. A DSL, Kendrick, and a tool, support this approach that has been validated on several case studies. @InProceedings{MODULARITY Companion16p196, author = {Thi Mai Anh Bui and Mikal Ziane and Serge Stinckwich and Tuong Vinh Ho and Benjamin Roche and Nick Papoulias}, title = {Separation of Concerns in Epidemiological Modelling}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {196--200}, doi = {}, year = {2016}, } |
|
Dagnat, Fabien |
MODULARITY Companion '16-MOMO: "Addressing Modularity for ..."
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation
Fahad R. Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, and Christophe Guychard (IRISA, France; Telecom Bretagne, France; Institut Mines-Telecom, France; Openflexo, France) Model-Driven Engineering (MDE) proposes to modularize complex software-intensive systems using multiple models where each module serves a specific concern. These concerns of a system might be diverse and the use of multiple heterogeneous models often becomes inevitable. These models adhere to different paradigms and use distinct formalisms, which makes it hard to ensure consistency among them. Moreover, these models might contain certain concepts (at times overlapping) that are reused for building cross-concern views/models. Maintaining models using separation of concerns in a heterogeneous modeling space becomes difficult. Traditional MDE suggests the use of model transformations to maintain the mappings between heterogeneous models. In this paper, we introduce a different approach based on model federation to map heterogeneous models. In contrast to traditional approaches where heterogeneous models are gathered in a single technological space, model federation keeps them in their own technological spaces. We provide a mechanism so that elements of these models are accessible for the development of cross-concern views/models from their respective technological spaces. @InProceedings{MODULARITY Companion16p206, author = {Fahad R. Golra and Antoine Beugnard and Fabien Dagnat and Sylvain Guerin and Christophe Guychard}, title = {Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {206--211}, doi = {}, year = {2016}, } |
|
Fleck, Martin |
MODULARITY Companion '16-MOMO: "Towards Generic Modularization ..."
Towards Generic Modularization Transformations
Martin Fleck, Javier Troya, and Manuel Wimmer (Vienna University of Technology, Austria; University of Seville, Spain) Modularization concepts have been introduced in several modeling languages in order to tackle the problem that real-world models quickly become large monolithic artifacts. Having these concepts at hand allows for structuring models during modeling activities. However, legacy models often lack a proper structure, and thus, still remain monolithic artifacts. In order to tackle this problem, we present in this paper a modularization transformation which can be reused for several modeling languages by binding their concrete concepts to the generic ones offered by the modularization transformation. This binding is enough to reuse different modularization strategies provided by search-based model transformations. We demonstrate the applicability of the modularization approach for Ecore models. @InProceedings{MODULARITY Companion16p190, author = {Martin Fleck and Javier Troya and Manuel Wimmer}, title = {Towards Generic Modularization Transformations}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {190--195}, doi = {}, year = {2016}, } |
|
Fuentes, Lidia |
MODULARITY Companion '16-MOMO: "Towards Contractual Interfaces ..."
Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations
Jose-Miguel Horcas, Mónica Pinto, Lidia Fuentes, and Steffen Zschaler (University of Málaga, Spain; King's College London, UK) The quality of a software system can be measured by the extent to which it possesses a desired combination of quality attributes (QAs). While some QAs are achieved implicitly through the interaction of various functional components of the system, others (e.g., security) can be encapsulated in dedicated software components. These QAs are known as functional quality attributes (FQAs). As applications may require different FQAs, and each FQA can be composed of many concerns (e.g., access control and authentication), integrating FQAs is very complex and requires dedicated expertise. Software architects are required to manually define FQA components, identify appropriate points in their architecture where to weave them, and verify that the composition of these FQA components with the other components is correct. This is a complex and error prone process. In our previous work we defined reusable FQAs by encapsulating them as aspectual architecture models that can be woven into a base architecture. So far, the joinpoints for weaving had to be identified manually. This made it difficult for software architects to verify that they have woven all the necessary FQAs into all the right places. In this paper, we address this problem by introducing a notion of contract for FQAs so that the correct application of an FQA (or one of its concerns) can be checked or, alternatively, appropriate binding points can be identified and proposed to the software architect automatically. @InProceedings{MODULARITY Companion16p201, author = {Jose-Miguel Horcas and Mónica Pinto and Lidia Fuentes and Steffen Zschaler}, title = {Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {201--205}, doi = {}, year = {2016}, } |
|
Golra, Fahad R. |
MODULARITY Companion '16-MOMO: "Addressing Modularity for ..."
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation
Fahad R. Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, and Christophe Guychard (IRISA, France; Telecom Bretagne, France; Institut Mines-Telecom, France; Openflexo, France) Model-Driven Engineering (MDE) proposes to modularize complex software-intensive systems using multiple models where each module serves a specific concern. These concerns of a system might be diverse and the use of multiple heterogeneous models often becomes inevitable. These models adhere to different paradigms and use distinct formalisms, which makes it hard to ensure consistency among them. Moreover, these models might contain certain concepts (at times overlapping) that are reused for building cross-concern views/models. Maintaining models using separation of concerns in a heterogeneous modeling space becomes difficult. Traditional MDE suggests the use of model transformations to maintain the mappings between heterogeneous models. In this paper, we introduce a different approach based on model federation to map heterogeneous models. In contrast to traditional approaches where heterogeneous models are gathered in a single technological space, model federation keeps them in their own technological spaces. We provide a mechanism so that elements of these models are accessible for the development of cross-concern views/models from their respective technological spaces. @InProceedings{MODULARITY Companion16p206, author = {Fahad R. Golra and Antoine Beugnard and Fabien Dagnat and Sylvain Guerin and Christophe Guychard}, title = {Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {206--211}, doi = {}, year = {2016}, } |
|
Guerin, Sylvain |
MODULARITY Companion '16-MOMO: "Addressing Modularity for ..."
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation
Fahad R. Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, and Christophe Guychard (IRISA, France; Telecom Bretagne, France; Institut Mines-Telecom, France; Openflexo, France) Model-Driven Engineering (MDE) proposes to modularize complex software-intensive systems using multiple models where each module serves a specific concern. These concerns of a system might be diverse and the use of multiple heterogeneous models often becomes inevitable. These models adhere to different paradigms and use distinct formalisms, which makes it hard to ensure consistency among them. Moreover, these models might contain certain concepts (at times overlapping) that are reused for building cross-concern views/models. Maintaining models using separation of concerns in a heterogeneous modeling space becomes difficult. Traditional MDE suggests the use of model transformations to maintain the mappings between heterogeneous models. In this paper, we introduce a different approach based on model federation to map heterogeneous models. In contrast to traditional approaches where heterogeneous models are gathered in a single technological space, model federation keeps them in their own technological spaces. We provide a mechanism so that elements of these models are accessible for the development of cross-concern views/models from their respective technological spaces. @InProceedings{MODULARITY Companion16p206, author = {Fahad R. Golra and Antoine Beugnard and Fabien Dagnat and Sylvain Guerin and Christophe Guychard}, title = {Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {206--211}, doi = {}, year = {2016}, } |
|
Guychard, Christophe |
MODULARITY Companion '16-MOMO: "Addressing Modularity for ..."
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation
Fahad R. Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, and Christophe Guychard (IRISA, France; Telecom Bretagne, France; Institut Mines-Telecom, France; Openflexo, France) Model-Driven Engineering (MDE) proposes to modularize complex software-intensive systems using multiple models where each module serves a specific concern. These concerns of a system might be diverse and the use of multiple heterogeneous models often becomes inevitable. These models adhere to different paradigms and use distinct formalisms, which makes it hard to ensure consistency among them. Moreover, these models might contain certain concepts (at times overlapping) that are reused for building cross-concern views/models. Maintaining models using separation of concerns in a heterogeneous modeling space becomes difficult. Traditional MDE suggests the use of model transformations to maintain the mappings between heterogeneous models. In this paper, we introduce a different approach based on model federation to map heterogeneous models. In contrast to traditional approaches where heterogeneous models are gathered in a single technological space, model federation keeps them in their own technological spaces. We provide a mechanism so that elements of these models are accessible for the development of cross-concern views/models from their respective technological spaces. @InProceedings{MODULARITY Companion16p206, author = {Fahad R. Golra and Antoine Beugnard and Fabien Dagnat and Sylvain Guerin and Christophe Guychard}, title = {Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {206--211}, doi = {}, year = {2016}, } |
|
Ho, Tuong Vinh |
MODULARITY Companion '16-MOMO: "Separation of Concerns in ..."
Separation of Concerns in Epidemiological Modelling
Thi Mai Anh Bui, Mikal Ziane, Serge Stinckwich, Tuong Vinh Ho, Benjamin Roche, and Nick Papoulias (Vietnam National University, Vietnam; UMMISCO, France; UPMC, France; Paris Descartes University, France; LIP6, France) Modeling and simulation have been heavily used in epidemiology, for instance to study the transmission of infectious diseases, their pathogenicity and their propagation. A major hindrance to modeling in epidemiology is the mixing of concerns that ought to be separated. The most obvious one is the computer implementation that should not be mixed with domain aspects. But several domain concerns should also be separated from the core epidemiological ones. These include the distribution of the studied populations into spatial regions, age intervals, sexes, species, viral strains... We propose an approach that relies on a mathematical model of the dynamics of a compartment-based population. The separation of domain concerns is provided by expressing each one as a stochastic automaton and combining them with a tensor sum. A DSL, Kendrick, and a tool, support this approach that has been validated on several case studies. @InProceedings{MODULARITY Companion16p196, author = {Thi Mai Anh Bui and Mikal Ziane and Serge Stinckwich and Tuong Vinh Ho and Benjamin Roche and Nick Papoulias}, title = {Separation of Concerns in Epidemiological Modelling}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {196--200}, doi = {}, year = {2016}, } |
|
Horcas, Jose-Miguel |
MODULARITY Companion '16-MOMO: "Towards Contractual Interfaces ..."
Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations
Jose-Miguel Horcas, Mónica Pinto, Lidia Fuentes, and Steffen Zschaler (University of Málaga, Spain; King's College London, UK) The quality of a software system can be measured by the extent to which it possesses a desired combination of quality attributes (QAs). While some QAs are achieved implicitly through the interaction of various functional components of the system, others (e.g., security) can be encapsulated in dedicated software components. These QAs are known as functional quality attributes (FQAs). As applications may require different FQAs, and each FQA can be composed of many concerns (e.g., access control and authentication), integrating FQAs is very complex and requires dedicated expertise. Software architects are required to manually define FQA components, identify appropriate points in their architecture where to weave them, and verify that the composition of these FQA components with the other components is correct. This is a complex and error prone process. In our previous work we defined reusable FQAs by encapsulating them as aspectual architecture models that can be woven into a base architecture. So far, the joinpoints for weaving had to be identified manually. This made it difficult for software architects to verify that they have woven all the necessary FQAs into all the right places. In this paper, we address this problem by introducing a notion of contract for FQAs so that the correct application of an FQA (or one of its concerns) can be checked or, alternatively, appropriate binding points can be identified and proposed to the software architect automatically. @InProceedings{MODULARITY Companion16p201, author = {Jose-Miguel Horcas and Mónica Pinto and Lidia Fuentes and Steffen Zschaler}, title = {Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {201--205}, doi = {}, year = {2016}, } |
|
Kienzle, Jörg |
MODULARITY Companion '16-MOMO: "On the Modularization Provided ..."
On the Modularization Provided by Concern-Oriented Reuse
Matthias Schöttle, Omar Alam, Jörg Kienzle, and Gunter Mussbacher (McGill University, Canada) Reuse is essential in modern software engineering, and hence also in the context of model-driven engineering (MDE). Concern-Oriented Reuse (CORE) proposes a new way of structuring model-driven software development where models of the system are modularized by domains of abstraction within units of reuse called concerns. Within a concern, models are further decomposed and modularized by views and features. High-level concerns can reuse lower-level concerns, and models within a concern can extend other models belonging to the same concern, resulting in complex inter- and intra-concern dependencies. To clearly specify what dependencies are allowed between models belonging to the same or to different concerns, CORE advocates a three-part interface to describe each concern (variation, customization, and usage interfaces). This paper presents the CORE metamodel that formalizes the CORE concepts and enables the integration of different mod- elling languages within the CORE framework. @InProceedings{MODULARITY Companion16p184, author = {Matthias Schöttle and Omar Alam and Jörg Kienzle and Gunter Mussbacher}, title = {On the Modularization Provided by Concern-Oriented Reuse}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {184--189}, doi = {}, year = {2016}, } Info |
|
Mussbacher, Gunter |
MODULARITY Companion '16-MOMO: "On the Modularization Provided ..."
On the Modularization Provided by Concern-Oriented Reuse
Matthias Schöttle, Omar Alam, Jörg Kienzle, and Gunter Mussbacher (McGill University, Canada) Reuse is essential in modern software engineering, and hence also in the context of model-driven engineering (MDE). Concern-Oriented Reuse (CORE) proposes a new way of structuring model-driven software development where models of the system are modularized by domains of abstraction within units of reuse called concerns. Within a concern, models are further decomposed and modularized by views and features. High-level concerns can reuse lower-level concerns, and models within a concern can extend other models belonging to the same concern, resulting in complex inter- and intra-concern dependencies. To clearly specify what dependencies are allowed between models belonging to the same or to different concerns, CORE advocates a three-part interface to describe each concern (variation, customization, and usage interfaces). This paper presents the CORE metamodel that formalizes the CORE concepts and enables the integration of different mod- elling languages within the CORE framework. @InProceedings{MODULARITY Companion16p184, author = {Matthias Schöttle and Omar Alam and Jörg Kienzle and Gunter Mussbacher}, title = {On the Modularization Provided by Concern-Oriented Reuse}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {184--189}, doi = {}, year = {2016}, } Info |
|
Papoulias, Nick |
MODULARITY Companion '16-MOMO: "Separation of Concerns in ..."
Separation of Concerns in Epidemiological Modelling
Thi Mai Anh Bui, Mikal Ziane, Serge Stinckwich, Tuong Vinh Ho, Benjamin Roche, and Nick Papoulias (Vietnam National University, Vietnam; UMMISCO, France; UPMC, France; Paris Descartes University, France; LIP6, France) Modeling and simulation have been heavily used in epidemiology, for instance to study the transmission of infectious diseases, their pathogenicity and their propagation. A major hindrance to modeling in epidemiology is the mixing of concerns that ought to be separated. The most obvious one is the computer implementation that should not be mixed with domain aspects. But several domain concerns should also be separated from the core epidemiological ones. These include the distribution of the studied populations into spatial regions, age intervals, sexes, species, viral strains... We propose an approach that relies on a mathematical model of the dynamics of a compartment-based population. The separation of domain concerns is provided by expressing each one as a stochastic automaton and combining them with a tensor sum. A DSL, Kendrick, and a tool, support this approach that has been validated on several case studies. @InProceedings{MODULARITY Companion16p196, author = {Thi Mai Anh Bui and Mikal Ziane and Serge Stinckwich and Tuong Vinh Ho and Benjamin Roche and Nick Papoulias}, title = {Separation of Concerns in Epidemiological Modelling}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {196--200}, doi = {}, year = {2016}, } |
|
Pinto, Mónica |
MODULARITY Companion '16-MOMO: "Towards Contractual Interfaces ..."
Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations
Jose-Miguel Horcas, Mónica Pinto, Lidia Fuentes, and Steffen Zschaler (University of Málaga, Spain; King's College London, UK) The quality of a software system can be measured by the extent to which it possesses a desired combination of quality attributes (QAs). While some QAs are achieved implicitly through the interaction of various functional components of the system, others (e.g., security) can be encapsulated in dedicated software components. These QAs are known as functional quality attributes (FQAs). As applications may require different FQAs, and each FQA can be composed of many concerns (e.g., access control and authentication), integrating FQAs is very complex and requires dedicated expertise. Software architects are required to manually define FQA components, identify appropriate points in their architecture where to weave them, and verify that the composition of these FQA components with the other components is correct. This is a complex and error prone process. In our previous work we defined reusable FQAs by encapsulating them as aspectual architecture models that can be woven into a base architecture. So far, the joinpoints for weaving had to be identified manually. This made it difficult for software architects to verify that they have woven all the necessary FQAs into all the right places. In this paper, we address this problem by introducing a notion of contract for FQAs so that the correct application of an FQA (or one of its concerns) can be checked or, alternatively, appropriate binding points can be identified and proposed to the software architect automatically. @InProceedings{MODULARITY Companion16p201, author = {Jose-Miguel Horcas and Mónica Pinto and Lidia Fuentes and Steffen Zschaler}, title = {Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {201--205}, doi = {}, year = {2016}, } |
|
Roche, Benjamin |
MODULARITY Companion '16-MOMO: "Separation of Concerns in ..."
Separation of Concerns in Epidemiological Modelling
Thi Mai Anh Bui, Mikal Ziane, Serge Stinckwich, Tuong Vinh Ho, Benjamin Roche, and Nick Papoulias (Vietnam National University, Vietnam; UMMISCO, France; UPMC, France; Paris Descartes University, France; LIP6, France) Modeling and simulation have been heavily used in epidemiology, for instance to study the transmission of infectious diseases, their pathogenicity and their propagation. A major hindrance to modeling in epidemiology is the mixing of concerns that ought to be separated. The most obvious one is the computer implementation that should not be mixed with domain aspects. But several domain concerns should also be separated from the core epidemiological ones. These include the distribution of the studied populations into spatial regions, age intervals, sexes, species, viral strains... We propose an approach that relies on a mathematical model of the dynamics of a compartment-based population. The separation of domain concerns is provided by expressing each one as a stochastic automaton and combining them with a tensor sum. A DSL, Kendrick, and a tool, support this approach that has been validated on several case studies. @InProceedings{MODULARITY Companion16p196, author = {Thi Mai Anh Bui and Mikal Ziane and Serge Stinckwich and Tuong Vinh Ho and Benjamin Roche and Nick Papoulias}, title = {Separation of Concerns in Epidemiological Modelling}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {196--200}, doi = {}, year = {2016}, } |
|
Schöttle, Matthias |
MODULARITY Companion '16-MOMO: "On the Modularization Provided ..."
On the Modularization Provided by Concern-Oriented Reuse
Matthias Schöttle, Omar Alam, Jörg Kienzle, and Gunter Mussbacher (McGill University, Canada) Reuse is essential in modern software engineering, and hence also in the context of model-driven engineering (MDE). Concern-Oriented Reuse (CORE) proposes a new way of structuring model-driven software development where models of the system are modularized by domains of abstraction within units of reuse called concerns. Within a concern, models are further decomposed and modularized by views and features. High-level concerns can reuse lower-level concerns, and models within a concern can extend other models belonging to the same concern, resulting in complex inter- and intra-concern dependencies. To clearly specify what dependencies are allowed between models belonging to the same or to different concerns, CORE advocates a three-part interface to describe each concern (variation, customization, and usage interfaces). This paper presents the CORE metamodel that formalizes the CORE concepts and enables the integration of different mod- elling languages within the CORE framework. @InProceedings{MODULARITY Companion16p184, author = {Matthias Schöttle and Omar Alam and Jörg Kienzle and Gunter Mussbacher}, title = {On the Modularization Provided by Concern-Oriented Reuse}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {184--189}, doi = {}, year = {2016}, } Info |
|
Stinckwich, Serge |
MODULARITY Companion '16-MOMO: "Separation of Concerns in ..."
Separation of Concerns in Epidemiological Modelling
Thi Mai Anh Bui, Mikal Ziane, Serge Stinckwich, Tuong Vinh Ho, Benjamin Roche, and Nick Papoulias (Vietnam National University, Vietnam; UMMISCO, France; UPMC, France; Paris Descartes University, France; LIP6, France) Modeling and simulation have been heavily used in epidemiology, for instance to study the transmission of infectious diseases, their pathogenicity and their propagation. A major hindrance to modeling in epidemiology is the mixing of concerns that ought to be separated. The most obvious one is the computer implementation that should not be mixed with domain aspects. But several domain concerns should also be separated from the core epidemiological ones. These include the distribution of the studied populations into spatial regions, age intervals, sexes, species, viral strains... We propose an approach that relies on a mathematical model of the dynamics of a compartment-based population. The separation of domain concerns is provided by expressing each one as a stochastic automaton and combining them with a tensor sum. A DSL, Kendrick, and a tool, support this approach that has been validated on several case studies. @InProceedings{MODULARITY Companion16p196, author = {Thi Mai Anh Bui and Mikal Ziane and Serge Stinckwich and Tuong Vinh Ho and Benjamin Roche and Nick Papoulias}, title = {Separation of Concerns in Epidemiological Modelling}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {196--200}, doi = {}, year = {2016}, } |
|
Şutîi, Ana Maria |
MODULARITY Companion '16-MOMO: "Modular Multilevel Metamodeling ..."
Modular Multilevel Metamodeling with MetaMod
Ana Maria Şutîi, Tom Verhoeff, and Mark van den Brand (Eindhoven University of Technology, Netherlands) The increase of software driven functionalities in products leads to more complex software. Helping with the construction of this complex software, models in model-driven engineering have become larger and more complex. As a consequence, the models are harder to understand and the need to reuse models is augmented. Given these two goals: increasing understandability and reuse of models, and inspired by modular programming in the realm of general software development and its role in fulfilling these goals (among others), we set to explore modularity mechanisms for models. Although work has been done to address the issue of modularity in models, there is no commonly agreed method for doing it. Ours is an attempt to discover the basic modularity elements for models. We have done this in the context of a simple multilevel metamodeling language that we designed, MetaMod, where we introduced a few modularity mechanisms: groups, fragment abstractions and applications. To test the feasibility of our ideas, we created a prototype of this language and a few exploratory examples in the language. @InProceedings{MODULARITY Companion16p212, author = {Ana Maria Şutîi and Tom Verhoeff and Mark van den Brand}, title = {Modular Multilevel Metamodeling with MetaMod}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {212--217}, doi = {}, year = {2016}, } |
|
Troya, Javier |
MODULARITY Companion '16-MOMO: "Towards Generic Modularization ..."
Towards Generic Modularization Transformations
Martin Fleck, Javier Troya, and Manuel Wimmer (Vienna University of Technology, Austria; University of Seville, Spain) Modularization concepts have been introduced in several modeling languages in order to tackle the problem that real-world models quickly become large monolithic artifacts. Having these concepts at hand allows for structuring models during modeling activities. However, legacy models often lack a proper structure, and thus, still remain monolithic artifacts. In order to tackle this problem, we present in this paper a modularization transformation which can be reused for several modeling languages by binding their concrete concepts to the generic ones offered by the modularization transformation. This binding is enough to reuse different modularization strategies provided by search-based model transformations. We demonstrate the applicability of the modularization approach for Ecore models. @InProceedings{MODULARITY Companion16p190, author = {Martin Fleck and Javier Troya and Manuel Wimmer}, title = {Towards Generic Modularization Transformations}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {190--195}, doi = {}, year = {2016}, } |
|
Verhoeff, Tom |
MODULARITY Companion '16-MOMO: "Modular Multilevel Metamodeling ..."
Modular Multilevel Metamodeling with MetaMod
Ana Maria Şutîi, Tom Verhoeff, and Mark van den Brand (Eindhoven University of Technology, Netherlands) The increase of software driven functionalities in products leads to more complex software. Helping with the construction of this complex software, models in model-driven engineering have become larger and more complex. As a consequence, the models are harder to understand and the need to reuse models is augmented. Given these two goals: increasing understandability and reuse of models, and inspired by modular programming in the realm of general software development and its role in fulfilling these goals (among others), we set to explore modularity mechanisms for models. Although work has been done to address the issue of modularity in models, there is no commonly agreed method for doing it. Ours is an attempt to discover the basic modularity elements for models. We have done this in the context of a simple multilevel metamodeling language that we designed, MetaMod, where we introduced a few modularity mechanisms: groups, fragment abstractions and applications. To test the feasibility of our ideas, we created a prototype of this language and a few exploratory examples in the language. @InProceedings{MODULARITY Companion16p212, author = {Ana Maria Şutîi and Tom Verhoeff and Mark van den Brand}, title = {Modular Multilevel Metamodeling with MetaMod}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {212--217}, doi = {}, year = {2016}, } |
|
Wimmer, Manuel |
MODULARITY Companion '16-MOMO: "Towards Generic Modularization ..."
Towards Generic Modularization Transformations
Martin Fleck, Javier Troya, and Manuel Wimmer (Vienna University of Technology, Austria; University of Seville, Spain) Modularization concepts have been introduced in several modeling languages in order to tackle the problem that real-world models quickly become large monolithic artifacts. Having these concepts at hand allows for structuring models during modeling activities. However, legacy models often lack a proper structure, and thus, still remain monolithic artifacts. In order to tackle this problem, we present in this paper a modularization transformation which can be reused for several modeling languages by binding their concrete concepts to the generic ones offered by the modularization transformation. This binding is enough to reuse different modularization strategies provided by search-based model transformations. We demonstrate the applicability of the modularization approach for Ecore models. @InProceedings{MODULARITY Companion16p190, author = {Martin Fleck and Javier Troya and Manuel Wimmer}, title = {Towards Generic Modularization Transformations}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {190--195}, doi = {}, year = {2016}, } |
|
Ziane, Mikal |
MODULARITY Companion '16-MOMO: "Separation of Concerns in ..."
Separation of Concerns in Epidemiological Modelling
Thi Mai Anh Bui, Mikal Ziane, Serge Stinckwich, Tuong Vinh Ho, Benjamin Roche, and Nick Papoulias (Vietnam National University, Vietnam; UMMISCO, France; UPMC, France; Paris Descartes University, France; LIP6, France) Modeling and simulation have been heavily used in epidemiology, for instance to study the transmission of infectious diseases, their pathogenicity and their propagation. A major hindrance to modeling in epidemiology is the mixing of concerns that ought to be separated. The most obvious one is the computer implementation that should not be mixed with domain aspects. But several domain concerns should also be separated from the core epidemiological ones. These include the distribution of the studied populations into spatial regions, age intervals, sexes, species, viral strains... We propose an approach that relies on a mathematical model of the dynamics of a compartment-based population. The separation of domain concerns is provided by expressing each one as a stochastic automaton and combining them with a tensor sum. A DSL, Kendrick, and a tool, support this approach that has been validated on several case studies. @InProceedings{MODULARITY Companion16p196, author = {Thi Mai Anh Bui and Mikal Ziane and Serge Stinckwich and Tuong Vinh Ho and Benjamin Roche and Nick Papoulias}, title = {Separation of Concerns in Epidemiological Modelling}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {196--200}, doi = {}, year = {2016}, } |
|
Zschaler, Steffen |
MODULARITY Companion '16-MOMO: "Towards Contractual Interfaces ..."
Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations
Jose-Miguel Horcas, Mónica Pinto, Lidia Fuentes, and Steffen Zschaler (University of Málaga, Spain; King's College London, UK) The quality of a software system can be measured by the extent to which it possesses a desired combination of quality attributes (QAs). While some QAs are achieved implicitly through the interaction of various functional components of the system, others (e.g., security) can be encapsulated in dedicated software components. These QAs are known as functional quality attributes (FQAs). As applications may require different FQAs, and each FQA can be composed of many concerns (e.g., access control and authentication), integrating FQAs is very complex and requires dedicated expertise. Software architects are required to manually define FQA components, identify appropriate points in their architecture where to weave them, and verify that the composition of these FQA components with the other components is correct. This is a complex and error prone process. In our previous work we defined reusable FQAs by encapsulating them as aspectual architecture models that can be woven into a base architecture. So far, the joinpoints for weaving had to be identified manually. This made it difficult for software architects to verify that they have woven all the necessary FQAs into all the right places. In this paper, we address this problem by introducing a notion of contract for FQAs so that the correct application of an FQA (or one of its concerns) can be checked or, alternatively, appropriate binding points can be identified and proposed to the software architect automatically. @InProceedings{MODULARITY Companion16p201, author = {Jose-Miguel Horcas and Mónica Pinto and Lidia Fuentes and Steffen Zschaler}, title = {Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations}, booktitle = {Proc.\ MODULARITY Companion}, publisher = {ACM}, pages = {201--205}, doi = {}, year = {2016}, } |
25 authors
proc time: 1.05