@(zvei, year = {2012}, title = {Life-Cycle-Management for Automation Product and Systems: A Guideline by the System Aspects Working Group of the {ZVEI} Automation Division}, ) @book(primerMDA, author = {Scott Ambler}, year = {2008}, title = {The Object Primer - Agile Model-Driven Development with UML 2.0}, publisher = {Cambridge University Press}, ) @article(atkins, author = {C. Atkinson and T. Kuhne}, year = {2003}, title = {Model-driven development: a metamodeling foundation}, journal = {Software, IEEE}, doi = {10.1109/MS.2003.1231149}, ) @article(BS+2011, author = {Luca Bassi and Cristian Secchi and Marcello Bonf{\'e} and Cesare Fantuzzi}, year = {2011}, title = {A sysml-based methodology for manufacturing machinery modeling and design}, journal = {Mechatronics, IEEE/ASME Transactions on}, volume = {16}, number = {6}, pages = {1049--1062}, doi = {10.1109/TMECH.2010.2073480}, ) @article(acta, author = {Lorenzo Bettini and Ferruccio Damiani and Ina Schaefer}, year = {2013}, title = {Compositional type checking of delta-oriented software product lines}, journal = {Acta Informatica}, volume = {50}, number = {2}, pages = {77--122}, doi = {10.1007/s00236-012-0173-z}, ) @inproceedings(BB+2012, author = {Steven Braun and Christian Bartelt and Martin Obermeier and Andreas Rausch and Vogel-Heuser, Birgit}, year = {2012}, title = {Requirements on evolution management of product lines in automation engineering}, booktitle = {Int. Conf. Math. Modelling}, address = {Vienna, Austria}, pages = {340--345}, doi = {10.3182/20120215-3-AT-3016.00060}, ) @inproceedings(Demuth:2011:CMT:2025113.2025189, author = {Andreas Demuth and Lopez-Herrejon, Roberto E. and Alexander Egyed}, year = {2011}, title = {Cross-layer Modeler: A Tool for Flexible Multilevel Modeling with Consistency Checking}, booktitle = {Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering}, series = {ESEC/FSE '11}, publisher = {ACM}, address = {New York, NY, USA}, pages = {452--455}, doi = {10.1145/2025113.2025189}, ) @inproceedings(Egyed:2006:ICC:1134285.1134339, author = {Alexander Egyed}, year = {2006}, title = {Instant Consistency Checking for the UML}, booktitle = {ICSE '06}, publisher = {ACM}, address = {New York, NY, USA}, pages = {381--390}, doi = {10.1145/1134285.1134339}, ) @inproceedings(rumpe, author = {Robert France and Bernhard Rumpe}, year = {2007}, title = {Model-driven Development of Complex Software: A Research Roadmap}, booktitle = {2007 Future of Software Engineering}, publisher = {IEEE Computer Society}, doi = {10.1109/FOSE.2007.14}, ) @article(HW+2013, author = {C. Haubeck and I. Wior and L. Braubach and A. Pokahr and J. Ladiges and A. Fay and W. Lamersdorf:}, year = {2013}, title = {Keeping Pace with Changes - Towards Supporting Continuous Improvements and Extensive Updates in Production Automation Software}, journal = {Electronic Communications of the EASST}, volume = {2013}, doi = {10.14279/tuj.eceasst.56.809.814}, ) @inbook(Huzar2005, author = {Zbigniew Huzar and Ludwik Kuzniarz and Gianna Reggio and Jean Louis Sourrouille}, year = {2005}, title = {UML Modeling Languages and Applications: <\kern.16667em \kern.16667em > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers}, chapter = {Consistency Problems in UML-Based Software Development}, pages = {1--12}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, doi = {10.1007/978-3-540-31797-5\_1}, ) @inbook(Ibrahim2011, author = {Noraini Ibrahim and Rosziati Ibrahim and Mohd Zainuri Saringat and Dzahar Mansor and Tutut Herawan}, year = {2011}, title = {Ubiquitous Computing and Multimedia Applications: Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part II}, chapter = {Definition of Consistency Rules between UML Use Case and Activity Diagram}, pages = {498--508}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, doi = {10.1007/978-3-642-20998-7\_58}, ) @misc(ppu, author = {{Institute of Automation and Information Systems}}, year = {2013}, title = {{The Pick and Place Unit Demonstrator for Evolution in Industrial Plant Automation}}, howpublished = {\url{http://www.ppu-demonstrator.org}}, ) @inproceedings(icse-ws, author = {Matthias Kowal and Christoph Legat and David Lorefice and Christian Prehofer and Ina Schaefer and Vogel-Heuser, Birgit}, year = {2014}, title = {{Delta Modeling for Variant-rich and Evolving Manufacturing Systems}}, booktitle = {MoSEMInA}, doi = {10.1145/2593783.2593786}, ) @article(KowalAT2014, author = {Matthias Kowal and Christian Prehofer and Ina Schaefer and Mirco Tribastone}, year = {2014}, title = {Model-based Development and Performance Analysis for Evolving Manufacturing Systems}, journal = {at - Automatisierungstechnik}, volume = {62}, pages = {794--802}, doi = {10.1515/auto-2014-1098}, ) @inproceedings(fase, author = {Matthias Kowal and Ina Schaefer and Mirco Tribastone}, year = {2014}, title = {{Family-Based Performance Analysis of Variant-Rich Software Systems}}, booktitle = {FASE}, doi = {10.1007/978-3-642-54804-8\_7}, ) @inproceedings(CL-IECON2013, author = {Christoph Legat and Jens Folmer and Vogel-Heuser, Birgit}, year = {2013}, title = {Evolution in Industrial Plant Automation: A Case Study}, booktitle = {39th Annual Conference of the IEEE Industrial Electronics Society (IECON)}, doi = {10.1109/IECON.2013.6699841}, ) @inproceedings(LG+2012, author = {Fang Li and G\"{u}lden Bayrak and Konstantin Kernschmidt and Vogel-Heuser, Birgit}, year = {2012}, title = {Specification of the Requirements to Support Information Technology-Cycles in the Machine and Plant Manufacturing Industry}, booktitle = {14th IFAC Symposium on Information Control Problems in Manufacturing}, doi = {10.3182/20120523-3-RO-2023.00146}, ) @inproceedings(Lopez-Herrejon:2010:DIM:2164046.2164064, author = {Lopez-Herrejon, Roberto Erick and Alexander Egyed}, year = {2010}, title = {Detecting Inconsistencies in Multi-view Models with Variability}, booktitle = {ECMFA'10}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, pages = {217--232}, url = {http://dx.doi.org/10.1007/978-3-642-13595-8_18}, ) @article(mellor2003model, author = {Stephen J Mellor and Anthony N Clark and Takao Futagami}, year = {2003}, title = {Model-driven development}, journal = {IEEE software}, doi = {10.1109/MS.2003.1231145}, ) @misc(Mens05aframework, author = {Tom Mens and Ragnhild Van Der Straeten and Jocelyn Simmonds}, year = {2005}, title = {A Framework for Managing Consistency of Evolving UML Models}, ) @inproceedings(1620102, author = {J. Muskens and R.J. Bril and M.R.V. Chaudron}, year = {2005}, title = {Generalizing Consistency Checking between Software Views}, booktitle = {Software Architecture, 2005. WICSA 2005. 5th Working IEEE/IFIP Conference on}, pages = {169--180}, doi = {10.1109/WICSA.2005.37}, ) @techreport(omg, author = {OMG}, year = {2015}, title = {OMG Unified Modeling Language Version 2.5}, type = {Technical Report}, institution = {Object Management Group}, ) @book(UMLbible, author = {Tom Pender}, year = {2003}, title = {UML Bible}, publisher = {John Wiley \& Sons, Inc.}, ) @inproceedings(InaDelta, author = {Ina Schaefer}, year = {2010}, title = {Variability Modelling for Model-Driven Development of Software Product Lines}, booktitle = {VaMoS}, pages = {85--92}, ) @article(schmidt, author = {Douglas C. Schmidt}, year = {2006}, title = {Guest Editor's Introduction: Model-Driven Engineering}, journal = {Computer}, doi = {10.1109/MS.2003.1231146}, ) @article(ibm, author = {B. Selic}, year = {2003}, title = {The pragmatics of model-driven development}, journal = {Software, IEEE}, doi = {10.1109/MS.2003.1231146}, ) @inproceedings(Spanoudakis01inconsistencymanagement, author = {George Spanoudakis and Andrea Zisman}, year = {2001}, title = {Inconsistency management in software engineering: Survey and open research issues}, booktitle = {in Handbook of Software Engineering and Knowledge Engineering}, publisher = {World Scientific}, pages = {329--380}, doi = {10.1142/9789812389718\_0015}, ) @article(KP+2007, author = {K. Thramboulidis and D. Perdikis and S. Kantas}, year = {2007}, title = {Model Driven Development of Distributed Control Applications}, journal = {International Journal of Advanced Manufacturing Technology}, volume = {33}, number = {3-4}, pages = {233 -- 242}, doi = {10.1007/s00170-006-0455-0}, ) @article(Thum:2014:CSA:2620784.2580950, author = {Thomas Th\"{u}m and Sven Apel and Christian K\"{a}stner and Ina Schaefer and Gunter Saake}, year = {2014}, title = {A Classification and Survey of Analysis Strategies for Software Product Lines}, journal = {ACM Comput. Surv.}, volume = {47}, number = {1}, pages = {6:1--6:45}, doi = {10.1145/2580950}, ) @inproceedings(Torre:2014:UCR:2601248.2601292, author = {Damiano Torre and Yvan Labiche and Marcela Genero}, year = {2014}, title = {UML Consistency Rules: A Systematic Mapping Study}, booktitle = {Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering}, series = {EASE '14}, publisher = {ACM}, address = {New York, NY, USA}, pages = {6:1--6:10}, doi = {10.1145/2601248.2601292}, ) @inproceedings(4721312, author = {Muhammad Usman and A. Nadeem and Tai hoon Kim and Eun suk Cho}, year = {2008}, title = {A Survey of Consistency Checking Techniques for UML Models}, booktitle = {ASEA 2008}, pages = {57--62}, doi = {10.1109/ASEA.2008.40}, ) @article(Vya2013, author = {V. Vyatkin}, year = {2013}, title = {Software Engineering in Industrial Automation: State of the Art Review}, journal = {IEEE Transactions on Industrial Informatics}, volume = {9}, number = {3}, pages = {1234 -- 1249}, doi = {10.1109/TII.2013.2258165}, )