Leveraging inconsistency in software development

Nuseibeh, Bashar; Easterbrook, Steve; Russo, Alessandra

doi:10.1109/2.839317

Cited by 136 publications

(111 citation statements)

References 11 publications

(8 reference statements)

Supporting

Mentioning

107

Contrasting

Unclassified

Order By: Relevance

“…For one, we do not know how rigorous our students follow that process, and even if they do, our process (like many others) is not addressing another important aspect of software development. As Nuseibeh [17] wrote, "the incremental development of software systems involves the detection and handling of inconsistencies." Obviously our process is able to handle changes (this is what the spiral model is know for in the first place) but nothing in the process model actually addressed how one can do this.…”

Section: Integrating Product and Processmentioning

confidence: 99%

Optimizing software product integrity through life-cycle process integration

Boehm

Egyed

1999

Computer Standards & Interfaces

View full text Add to dashboard Cite

Section: Integrating Product and Processmentioning

confidence: 99%

Optimizing software product integrity through life-cycle process integration

Boehm

Egyed

1999

Computer Standards & Interfaces

View full text Add to dashboard Cite

“…Nuseibeh et al [37] describe a method for managing consistency in software development. Consistency rules detect inconsistencies during monitoring.…”

Section: Related Workmentioning

confidence: 99%

“…Especially when using different modeling languages that are not directly related, developers do not have such support. Furthermore, there exist some approaches that support multi-model development, but they stay on a high level explaining what should be done rather than how this should be accomplished [37,48].…”

Section: Problem Statementmentioning

confidence: 99%

MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations

Bodenstaff

Wombacher

Reichert

et al. 2010

SOCA

View full text Add to dashboard Cite

Inter-organizational cooperations are complex in terms of coordination, agreements, and value creation for involved partners. When managing complex cooperations, it is vital to maintain models describing them. Changing one model to regain consistency with the running system might result in new inconsistencies. As a consequence, this maintenance phase grows in complexity with increasing number of models. In this context, challenges are to ensure consistency at design time and to monitor the system at runtime, i.e., at design time, consistency between different models describing the cooperation needs to be ensured. At runtime, behavior of the software system needs to be compared with its underlying models. In this paper, we propose a structured and model-independent method that supports ensuring and maintaining consistency between running system and underlying models for inter-organizational cooperations.

show abstract

“…When DSL users verify whether all restrictions and constraints imposed by the DSL metamodel hold, they use a reasoning service to check the consistency of domain models. If the domain models, created by users during the modeling process, are inconsistent, they rely on debugging support and inconsistency management for detecting, diagnosing, and handling the inconsistency [11].…”

Section: Proposed Solutionmentioning

confidence: 99%

“…The process of inconsistency management consists of activities for detecting, diagnosing, and handling inconsistency [11].…”

Section: Inconsistency Managementmentioning

confidence: 99%

An ontology-based framework for domain-specific modeling

Walter¹,

Parreiras²,

Staab³

2012

Softw Syst Model

View full text Add to dashboard Cite

Domain-specific languages (DSLs) provide abstractions and notations for better understanding and easier modeling of applications in a special domain. Current shortcomings of DSLs include learning curve and formal semantics. This paper reports on a framework that allows the use of ontology technologies to describe and reason on DSLs. The formal semantics of OWL together with reasoning services allows for addressing constraint definition, progressive evaluation, suggestions, and debugging. The approach integrates existing metamodels and concrete syntaxes in a new technical space. A scenario in which domain models for network devices are created illustrates the framework.

show abstract

Leveraging inconsistency in software development

Cited by 136 publications

References 11 publications

Optimizing software product integrity through life-cycle process integration

Optimizing software product integrity through life-cycle process integration

MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations

An ontology-based framework for domain-specific modeling

Contact Info

Product

Resources

About