C2MV2: Consistency and Composition for Managing Variability in Multi-view Systems

Lopez-Herrejon, Roberto E.; Egyed, Alexander

doi:10.1109/csmr.2011.49

Cited by 4 publications

(2 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although the authors consider cross-tree constraints, they do not address context-awareness and its implications for product adaptation. Lopez-Herrejon and Egyed [20] present C2M V2, an ongoing project whose goal consists of applying and extending work on incremental consistency management to SPLs that are developed with compositional approaches. Their proposal includes constraints from several models, providing inter-model consistency.…”

Section: Related Workmentioning

confidence: 99%

Safe adaptation in context-aware feature models

Marinho

Maia

Andrade

et al. 2012

Proceedings of the 4th International Workshop on Feature-Oriented Software Development - FOSD '12

View full text Add to dashboard Cite

Software product lines, usually described using feature models, have proven to be a feasible solution to develop mobile and context-aware applications. These applications use context information to provide services and data for their users from anywhere and at any time. However, building feature models for mobile and context-aware software product lines demands advanced skills of software engineers, since it comprises system and context information. Moreover, to guarantee a correct application execution, these models must be thoroughly specified, composed and verified to check whether some composition and adaptation rules are violated. Although this is an important task, there is a lack of formalization of such rules, which makes it difficult to use those rules for feature models verification. In this paper, we propose an approach to prevent defects in context-aware feature models and in their product reconfiguration based on formal methods. To validate our work, we developed a prototype to check the correctness of context-aware feature models.

show abstract

Section: Related Workmentioning

confidence: 99%

Safe adaptation in context-aware feature models

Marinho

Maia

Andrade

et al. 2012

Proceedings of the 4th International Workshop on Feature-Oriented Software Development - FOSD '12

View full text Add to dashboard Cite

show abstract

“…b) Semantic consistency rules: These rules aim to ensure that models behavior be semantically compatible [18] and, hence to describe and preserve the semantic dependencies amongst the elements of the diverse perspectives [19]. However, semantic consistency rules are not identified that easy.…”

Section: ) How To Define Consistency Rules For Ekd Formalisms?mentioning

confidence: 99%

Towards enhancing business process modeling formalisms of EKD with consistency consideration

Awadid¹,

Nurcan²

2016

2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS)

View full text Add to dashboard Cite

International audienceThe Enterprise Knowledge Development (EKD) method promotes a holistic approach in Enterprise Modeling and advocates that a single modeling perspective (product, activity or role) is not sufficient for describing business processes. Instead, it offers a set of modeling formalisms, namely actor-role, role-activity, and business objects formalisms, in order to capture the knowledge on enterprise processes view from different perspectives. On the one hand, this strengthens modeling complex business processes, but on the other hand this sets the requirement for dealing with the consistency among those models describing the same business process according to different perspectives. The systematic literature review we have conducted showed, among its findings, that there is no modeling tool supporting all these formalisms, and hence no way was proposed to handle their consistency. In multi-perspective modeling, the quality of the created models and their capability to be involved in the " design by reuse " depend strongly on the consistency among them. This paper aims to enhance the syntactic and semantic quality of EKD business process models by proposing a set of consistency rules controlling their dependencies. As the definition of semantic consistency rules is far from obvious, we have modeled and investigated a plethora of business processes from different domains. Our proposal is then supported by a tool in order to promote an automated consistency handling and hence to save the time and efforts of process modelers

show abstract