{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T17:35:53Z","timestamp":1783359353182,"version":"3.54.6"},"reference-count":81,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,7,27]],"date-time":"2012-07-27T00:00:00Z","timestamp":1343347200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10009-012-0254-x","type":"journal-article","created":{"date-parts":[[2012,7,27]],"date-time":"2012-07-27T04:27:26Z","timestamp":1343363246000},"page":"511-530","source":"Crossref","is-referenced-by-count":36,"title":["A constraint-based variability modeling framework"],"prefix":"10.1007","volume":"14","author":[{"given":"Sven","family":"J\u00f6rges","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,7,27]]},"reference":[{"key":"254_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering\u2014Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl K., B\u00f6ckle G., van der Linden F.: Software Product Line Engineering\u2014Foundations, Principles, and Techniques. Springer, Berlin (2005)"},{"key":"254_CR2","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki K., Eisenecker U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"254_CR3","doi-asserted-by":"crossref","unstructured":"V\u00f6lter, M., Groher, I (2007) Product line implementation using aspect-oriented and model-driven software development. In: SPLC, pp. 233\u2013242","DOI":"10.1109\/SPLINE.2007.23"},{"key":"254_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke E.M., Grumberg O., Peled D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"254_CR5","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-checking: a tutorial introduction. In: Static Analysis, p. 848 (1999)","DOI":"10.1007\/3-540-48294-6_22"},{"key":"254_CR6","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s11334-009-0091-6","volume":"5","author":"M. Bakera","year":"2009","unstructured":"Bakera M., Margaria T., Renner C., Steffen B.: Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5, 211\u2013228 (2009). doi: 10.1007\/s11334-009-0091-6","journal-title":"Innov. Syst. Softw. Eng."},{"key":"254_CR7","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1007\/s00165-010-0169-9","volume":"23","author":"S. J\u00f6rges","year":"2011","unstructured":"J\u00f6rges S., Margaria T., Steffen B.: Assuring property conformance of code generators via model checking. Form. Asp. Comput. 23, 589\u2013606 (2011)","journal-title":"Form. Asp. Comput."},{"key":"254_CR8","first-page":"847","volume":"51","author":"B. Steffen","year":"1997","unstructured":"Steffen B., Margaria T., Braun V., Kalt N.: Hierarchical service definition. Ann. Rev. Commun. ACM 51, 847\u2013856 (1997)","journal-title":"Ann. Rev. Commun. ACM"},{"key":"254_CR9","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Nisius, R., Reitenspie\u00df, M.: A Constraint-oriented service creation environment. In: TACAS, pp. 418\u2013421 (1996)","DOI":"10.1007\/3-540-61042-1_63"},{"issue":"2","key":"254_CR10","first-page":"78","volume":"17","author":"B. Steffen","year":"1996","unstructured":"Steffen B., Margaria T., Cla\u00dfen A., Braun V.: Incremental formalization: a key to industrial success. Softw. Concepts Tools 17(2), 78\u201395 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"254_CR11","unstructured":"Steffen, B.: Method for incremental synthesis of a discrete technical system, WO 98\/24022 (1998)"},{"key":"254_CR12","doi-asserted-by":"crossref","unstructured":"Braun, V., Margaria, T., Steffen, B., Yoo, H., Rychly, T.: Safe service customization. In: Intelligent Network Workshop 1997. IN \u201997., IEEE. Volume, Vol. 2 (1997)","DOI":"10.1109\/INW.1997.601576"},{"key":"254_CR13","doi-asserted-by":"crossref","unstructured":"Ziadi, T., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.M.: Towards a UML profile for software product lines. In: Workshop on Product Familiy Engineering (PFE), pp. 129\u2013139 (2003)","DOI":"10.1007\/978-3-540-24667-1_10"},{"key":"254_CR14","volume-title":"Designing Software Product Lines with UML","author":"H. Gomaa","year":"2004","unstructured":"Gomaa H.: Designing Software Product Lines with UML. Addison Wesley, Reading (2004)"},{"issue":"7","key":"254_CR15","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1109\/TSE.2005.84","volume":"31","author":"R.C. Ommering van","year":"2005","unstructured":"van Ommering R.C.: Software reuse in product populations. IEEE Trans. Softw. Eng. 31(7), 537\u2013550 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"254_CR16","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D. Batory","year":"2004","unstructured":"Batory D., Sarvela J., Rauschmayer A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"254_CR17","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: SPLC (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"254_CR18","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: GPCE, Springer, Berlin (2010)","DOI":"10.1145\/1868294.1868298"},{"key":"254_CR19","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Dave Clarke, R.R., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujilol, S., Villela, K.: Software Diversity State of the Art and Perspectives. STTT, Springer, Berlin (2012)","DOI":"10.1007\/s10009-012-0253-y"},{"key":"254_CR20","unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction. Technical report Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universitat Passau (1993)"},{"issue":"1\u20132","key":"254_CR21","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen B., Margaria T., Braun V.: The electronic tool integration platform: concepts and design. Int. J. Softw. Tools Technol. Transf. STTT 1(1\u20132), 9\u201330 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. STTT"},{"key":"254_CR22","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, M.H., Sidorova, N., Van Der Aalst, W.M.P.: Constraint-based workflow models: change made easy. In: Proceedings of the 2007 OTM confederated international conference on the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS, Volume Part I. OTM\u201907, Springer-Verlag, Berlin, Heidelberg, pp. 77\u201394 (2007)","DOI":"10.1007\/978-3-540-76848-7_7"},{"key":"254_CR23","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Lamprecht, A.L., Margaria, T.: Constraint-oriented Variability Modeling. In: Rash, J., Rouff, C. (eds.) 34th Annual IEEE Software Engineering Workshop (SEW-34), IEEE CS Press, pp. 77\u201383 (2011)","DOI":"10.1109\/SEW.2011.17"},{"key":"254_CR24","doi-asserted-by":"crossref","unstructured":"Salinesi, C., Djebbi, O., Mazo, R., Diaz, D., Lora-Michiels, A.: Constraints: The core of product line engineering. In: RCIS, IEEE, pp. 1\u201310 (2011)","DOI":"10.1109\/RCIS.2011.6006825"},{"issue":"2","key":"254_CR25","doi-asserted-by":"crossref","first-page":"33","DOI":"10.4018\/jismd.2012040102","volume":"3","author":"R. Mazo","year":"2012","unstructured":"Mazo R., Salinesi C., Diaz D., Djebbi O., Lora-Michiels A.: Constraints: The heart of domain and application engineering in the product lines engineering strategy. Int. J. Inf. Syst. Model. Des. 3(2), 33\u201368 (2012)","journal-title":"Int. J. Inf. Syst. Model. Des."},{"key":"254_CR26","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/978-3-540-88479-8_35","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation, Volume 17 of Communications in Computer and Information Science","author":"T. Margaria","year":"2009","unstructured":"Margaria T., Steffen B.: Agile IT thinking in user-centric models. In: Margaria, T., Agile, I.T. (eds) Leveraging Applications of Formal Methods, Verification and Validation, Volume 17 of Communications in Computer and Information Science, pp. 490\u2013. Springer, Berlin (2009)"},{"key":"254_CR27","volume-title":"Handbook of Research on Business Process Modeling","author":"T. Margaria","year":"2009","unstructured":"Margaria T., Steffen B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds) Handbook of Research on Business Process Modeling, IGI Global, USA (2009)"},{"key":"254_CR28","doi-asserted-by":"crossref","unstructured":"Steffen, B.: Unifying models. In: Reischuk, R., Morvan, M. (eds.) STACS 97. Lecture Notes in Computer Science, Vol. 1200. Springer, Berlin, pp. 1\u201320 (1997)","DOI":"10.1007\/BFb0023444"},{"key":"254_CR29","doi-asserted-by":"crossref","unstructured":"Steffen, B., R\u00fcthing, O.: Quality engineering leveraging heterogeneous information (Invited Talk). In: Jhala, R., Schmidt, D. (eds.) Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, Vol. 6538. Springer, Berlin, pp. 23\u201337 (2011)","DOI":"10.1007\/978-3-642-18275-4_4"},{"key":"254_CR30","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T. Margaria","year":"2012","unstructured":"Margaria T., Steffen B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds) Conquering Complexity, pp. 217\u2013236. Springer, London (2012)"},{"key":"254_CR31","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R.: Communication and concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"issue":"1","key":"254_CR32","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1006\/inco.1994.1028","volume":"110","author":"B. Steffen","year":"1994","unstructured":"Steffen B., Ing\u00f3lfsd\u00f3ttir A.: Characteristic Formulae for Processes with Divergence. Information and Computation. 110(1), 149\u2013163 (1994)","journal-title":"Information and Computation."},{"issue":"1","key":"254_CR33","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1006\/inco.1994.1028","volume":"110","author":"B. Steffen","year":"1994","unstructured":"Steffen B., Ing\u00f3lfsd\u00f3ttir A.: Characteristic formulae for processes with divergence. Inf. Comput. 110(1), 149\u2013163 (1994)","journal-title":"Inf. Comput."},{"key":"254_CR34","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Binm, E., Zivm, A., Ur, S. (eds.) Hardware and Software, Verification and Testing. Lecture Notes in Computer Science, Vol. 4383. Springer, Berlin, pp. 92\u2013108 (2007)","DOI":"10.1007\/978-3-540-70889-6_7"},{"key":"254_CR35","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: Proceedings of the 7th Internatio al Conference on the Quality of Information and Communications Technology (QUATIC) (2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"254_CR36","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lamprecht, A.L., Steffen, B., J\u00f6rges, S., Margaria T.: Simplicity principles for plug-in development: the jABC approach. In: Second International Workshop on Developing Tools as Plug-Ins (TOPI 2012) (2012)","DOI":"10.1109\/TOPI.2012.6229816"},{"issue":"Suppl 4","key":"254_CR37","doi-asserted-by":"crossref","first-page":"S12","DOI":"10.1186\/1471-2105-9-S4-S12","volume":"9","author":"T. Margaria","year":"2008","unstructured":"Margaria T., Kubczak C., Steffen B.: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinf. 9(Suppl 4), S12 (2008)","journal-title":"BMC Bioinf."},{"issue":"Suppl 10","key":"254_CR38","doi-asserted-by":"crossref","first-page":"S8","DOI":"10.1186\/1471-2105-10-S10-S8","volume":"10","author":"A.L. Lamprecht","year":"2009","unstructured":"Lamprecht A.L., Margaria T., Steffen B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinf. 10(Suppl 10), S8 (2009)","journal-title":"BMC Bioinf."},{"key":"254_CR39","doi-asserted-by":"crossref","unstructured":"Margaria, T., Nagel, R., Steffen, B.: jETI: a tool for remote tool integration. In: Tools and Algorithms for the Construction and Analysis of Systems. LNCS, Vol. 3440\/2005. Springer, Berlin, pp. 557\u2013562 (2005)","DOI":"10.1007\/978-3-540-31980-1_38"},{"key":"254_CR40","unstructured":"J\u00f6rges, S., Genesys, A.: Model-Driven and Service-Oriented Approach to the Construction and Evolution of Code Generators. PhD thesis, Technische Universit\u00e4t Dortmund (2011)"},{"issue":"4","key":"254_CR41","first-page":"361","volume":"4","author":"S. J\u00f6rges","year":"2008","unstructured":"J\u00f6rges S., Margaria T., Steffen B.: Genesys: service-oriented construction of property conform code generators. ISSE 4(4), 361\u2013384 (2008)","journal-title":"ISSE"},{"key":"254_CR42","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Kubczak, C., Pageau, F., Margaria, T.: Model driven design of reliable robot control programs using the jABC. In: Proceedings of 4th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2007), pp. 137\u2013148 (2007)","DOI":"10.1109\/EASE.2007.17"},{"key":"254_CR43","unstructured":"Java Community Process JSR 315: Java Servlet 3.0 Specification (2011)"},{"key":"254_CR44","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP, Springer, pp. 220\u2013242 (1997)","DOI":"10.1007\/BFb0053381"},{"key":"254_CR45","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the large and modeling in the small. In: Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004. Springer, pp. 33\u201346 (2004)","DOI":"10.1007\/11538097_3"},{"key":"254_CR46","unstructured":"Apache Foundation Apache Velocity (2010). http:\/\/www.apache.org"},{"key":"254_CR47","unstructured":"Bakera, M., Margaria, T., Renner, C.D., Steffen, B.: Property-driven functional healing: playing against undesired behavior In: Business Process Engineering, Proceedings of the CONQUEST 2007, dpunkt, pp. 363\u2013372 (2007)"},{"key":"254_CR48","unstructured":"Bakera, M., Margaria, T., Renner, C., Steffen, B.: Verification, diagnosis and adaptation: tool-supported enhancement of the model-driven verification process. In: Revue des Nouvelles Technologies de l\u2019Information (RNTI-SM-1), pp. 85\u201398 (2007)"},{"key":"254_CR49","doi-asserted-by":"crossref","unstructured":"Czarnecki, K.: Overview of generative software development. In: International Workshop on Unconventional Programming Paradigms, Springer, pp. 326\u2013341 (2004)","DOI":"10.1007\/11527800_25"},{"key":"254_CR50","doi-asserted-by":"crossref","unstructured":"Pettifer, S., Ison, J., Kalas, M., Thorne, D., McDermott, P., Jonassen, I., Liaquat, A., Fernandez, J.M., Rodriguez, J.M., Partners, I., Pisano, D.G., Blanchet, C., Uludag, M., Rice, P., Bartaseviciute, E., Rapacki, K., Hekkelman, M., Sand, O., Stockinger, H., Clegg, A.B., Bongcam-Rudloff, E., Salzemann, J., Breton, V., Attwood, T.K., Cameron, G., Vriend, G.: The EMBRACE web service collection. Nucl. Acids Res., 38, p. gkq297 (2010)","DOI":"10.1093\/nar\/gkq297"},{"key":"254_CR51","doi-asserted-by":"crossref","unstructured":"van de Aalst, W.M.P, Pesic, M.: DecSerFlow Towards a Truly Declarative Service Flow Language. In: Web Services and Formal Methods. Third International Workshop. Lecture Notes in Computer Science, Vol. 4184, Springer, Berlin, pp. 1\u201323 (2006)","DOI":"10.1007\/11841197_1"},{"key":"254_CR52","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp. 287\u2013300 (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"254_CR53","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. TWEB 4(1) (2010)","DOI":"10.1145\/1658373.1658376"},{"issue":"21","key":"254_CR54","doi-asserted-by":"crossref","first-page":"2947","DOI":"10.1093\/bioinformatics\/btm404","volume":"23","author":"M. Larkin","year":"2007","unstructured":"Larkin M., Blackshields G., Brown N., Chenna R., McGettigan P., McWilliam H., Valentin F., Wallace I., Wilm A., Lopez R., Thompson J., Gibson T., Higgins D.: Clustal W and Clustal X version 2.0. Bioinformatics 23(21), 2947\u20132948 (2007)","journal-title":"Bioinformatics"},{"key":"254_CR55","doi-asserted-by":"crossref","unstructured":"Salinesi, C., Mazo, R., Diaz, D., Djebbi, O.: Using integer constraint solving in reuse based requirements engineering. In: IEEE International Conference on 0 Requirements Engineering, pp. 243\u2013251 (2010)","DOI":"10.1109\/RE.2010.36"},{"key":"254_CR56","volume-title":"Generative programming: methods, tools, and applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki K., Eisenecker U.W.: Generative programming: methods, tools, and applications. ACM Press\/Addison-Wesley Publishing Co., New York (2000)"},{"key":"254_CR57","doi-asserted-by":"crossref","unstructured":"Barth, B., Butler, G., Czarnecki, K., Eisenecker, U.: In: Generative Programming. Lecture Notes in Computer Science, Vol. 2323. Springer, Berlin, pp. 61\u201388 (2002)","DOI":"10.1007\/3-540-47853-1_11"},{"key":"254_CR58","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Annual Symposium on Principles of Programming Languages (1989)","DOI":"10.1145\/75277.75293"},{"key":"254_CR59","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: LTL guided planning: revisiting automatic tool composition in ETI. In: Proceedings of the 31st IEEE Software Engineering Workshop, IEEE Computer Society, pp. 214\u2013226 (2007)","DOI":"10.1109\/SEW.2007.63"},{"key":"254_CR60","doi-asserted-by":"crossref","unstructured":"Metzger, A., Pohl, K., Heymans, P., Schobbens, P.Y., Saval, G.: Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. In: IEEE International Conference on 0 Requirements Engineering, pp. 243\u2013253 (2007)","DOI":"10.1109\/RE.2007.61"},{"issue":"1","key":"254_CR61","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.infsof.2008.04.002","volume":"51","author":"S. Deelstra","year":"2009","unstructured":"Deelstra S., Sinnema M., Bosch J.: Variability assessment in software product families. Inf. Softw. Technol. 51(1), 195\u2013218 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"254_CR62","unstructured":"Than Tun, T., Boucher, Q., Classen, A., Hubaux, A., Heymans, P.: Relating requirements and feature configurations: a systematic approach. In: Proceedings of the 13th International Software Product Line Conference. SPLC \u201909, Pittsburgh, PA, USA, Carnegie Mellon University, pp. 201\u2013210 (2009)"},{"key":"254_CR63","volume-title":"Automatische Generierung von Prozessen im jABC","author":"S. Naujokat","year":"2009","unstructured":"Naujokat S.: Automatische Generierung von Prozessen im jABC. Diplomarbeit, TU Dortmund (2009)"},{"key":"254_CR64","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Seven variations of an alignment workflow\u2014an illustration of agile process design and management in Bio-jETI. In: Bioinformatics Research and Applications. LNBI, Vol. 4983. Springer, Atlanta, Georgia, pp. 445\u2013456 (2008)","DOI":"10.1007\/978-3-540-79450-9_42"},{"issue":"suppl_2","key":"254_CR65","doi-asserted-by":"crossref","first-page":"W11","DOI":"10.1093\/nar\/gkp300","volume":"37","author":"Y. Kwon","year":"2009","unstructured":"Kwon Y., Shigemoto Y., Kuwana Y., Sugawara H.: Web API for biology with a workflow navigation system. Nucl. Acids Res. 37(suppl_2), W11\u201316 (2009)","journal-title":"Nucl. Acids Res."},{"key":"254_CR66","doi-asserted-by":"crossref","unstructured":"Kang K., Lee J., Donohoe P.: Feature-Oriented Project Line Engineering. IEEE Software. 19(4), (2002)","DOI":"10.1109\/MS.2002.1020288"},{"key":"254_CR67","doi-asserted-by":"crossref","unstructured":"Kastner, C., Thum, T., Saake, G., Feigenspan, J., Leich, T., Wielgorz, F., Apel, S.: Feature IDE: a tool framework for feature -oriented software development. In: Proceedings of the 31st International Conference on Software Engineering. ICSE \u201909, Washington, DC, USA, IEEE Computer Society, pp. 611\u2013614 (2009)","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"254_CR68","unstructured":"Jonsson, B., Margaria, T., Naeser, G., Nystr\u00f6m, J., Steffen, B.: Incremental requirement specification for evolving systems. In: Calder, M., Magill, E.H. (eds.) Feature Interactions in Telecommunications and Software Systems VI (FIW 2000), IOS Press, pp. 145\u2013162 (2000)"},{"key":"254_CR69","first-page":"65","volume":"8","author":"B. Jonsson","year":"2001","unstructured":"Jonsson B., Margaria T., Naeser G., Nystr\u00f6m J., Steffen B.: Incremental requirement specification for evolving systems. Nordic J. Comput. 8, 65\u201387 (2001)","journal-title":"Nordic J. Comput."},{"key":"254_CR70","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: Synthesis-based variability control: correctness by construction. In: FMCO 2011 post-proceedings. LNCS, Springer (2012, submitted)","DOI":"10.1007\/978-3-642-35887-6_4"},{"issue":"02","key":"254_CR71","doi-asserted-by":"crossref","first-page":"177+","DOI":"10.1142\/S0218843008001798","volume":"17","author":"F. Gottschalk","year":"2008","unstructured":"Gottschalk F., van der Aalst W.M.P., Jansen-Vullers M.H., La Rosa M.: Configurable Workflow Models. Int. J. Coop. Inf. Syst. 17(02), 177+ (2008)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"254_CR72","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, Vol. 1. ICSE \u201910, New York, NY, USA, ACM, pp. 335\u2013344 (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"254_CR73","doi-asserted-by":"crossref","unstructured":"Asirelli, P., Beek, M.H.T., Fantechi, A., Gnesi, S.: A logical framework to deal with variability. In: Proceedings of the 8th international conference on Integrated formal methods. IFM\u201910, Berlin, Heidelberg, Springer-Verlag, pp. 43\u201358 (2010)","DOI":"10.1007\/978-3-642-16265-7_5"},{"key":"254_CR74","unstructured":"Asirelli, P., ter Beek, M., Gnesi, S., Fantechi, A.: Formal Description of Variability in Product Families. In: Software Product Line Conference (SPLC), 2011 15th International, pp. 130\u2013139 (2011)"},{"key":"254_CR75","unstructured":"Lamprecht, A.L., Naujokat, S., Steffen, B., Margaria, T.: Constraint-guided workflow composition based on the EDAM ontology. In: Burger, A., Marshall, M.S., Romano, P., Paschke, A., Splendiani, A. (eds.) Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, Berlin, Germany, December 10, 2010, Vol. 698. CEUR Workshop Proceedings (2010)"},{"issue":"Suppl 1","key":"254_CR76","doi-asserted-by":"crossref","first-page":"S5","DOI":"10.1186\/2041-1480-2-S1-S5","volume":"2","author":"A.L. Lamprecht","year":"2011","unstructured":"Lamprecht A.L., Naujokat S., Margaria T., Steffen B.: Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(Suppl 1), S5 (2011)","journal-title":"J. Biomed. Semant."},{"issue":"6","key":"254_CR77","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0168-9525(00)02024-2","volume":"16","author":"P. Rice","year":"2000","unstructured":"Rice P., Longden I., Bleasby A.: EMBOSS the European molecular biology open software suite. Trends Genet. TIG 16(6), 7\u2013276 (2000)","journal-title":"Trends Genet. TIG"},{"issue":"10","key":"254_CR78","doi-asserted-by":"crossref","first-page":"R80","DOI":"10.1186\/gb-2004-5-10-r80","volume":"5","author":"R.C. Gentleman","year":"2004","unstructured":"Gentleman R.C., Carey V.J., Bates D.M., Bolstad B., Dettling M., Dudoi S., Ellis B., Gautier L., Ge Y., Gentry J., Hornik K., Hothorn T., Huber W., Iacus S., Irizarry R., Leisch F., Li C., Maechler M., Rossini A.J., Sawitzki G., Smith C., Smyth G., Tierney L., Yang J.Y., Zhang J.: Bioconductor: open software development for computational biology and bioinformatics. Genome Biol. 5(10), R80 (2004)","journal-title":"Genome Biol."},{"key":"254_CR79","unstructured":"DDBJ:Web API for Biology. http:\/\/xml.nig.ac.jp\/workflow\/ Workflows composed of the Web APIs"},{"issue":"Suppl 4","key":"254_CR80","doi-asserted-by":"crossref","first-page":"S13","DOI":"10.1186\/1471-2105-9-S4-S13","volume":"9","author":"A.L. Lamprecht","year":"2008","unstructured":"Lamprecht A.L., Margaria T., Steffen B., Sczyrba A., Hartmeier S., Giegerich R., GeneFisher P.: variations of GeneFisher as processes in Bio-jETI. BMC Bioinformatics. 9(Suppl 4), S13 (2008)","journal-title":"BMC Bioinformatics."},{"key":"254_CR81","unstructured":"Ebert, B.E.: A systems approach to understand and engineer whole-cell redox biocatalysts. Dissertation, Fakult\u00e4t Bio- und Chemieingenieurwesen, Technische Universit\u00e4t Dortmund (2011)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0254-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0254-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0254-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T14:58:36Z","timestamp":1743865116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0254-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,27]]},"references-count":81,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["254"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0254-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,27]]}}}