Index: /reasoner/reasoner.bib =================================================================== --- /reasoner/reasoner.bib (revision 228) +++ /reasoner/reasoner.bib (revision 229) @@ -8,5 +8,5 @@ @misc{QMD42, - title = "Quality-aware Processing Pipeline Adaptation V1", + title = {{Quality-aware Processing Pipeline Adaptation V1}}, author = "{QualiMaster consortium}", note = "Deliverable D4.3, http://qualimaster.eu", @@ -15,5 +15,5 @@ @misc{QMD43, - title = "Quality-aware Processing Pipeline Adaptation V2", + title = {{Quality-aware Processing Pipeline Adaptation V2}}, author = "{QualiMaster consortium}", note = "Deliverable D4.3, http://qualimaster.eu", @@ -22,5 +22,5 @@ @misc{QMD44, - title = "Quality-aware Processing Pipeline Modelling and Adaptation", + title = {{Quality-aware Processing Pipeline Modelling and Adaptation}}, author = "{QualiMaster consortium}", note = "Deliverable D4.4, http://qualimaster.eu", @@ -31,5 +31,5 @@ author = "S. El-Sharkawy and C. Kr{\"o}her and H. Eichelberger and K. Schmid", title = "Experience from Implementing a Complex Eclipse Extension for Software Product Line Engineering", - booktitle = "Eclipse Technology eXchange Workshop", + booktitle = "Eclipse Technology eXchange Workshop (ETX'15)", year = 2015 } @@ -37,7 +37,7 @@ @misc{OCL24, author = {OMG}, - title = {Object Constraint Language Specification, Version 2.4}, + title = {{Object Constraint Language Specification, Version 2.4}}, year = {2014}, - url = {http://www.omg.org/spec/OCL/2.4/} + note = {http://www.omg.org/spec/OCL/2.4/} } @@ -45,5 +45,5 @@ author = {H. Eichelberger and S. El-Sharkawy and C. Kr{\"o}her and K. Schmid}, title = {{{EASy}-Producer: {P}roduct Line Development for Variant-rich Ecosystems}}, - booktitle = {Software Product Line Conference (SPLC), Vol 2}, + booktitle = {Software Product Line Conference (SPLC'14), Vol 2}, year = {2014}, pages = {133--137}, @@ -80,5 +80,5 @@ @inproceedings{Eichelberger16, author = {H. Eichelberger}, - title = "It's about the mix: Integration of Compile and Runtime Variability", + title = {{It's about the mix: Integration of Compile and Runtime Variability}}, booktitle = "FAS*W Workshop on Dynamic Software Product Lines (DSPL)", year=2016 @@ -88,5 +88,5 @@ author = {H. Eichelberger and C. Qin and R. Sizonenko and K. Schmid}, title = {{Using IVML to Model the Topology of Big Data Processing Pipelines}}, - booktitle = {Software Product Line Conference (SPLC)}, + booktitle = {Software Product Line Conference (SPLC'16)}, year = {2016}, pages = {204--208} @@ -96,5 +96,5 @@ author={H. Eichelberger and C. Qin and K. Schmid}, title={{Experiences with the Model-based Generation of Big Data Applications}}, -booktitle={Big Data Mgt. Systems in Business and Industrial Applications (BigBia '17)}, +booktitle={Big Data Mgt. Systems in Business and Industrial Applications (BigBIA'17)}, year={2017}, pages={49-56}, @@ -104,7 +104,7 @@ @inproceedings{KolliaGlimmHorrocks11, author = {Kollia, Ilianna and Glimm, Birte and Horrocks, Ian}, - title = {SPARQL Query Answering over OWL Ontologies}, - booktitle = {Proceedings of the 8th Extended Semantic Web Conference on The Semantic Web: Research and Applications - Volume Part I}, - series = {ESWC'11}, + title = {{SPARQL Query Answering over OWL Ontologies}}, + booktitle = {Proceedings of the Extended Semantic Web Conference on The Semantic Web: Research and Applications (EWSC'11) - Vol. Part I}, + _series = {ESWC'11}, year = {2011}, isbn = {978-3-642-21033-4}, @@ -114,10 +114,10 @@ url = {http://dl.acm.org/citation.cfm?id=2008892.2008925}, acmid = {2008925}, - publisher = {Springer-Verlag}, - address = {Berlin, Heidelberg}, + _publisher = {Springer-Verlag}, + _address = {Berlin, Heidelberg}, } @Inproceedings{DemuthLoecherZschaler04, - title = "Structure of the Dresden OCL Toolkit", + title = {{Structure of the Dresden OCL Toolkit}}, author = "B. Demuth, S. Löcher, St. Zschaler", booktitle = "International Fujaba Days, MDA with UML and Rule-based Object Manipulation", @@ -130,9 +130,9 @@ editor="Johnson, Michael and Vene, Varmo", -title="ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams", +title={{ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams}}, booktitle="Algebraic Methodology and Software Technology", year="2006", -publisher="Springer Berlin Heidelberg", -address="Berlin, Heidelberg", +_publisher="Springer Berlin Heidelberg", +_address="Berlin, Heidelberg", pages="368--373", abstract="In this paper we present the ITP/OCL tool, a rewriting-based tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementation is directly based on the equational specification of UML+OCL class diagrams. It is written entirely in Maude making extensive use of its reflective capabilities. We also give notice of the Visual ITP/OCL, a Java graphical interface that can be used as a front-end for the ITP/OCL tool.", @@ -143,5 +143,5 @@ @article{KahnPorres15, -title = "Consistency of UML class, object and statechart diagrams using ontology reasoners", +title = {Consistency of UML class, object and statechart diagrams using ontology reasoners}, journal = "Journal of Visual Languages \& Computing", volume = "26", @@ -158,5 +158,5 @@ author={Holger Eichelberger and Aike Sass and Klaus Schmid}, title={From Reproducibility Problems to Improvements: A journey}, -booktitle={Proceedings of the 7th Symposium on Software Performance}, +booktitle={Proceedings of the Symposium on Software Performance (SSP'16)}, number={4}, journal={Softwaretechnik-Trends}, @@ -178,5 +178,5 @@ @article{XiangZhouZheng+2018, author = {Xiang, Yi and Zhou, Yuren and Zheng, Zibin and Li, Miqing}, - title = {Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers}, + title = {{Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers}}, journal = {ACM Trans. Softw. Eng. Methodol.}, issue_date = {February 2018}, @@ -192,6 +192,6 @@ doi = {10.1145/3176644}, acmid = {3176644}, - publisher = {ACM}, - address = {New York, NY, USA}, + _publisher = {ACM}, + _address = {New York, NY, USA}, keywords = {Optimal feature selection, many-objective optimization, satisfiability (SAT) solvers, vector angle--based evolutionary algorithm (VaEA)}, } @@ -221,6 +221,6 @@ @InProceedings{EichelbergerKroeherSchmid13, author = "H. Eichelberger and C. Kr{\"o}her and K. Schmid", - title = "An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability", - booktitle = "Intl. Conference on Software Reuse", + title = {{An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability}}, + booktitle = "Intl. Conference on Software Reuse (ICSR'13)", pages = "32--48", year = 2013, @@ -244,5 +244,5 @@ author = {K. Czarnecki and S. Helsen and U. Eisenecker}, title = {Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models}, - journal = {J. SPIRE}, + journal = {Software Process: Improvement and Practice}, year = {2005}, volume = {10}, @@ -343,5 +343,5 @@ @ARTICLE{SchmidJohn04, author = {K. Schmid and I. John}, - title = {A Customizable Approach To Full-Life Cycle Variability Management}, + title = {{A Customizable Approach To Full-Life Cycle Variability Management}}, journal = {Science of Computer Programming}, year = {2004}, @@ -372,5 +372,5 @@ @techreport{IVML-LS, author = {H. Eichelberger and S. El-Sharkawy and C. Kr{\"o}her and K. Schmid}, - title = "INDENICA Variability Modeling Language: Language Specification, version 1.29", + title = {{Integrated Variability Modeling Language: Language Specification, version 1.29}}, year = 2018, note = {Available online at: http://projects.sse.uni-hildesheim.de/easy/docs/ivml\_spec.pdf}, @@ -379,7 +379,7 @@ @inproceedings{MendoncaWasowskiCzarnecki09, author = {Mendonca, Marcilio and Wasowski, Andrzej and Czarnecki, Krzysztof}, - title = {SAT-based Analysis of Feature Models is Easy}, - booktitle = {Proceedings of the 13th International Software Product Line Conference}, - series = {SPLC '09}, + title = {{SAT-based Analysis of Feature Models is Easy}}, + booktitle = {Proceedings of the Intl. Software Product Line Conference (SPLC '09)}, + _series = {SPLC '09}, year = {2009}, location = {San Francisco, California, USA}, @@ -388,6 +388,6 @@ url = {http://dl.acm.org/citation.cfm?id=1753235.1753267}, acmid = {1753267}, - publisher = {Carnegie Mellon University}, - address = {Pittsburgh, PA, USA}, + _publisher = {Carnegie Mellon University}, + _address = {Pittsburgh, PA, USA}, } @@ -398,5 +398,5 @@ Krzysztof Czarnecki and Andrzej Wasowski}, - title = {Clafer: unifying class and feature modeling}, + title = {Clafer: Unifying class and feature modeling}, journal = {Software and System Modeling}, volume = {15}, @@ -414,6 +414,6 @@ author = {Benavides, David and Trinidad, Pablo and Ruiz-Cort{\'e}s, Antonio}, title = {Automated Reasoning on Feature Models}, - booktitle = {Proceedings of the 17th International Conference on Advanced Information Systems Engineering}, - series = {CAiSE'05}, + booktitle = {Proceedings of the Intl. Conference on Advanced Information Systems Engineering (CAiSE'05)}, + _series = {CAiSE'05}, year = {2005}, isbn = {3-540-26095-1, 978-3-540-26095-0}, @@ -424,13 +424,12 @@ doi = {10.1007/11431855_34}, acmid = {2129922}, - publisher = {Springer-Verlag}, - address = {Berlin, Heidelberg}, + _publisher = {Springer-Verlag}, + _address = {Berlin, Heidelberg}, } @inproceedings{MendoncaBrancoCowan09, author = {Mendonca, Marcilio and Branco, Moises and Cowan, Donald}, - title = {S.P.L.O.T.: Software Product Lines Online Tools}, - booktitle = {Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications}, - series = {OOPSLA '09}, + title = {{S.P.L.O.T.: Software Product Lines Online Tools}}, + booktitle = {Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '09)}, year = {2009}, isbn = {978-1-60558-768-4}, @@ -441,6 +440,6 @@ doi = {10.1145/1639950.1640002}, acmid = {1640002}, - publisher = {ACM}, - address = {New York, NY, USA}, + _publisher = {ACM}, + _address = {New York, NY, USA}, keywords = {automated reasoning, feature model automated analysis, feature models, interactive configuration, software product lines}, } @@ -448,7 +447,7 @@ @inproceedings{Eichelberger18, author = "Holger Eichelberger", - title = "Flexible System-level Monitoring of Heterogeneous Big Data Streaming Systems", + title = {{Flexible System-level Monitoring of Heterogeneous Big Data Streaming Systems}}, year = 2018, - booktitle = "Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications", + booktitle = "Proceedings of the Euromicro Conference on Software Engineering and Advanced Applications (SEAA'18)", pages = "289--292", } Index: /reasoner/reasoner.tex =================================================================== --- /reasoner/reasoner.tex (revision 228) +++ /reasoner/reasoner.tex (revision 229) @@ -97,5 +97,5 @@ \section*{Acknowledgements} -We are grateful to Phani Saripalli for implementing the initial IVML reasoner based on the Jess rules engine. We are also grateful to Roman Sizonenko for implementing and experimenting with the Drools-based IVML reasoner and for realizing the initial SSE IVML reasoner used as basis for the actual version of the reasoner and this documentation. +We are grateful to Phani Saripalli for implementing the initial IVML reasoner based on the Jess rule engine. We are also grateful to Roman Sizonenko for implementing and experimenting with the Drools-based IVML reasoner and for realizing the initial SSE IVML reasoner used as basis for this work. \bibliographystyle{abbrv}