Skip to main content
SpringerLink
Log in
Book cover

OTM Confederated International Conferences "On the Move to Meaningful Internet Systems"

OTM 2016: On the Move to Meaningful Internet Systems: OTM 2016 Workshops pp 98–108Cite as

Program Synthesis for Configuring Collaborative Solutions in Feature Models

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10034))

Abstract

We create a program synthesis for searching optimal configurations in collaborative decision-making models. At the specification level, existing approaches do not consider both individual and business constraints to configure products in a cooperative manner. Usually, the combination of independent specifications is manually implemented into low level platforms, which limits the management of constraint-intensive decision processes. Our proposed model-driven collaboration system analyses multiple domain and preference models to help selecting goal-driven technological solutions. First, we extend an existing domain-specific language to specify multi-objective and constraint-based business rules. Next, we created model transformations to generate a program that can be executed into two different constraint-based platforms, which combine heterogeneous and highly expressive models. We apply our approach to find a goal-driven enterprise information system solution. The program synthesis analyzed in average 697 constraints across multiple specifications to avoid inconsistencies in manual configurations.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Both encodings can be found at: https://github.com/CoCoResearch/CSPMappings.

References

  1. Batory, D.: Program refactoring, program synthesis, and model-driven development. In: Krishnamurthi, S., Odersky, M. (eds.) CC 2007. LNCS, vol. 4420, pp. 156–171. Springer, Heidelberg (2007). doi:10.1007/978-3-540-71229-9_11

    Chapter  Google Scholar 

  2. Ba̧k, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wa̧sowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15, 811–845 (2016)

    Article  Google Scholar 

  3. Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated reasoning on feature models. In: Pastor, O., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005). doi:10.1007/11431855_34

    Chapter  Google Scholar 

  4. Colanzi, T.E., Vergilio, S.R.: Applying search based optimization to software product line architectures: lessons learned. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol. 7515, pp. 259–266. Springer, Heidelberg (2012). doi:10.1007/978-3-642-33119-0_19

    Chapter  Google Scholar 

  5. Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, New York (2000)

    Google Scholar 

  6. Henard, C., Papadakis, M., Harman, M., Le Traon, Y.: Combining multi-objective search and constraint solving for configuring large software product lines. In: 37th International Conference on Software Engineering, pp. 517–528. IEEE Press (2015)

    Google Scholar 

  7. Hierons, R.M., Li, M., Liu, X., Segura, S., Zheng, W.: SIP: optimal product selection from feature models using many-objective evolutionary optimization. ACM Trans. Softw. Eng. Methodol. 25, 17:1–17:39 (2016)

    Article  Google Scholar 

  8. Junker, U.: QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. In: 19th National Conference on Artifical Intelligence, pp. 167–172. AAAI Press, Menlo Park (2004)

    Google Scholar 

  9. Liang, J.: Solving Clafer models with Choco. University of Waterloo, Technical report (2012)

    Google Scholar 

  10. Machado, L., Pereira, J., Garcia, L., Figueiredo, E.: SPLConfig: product configuration in software product line. In: Brazilian Conference on Software: Theory and Practice - Tools Session, pp. 85–92 (2014)

    Google Scholar 

  11. Ochoa, L., González-Rojas, O., Thüm, T.: Using decision rules for solving conflicts in extended feature models. In: 8th ACM SIGPLAN International Conference on Software Language Engineering, pp. 149–160. ACM, New York (2015)

    Google Scholar 

  12. Ochoa, L., González-Rojas, O., Verano, M., Castro, H.: Searching for optimal configurations within large-scale models: a cloud computing domain. In: Link, S., Trujillo, J.C. (eds.) ER 2016. LNCS, vol. 9975, pp. 65–75. Springer, Cham (2016). doi:10.1007/978-3-319-47717-6_6

    Chapter  Google Scholar 

  13. Siegmund, N., Rosenmüller, M., Kuhlemann, M., Kästner, C., Apel, S., Saake, G.: SPL conqueror: toward optimization of non-functional properties in software product lines. Softw. Qual. J. 20, 487–517 (2012)

    Article  Google Scholar 

  14. Stein, J., Nunes, I., Cirilo, E.: Preference-based feature model configuration with multiple stakeholders. In: 18th International Software Product Line Conference, pp. 132–141. ACM, New York (2014)

    Google Scholar 

  15. White, J., Benavides, D., Schmidt, D., Trinidad, P., Dougherty, B., Ruiz-Cortes, A.: Automated diagnosis of feature model configurations. J. Syst. Softw. 83, 1094–1107 (2010)

    Article  Google Scholar 

  16. White, J., Dougherty, B., Schmidt, D.C.: Selecting highly optimal architectural feature sets with filtered cartesian flattening. J. Syst. Softw. 82, 1268–1284 (2009)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Systems and Computing Engineering Department, School of Engineering, Universidad de los Andes, Bogotá, Colombia

    Lina Ochoa & Oscar González-Rojas

Authors
  1. Lina Ochoa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Oscar González-Rojas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Oscar González-Rojas .

Editor information

Editors and Affiliations

  1. University Babes-Bolyai, Cluj-Napoca, Romania

    Ioana Ciuciu

  2. ADAPT Centre, Trinity College Dublin, Dublin 2, Ireland

    Christophe Debruyne

  3. University of Lorraine, Vandoeuvre-les-Nancy, France

    Hervé Panetto

  4. Profactor GmbH and Johannes Kepler, University Linz, Linz, Austria

    Georg Weichhart

  5. Maastricht University, Maastricht, The Netherlands

    Peter Bollen

  6. University of Innsbruck, Innsbruck, Austria

    Anna Fensel

  7. Universidad Simón Bolívar, Caracas, Venezuela

    Maria-Esther Vidal

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Ochoa, L., González-Rojas, O. (2017). Program Synthesis for Configuring Collaborative Solutions in Feature Models. In: Ciuciu, I., et al. On the Move to Meaningful Internet Systems: OTM 2016 Workshops. OTM 2016. Lecture Notes in Computer Science(), vol 10034. Springer, Cham. https://doi.org/10.1007/978-3-319-55961-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-55961-2_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-55960-5

  • Online ISBN: 978-3-319-55961-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation