Reference Hub

This research has been cited in:

Conference
The High-Level Variability LanguageProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342401
Conference
Evaluation of the State-Constraint Transition Modelling LanguageProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342417
Chapter
A Deep Convolutional Neural Network Approach to Rice Grain Purity AnalysisProgress in Computing, Analytics and Networking10.1007/978-981-15-2414-1_19
Article
FCA for software product line representation: Mixing configuration and feature relationships in a unique canonical representationDiscrete Applied Mathematics10.1016/j.dam.2019.06.008
Conference
Survey of Non-Functional Requirements modeling and verification of Software Product Lines2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS)10.1109/RCIS.2014.6861085
Conference
A survey on scalability and performance concerns in extended product lines configurationProceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems10.1145/3023956.3023959
Article
Approach for the rationalisation of product lines varietyIFAC Proceedings Volumes10.3182/20140824-6-ZA-1003.02226
Conference
VariaMosProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791103
Article
A constraint-based variability modeling frameworkInternational Journal on Software Tools for Technology Transfer10.1007/s10009-012-0254-x
Article
Method to Identify Corrections of Defects on Product Line ModelsElectronic Notes in Theoretical Computer Science10.1016/j.entcs.2015.05.005
Article
A systematic literature review on the semi-automatic configuration of extended product linesJournal of Systems and Software10.1016/j.jss.2018.07.054
Chapter
Combining Configuration and Recommendation to Enable an Interactive Guidance of Product Line ConfigurationRecommender Systems10.1002/9781119054252.ch7
Article
Qualitative classification of milled rice grains using computer vision and metaheuristic techniquesJournal of Food Science and Technology10.1007/s13197-015-1947-4
Conference
Bridging the gap between product lines and systems engineeringProceedings of the 17th International Software Product Line Conference10.1145/2491627.2491655
Conference
Towards constraint-informed information systemsIEEE 7th International Conference on Research Challenges in Information Science (RCIS)10.1109/RCIS.2013.6577690
Conference
Towards Run-Time Verification of Adaptive Security for IoT in eHealthProceedings of the 2014 European Conference on Software Architecture Workshops10.1145/2642803.2642807
Chapter
Image Segmentation as an Important Step in Image-Based Digital Technologies in Smart Cities: A New Nature-Based ApproachInformation Innovation Technology in Smart Cities10.1007/978-981-10-1741-4_6
Chapter
On the Ontological Expressiveness of the High-Level Constraint Language for Product Line SpecificationSystem Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering10.1007/978-3-030-01042-3_4
Conference
Subconjuntos mínimos de corrección para explicar características muertas en modelos de líneas de productos. El caso de los modelos de características2013 8th Computing Colombian Conference (8CCC)10.1109/ColombianCC.2013.6637515
Article
Constraint programming heuristics for configuring optimal products in multi product linesInformation Sciences10.1016/j.ins.2018.09.042
Conference
Towards a variable non-functional requirements integration for Component-Based Product Line a generic approach2014 Second World Conference on Complex Systems (WCCS)10.1109/ICoCS.2014.7060992
Conference
Formalising the Requirements of an E-Voting Software Product Line Using Event-B2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)10.1109/WETICE.2018.00022
Chapter
Mass Customisation in Sustainable Networked EnterprisesCollaborative Systems for Reindustrialization10.1007/978-3-642-40543-3_70
Chapter
Recommendation Heuristics for Improving Product Line Configuration ProcessesRecommendation Systems in Software Engineering10.1007/978-3-642-45135-5_19
Article
Potential Applications of Computer Vision in Quality Inspection of Rice: A ReviewFood Engineering Reviews10.1007/s12393-014-9101-z
Chapter
Capturing Variability in Model Based Systems EngineeringComplex Systems Design & Management10.1007/978-3-319-02812-5_10
Article
Product Line Configuration Meets Process MiningProcedia Computer Science10.1016/j.procs.2019.12.173
Article
Using Constraint Programming to Manage Configurations in Self-Adaptive SystemsComputer10.1109/MC.2012.286
Chapter
Guidelines for the Specification of IoT RequirementsIoT Protocols and Applications for Improving Industry, Environment, and Society10.4018/978-1-7998-6463-9.ch007

Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy

Raúl Mazo, Camille Salinesi, Daniel Diaz, Olfa Djebbi, Alberto Lora-Michiels

Source Title: International Journal of Information System Modeling and Design (IJISMD)3(2)

ISSN: 1947-8186|EISSN: 1947-8194|EISBN13: 9781466612709|DOI: 10.4018/jismd.2012040102

Cite Article Cite Article

MLA

Mazo, Raúl, et al. "Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy." IJISMD vol.3, no.2 2012: pp.33-68. http://doi.org/10.4018/jismd.2012040102

APA

Mazo, R., Salinesi, C., Diaz, D., Djebbi, O., & Lora-Michiels, A. (2012). Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. International Journal of Information System Modeling and Design (IJISMD), 3(2), 33-68. http://doi.org/10.4018/jismd.2012040102

Chicago

Mazo, Raúl, et al. "Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy," International Journal of Information System Modeling and Design (IJISMD) 3, no.2: 33-68. http://doi.org/10.4018/jismd.2012040102

Export Reference

Favorite Full-Issue Download

View Full Text HTML

View Full Text PDF

Abstract

Drawing from an analogy between features based Product Line (PL) models and Constraint Programming (CP), this paper explores the use of CP in the Domain Engineering and Application Engineering activities that are put in motion in a Product Line Engineering strategy. Specifying a PL as a constraint program instead of a feature model carries out two important qualities of CP: expressiveness and direct automation. On the one hand, variables in CP can take values over boolean, integer, real or even complex domains and not only boolean values as in most PL languages such as the Feature-Oriented Domain Analysis (FODA). Specifying boolean, arithmetic, symbolic and reified constraint, provides a power of expression that spans beyond that provided by the boolean dependencies in FODA models. On the other hand, PL models expressed as constraint programs can directly be executed and analyzed by off-the-shelf solvers. This paper explores the issues of (a) how to specify a PL model using CP, including in the presence of multi-model representation, (b) how to verify PL specifications, (c) how to specify configuration requirements, and (d) how to support the product configuration activity. Tests performed on a benchmark of 50 PL models show that the approach is efficient and scales up easily to very large and complex PL specifications.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email:

Password:

Forgot individual login password?

Create individual account

Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy

MLA

APA

Chicago

Export Reference

Abstract

Request Access