A Discipline for Handling Feature Interaction

Astesiano, Egidio; Reggio, Gianna

doi:10.1007/10692867_4

Cited by 3 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many researchers have acknowledged the difficulty in detecting feature interactions in the presence of unknown information, and have related this to the frame problem from artificial intelligence [5,6,11,12]. Jackson relates the frame problem to views, which are similar in spirit to cross-cuts [26].…”

Section: Open Systems and Prior Workmentioning

confidence: 99%

Verifying cross-cutting features as open systems

LiHarry

KrishnamurthiShriram

FislerKathi

2002

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

Feature-oriented software designs capture many interesting notions of cross-cutting, and offer a powerful method for building product-line architectures. Each cross-cutting feature is an independent module that fundamentally yields an open system from a verification perspective. We describe desiderata for verifying such modules through model checking and find that existing work on the verification of open systems fails to address most of the concerns that arise from feature-oriented systems. We therefore provide a new methodology for verifying such systems. To validate this new methodology, we have implemented it and applied it to a suite of modules that exhibit feature interaction problems. Our model checker was able to automatically locate ten problems previously found through a laborious simulationbased effort.

show abstract

Section: Open Systems and Prior Workmentioning

confidence: 99%

Verifying cross-cutting features as open systems

LiHarry

KrishnamurthiShriram

FislerKathi

2002

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

show abstract

Modular Verification of Open Features Using Three-Valued Model Checking

Krishnamurthi

Fisler³

2005

Autom Software Eng

View full text Add to dashboard Cite

Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasingly support this style of programming, but programmers get little support from verification tools. Ideally, programmers should be able to verify features independently of each other and use automated compositional reasoning techniques to infer properties of a system from properties of its features. Achieving this requires carefully designed interfaces: they must hold sufficient information to enable compositional verification, yet tools should be able to generate this information automatically because experience indicates programmers cannot or will not provide it manually. We present a model of interfaces that supports automated, compositional, feature-oriented model checking. To demonstrate their utility, we automatically detect the feature-interaction problems originally found manually by Robert Hall in an email suite case study.

show abstract

Web- based security constrained unit commitment system

Rîșteiu

Sturgul

Ileană

2006

2006 IEEE International Conference on Automation, Quality and Testing, Robotics

View full text Add to dashboard Cite

This approach is focused on developing new tools for more efficient energy management at the end user, by following the SCUC requirements and general electrical grid regulation. This approach consists of the applying the object oriented modeling method helped by Java and Scalable Vector Graphics for building a user/ consumer level SCUC (CL-SCUC). The designed system goal is intending to create more flexible decision system at end user/ consumer level.By using this setup, in this paper, the end user is defined as a class object connected to the grid via data which are stored in a server database. All other objects in the system are interconnected in the same way, so the CL-SCUC is not forced to take into account all network configurations. With own Java function, it only read updated data from the server, runs subclasses functions and SVG objects for following the user established tasks: maintenance coordination; tariff administration; reliability coordination; longterm planning; interconnection studies.

show abstract

A Discipline for Handling Feature Interaction

Cited by 3 publications

References 6 publications

Verifying cross-cutting features as open systems

Verifying cross-cutting features as open systems

Modular Verification of Open Features Using Three-Valued Model Checking

Web- based security constrained unit commitment system

Contact Info

Product

Resources

About