{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,8]],"date-time":"2024-03-08T09:19:16Z","timestamp":1709889556637},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,7,23]],"date-time":"2013-07-23T00:00:00Z","timestamp":1374537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s12652-013-0201-z","type":"journal-article","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T15:43:31Z","timestamp":1374507811000},"page":"343-356","source":"Crossref","is-referenced-by-count":6,"title":["An aspect-oriented language for feature-modeling"],"prefix":"10.1007","volume":"5","author":[{"given":"Qinglei","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[]},{"given":"Jason","family":"Jaskolka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,23]]},"reference":[{"key":"201_CR1","doi-asserted-by":"crossref","unstructured":"Acher M, Collet P, Lahire P, France R (2010) Composing feature models. In: van den Brand M, Ga\u0161evic D, Gray J (eds) Software language engineering. Lecture notes in computer science, vol 5969. Springer, Berlin, pp 62\u201381","DOI":"10.1007\/978-3-642-12107-4_6"},{"key":"201_CR2","unstructured":"Alf\u00e9rez M, Santos J, Moreira A, Garcia A, Kulesza U, Ara\u00fajo J, Amaral V (2009) Multi-view composition language for software product line requirements. In: Proceedings of the 2nd international conference on software language engineering, pp 103\u2013122"},{"key":"201_CR3","unstructured":"Alturki F, Khedri R (2010) A tool for formal feature modeling based on bdds and product families algebra. In: 13th Workshop on requirement engineering, pp 109\u2013120"},{"key":"201_CR4","unstructured":"Andersen HR (1997) An introduction to binary decision diagrams. In: Lecture notes for 49285 Advanced Algorithm E97"},{"key":"201_CR5","doi-asserted-by":"crossref","unstructured":"Apel S, Leich T, Saake G (2006) Aspectual mixin layers: aspects and features in concert. In: Proceedings of the international conference on software engineering, pp 122\u2013131","DOI":"10.1145\/1134285.1134304"},{"issue":"2010","key":"201_CR6","doi-asserted-by":"crossref","first-page":"1022","DOI":"10.1016\/j.scico.2010.02.001","volume":"75","author":"S Apel","year":"2010","unstructured":"Apel S, Lengauer C, M\u00f6ller B, K\u00e4stner C (2010) An algebraic foundation for automatic feature-based program synthesis. Sci Comput Program 75(2010):1022\u20131047","journal-title":"Sci Comput Program"},{"key":"201_CR7","unstructured":"Benavides D, Segura S, Trinidad P, Ruiz-Cortes A (2006) A first step towards a framework for the automated analysis of feature models. In: Proceedigns of the Workshop held in conjunction with the 10th Software product line conference"},{"key":"201_CR8","unstructured":"Bo\u0161kovi\u0107 M, Mussbacher G, Bagheri E, Amyot D, an Marek Hatala DG (2010) Aspect-oriented feature models. In: Models in software engineering-workshops and symposia at MODELS 2010"},{"key":"201_CR9","unstructured":"Chitchyan R, Rashid A, Sawyer P, Garcia A, Alarcon MP, Bakker J, Tekinerdogan B, Clarke S, Jackson A (2005) Survey of analysis and design approaches. Survey, AOSD-Europe"},{"key":"201_CR10","unstructured":"Clavel M, Dur\u00e1n F, Eker S, Lincoln P, Mart\u00ed-Oliet N, Meseguer J, Talcott C (2011) Maude Manual (Version 2.6). SRI International, Menlo Park, CA 94025, USA"},{"key":"201_CR11","unstructured":"Czarnecki K (1998) Generative programming, principles and techniques of software engineering based on automated configuration and fragment-based component models. PhD thesis, Technical University of Ilmenau"},{"key":"201_CR12","doi-asserted-by":"crossref","unstructured":"Eriksson M, B\u00f6rstler J, Borg K (2005) The PLUSS approach-domain modeling with features, use cases and use realization. In: Proceedings of 9th international conference on software product lines, pp 33\u201344","DOI":"10.1007\/11554844_5"},{"issue":"3","key":"201_CR13","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s12652-010-0016-0","volume":"1","author":"R Frei","year":"2010","unstructured":"Frei R, Di Marzo Serugendo G, \u015eerb\u0103nu\u0163\u0103 TF (2010) Ambient intelligence in self-organising assembly systems using the chemical reaction model. J Ambient Intell Humaniz Comput 1(3):163\u2013184","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"201_CR14","unstructured":"Frei R, \u015eerb\u0103nu\u0163\u0103 TF, Di Marzo Serugendo G (2012) Self-organising assembly systems formally specified in Maude. J Ambient Intell Humaniz Comput pp 1\u201320"},{"issue":"12","key":"201_CR15","first-page":"1592","volume":"16","author":"L Fuentes","year":"2010","unstructured":"Fuentes L, G\u00e1mez N (2010) Configuration process of a software product line for AmI middleware. J Univers Comput Sci 16(12):1592\u20131611","journal-title":"J Univers Comput Sci"},{"key":"201_CR16","doi-asserted-by":"crossref","unstructured":"G\u00e1mez N, Fuentes L (2012) Architectural evolution of FamiWare using cardinality-based feature models. Information and Software Technology","DOI":"10.1016\/j.infsof.2012.06.012"},{"key":"201_CR17","doi-asserted-by":"crossref","unstructured":"Griss ML (2000) Implementing product-line features by composing component aspects. In: Proceedings of first international software product lines conference, pp 271\u2013288","DOI":"10.1007\/978-1-4615-4339-8_15"},{"key":"201_CR18","doi-asserted-by":"crossref","unstructured":"Griss ML, Favaro J, d\u2019Alessandro M (1998) Integrating features modeling with the RSEB. In: Proceedings of the 5th international conference on software reuse, pp 76\u201385","DOI":"10.1109\/ICSR.1998.685732"},{"key":"201_CR19","doi-asserted-by":"crossref","unstructured":"Groher I, Voelter M (2007) Xweave: models and aspects in concert. In: Proceedings of the 10th Workshop on aspect-oriented modelling, pp 35\u201340","DOI":"10.1145\/1229375.1229381"},{"issue":"3","key":"201_CR20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s12652-011-0054-2","volume":"2","author":"S Habib","year":"2011","unstructured":"Habib S, Marimuthu P (2011) Self-organization in ambient networks through molecular assembly. J Ambient Intell Humaniz Comput 2(3):165\u2013173","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"201_CR21","doi-asserted-by":"crossref","unstructured":"H\u00f6fner P, Khedri R, M\u00f6ller B (2006) Feature algebra. In: Misra J, Nipknow T, Sekerinski E (eds) Formal methods. Lecture notes in compute science, vol 4085. Springer, Berlin, pp 300\u2013315","DOI":"10.1007\/11813040_21"},{"key":"201_CR22","doi-asserted-by":"crossref","unstructured":"H\u00f6fner P, Khedri R, M\u00f6ller B (2008) Algebraic view reconciliation. In: Proceedings of 6th IEEE international conference on software engineering and formal methods, pp 85\u201394","DOI":"10.1109\/SEFM.2008.36"},{"issue":"2","key":"201_CR23","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10270-009-0127-2","volume":"10","author":"P H\u00f6fner","year":"2009","unstructured":"H\u00f6fner P, Khedri R, M\u00f6ller B (2009) An algebra of product families. Softw Syst Model 10(2):161\u2013182","journal-title":"Softw Syst Model"},{"key":"201_CR24","unstructured":"H\u00f6fner P, Khedri R, M\u00f6ller B (2011) Supplementing product families with behaviour. Int J Softw Inf 5(1-2Part2):245\u2013266"},{"key":"201_CR25","doi-asserted-by":"crossref","unstructured":"Kang K, Cohen S, Hess J, Novak W, Peterson A (1990) Feature oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University","DOI":"10.21236\/ADA235785"},{"key":"201_CR26","doi-asserted-by":"crossref","unstructured":"Kuhlemann M, Batory D, K\u00e4stner C (2009) Safe composition of non-monotonic features. In: 8th international conference on generative programming and component engineering","DOI":"10.1145\/1621607.1621634"},{"issue":"8","key":"201_CR27","first-page":"233","volume":"6","author":"J Kuusela","year":"2009","unstructured":"Kuusela J, Tuominen H (2009) Aspect-oriented approach to operating system development empirical study. J Commun Comput 6(8):233\u2013238","journal-title":"J Commun Comput"},{"key":"201_CR28","unstructured":"Lind-Nielsen J (2010) Buddy BDD Library. Accessed on March 28, 2013. http:\/\/sourceforge.net\/projects\/buddy\/"},{"key":"201_CR29","doi-asserted-by":"crossref","unstructured":"Loughran N, Rashid A (2004) Framed aspect: support variability and configurability for AOP. In: Proceedings of international conference on software reuse, pp 127\u2013140","DOI":"10.1007\/978-3-540-27799-6_11"},{"key":"201_CR30","doi-asserted-by":"crossref","unstructured":"Mezini M, Ostermann K (2004) Variability management with feature-oriented programming and aspects. In: Proceedings of the 12th ACM international symposium on Foundations of Software Engineering, pp 127\u2013136","DOI":"10.1145\/1029894.1029915"},{"key":"201_CR31","unstructured":"Nygard KE, Xu D, Pikalek J, Lundell M (2010) Multi-agent designs for ambient systems. In: 1st international ICST conference on ambient media and systems, pp 10:1\u201310:6"},{"issue":"1","key":"201_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1976.233797","volume":"2","author":"DL Parnas","year":"1976","unstructured":"Parnas DL (1976) On the design and development of program families. IEEE Trans Softw Eng 2(1):1\u20139","journal-title":"IEEE Trans Softw Eng"},{"key":"201_CR33","unstructured":"Riebisch M, B\u00f6llert K, Streitferdt D, Philippow I (2002) Extending feature diagrams with UML multiplicities. In: 6th world conference on the integrated design & process technology (IDPT 2002), Pasadena, USA"},{"key":"201_CR34","unstructured":"Solhaug B, Seehusen F (2013) Model-driven risk analysis of evolving critical infrastructures. J Ambient Intell Humaniz Comput pp 1\u201318"},{"key":"201_CR35","doi-asserted-by":"crossref","unstructured":"Th\u00fcm T, Batory D, K\u00e4stner C (2009) Reasoning about edits to feature models. In: Proceedings of international conference on software engineering","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"201_CR36","unstructured":"Zhang Q, Khedri R (2013) Proofs of the convergence of the rewriting system for the weaving of aspects in the AO-PFA language. Technical Report CAS-13-01-RK, McMaster University, Hamilton, Ontario, Canada. http:\/\/www.cas.mcmaster.ca\/cas\/0template1.php?601"},{"key":"201_CR37","unstructured":"Zhang Q, Khedri R, Jaskolka J (2011) An aspect-oriented language based on product family algebra: aspects specification and verification. Technical Report CAS-11-08-RK, McMaster University, Hamilton, Ontario, Canada. http:\/\/www.cas.mcmaster.ca\/cas\/0template1.php?601"},{"key":"201_CR38","doi-asserted-by":"crossref","unstructured":"Zhang Q, Khedri R, Jaskolka J (2012a) An aspect-oriented language for product family specification. In: Ambient systems, networks and technologies, 3rd international conference, ANT2012","DOI":"10.1016\/j.procs.2012.06.062"},{"key":"201_CR39","doi-asserted-by":"crossref","unstructured":"Zhang Q, Khedri R, Jaskolka J (2012b) Verification of aspectual composition in feature-modeling. In: Software engineering and formal methods, 10th international conference, SEFM2012","DOI":"10.1007\/978-3-642-33826-7_8"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-013-0201-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12652-013-0201-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-013-0201-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,18]],"date-time":"2019-07-18T23:04:41Z","timestamp":1563491081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12652-013-0201-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,23]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["201"],"URL":"https:\/\/doi.org\/10.1007\/s12652-013-0201-z","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"value":"1868-5137","type":"print"},{"value":"1868-5145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,23]]}}}