{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T04:14:16Z","timestamp":1743653656546,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642280320"},{"type":"electronic","value":"9783642280337"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28033-7_1","type":"book-chapter","created":{"date-parts":[[2012,7,3]],"date-time":"2012-07-03T12:28:00Z","timestamp":1341318480000},"page":"1-15","source":"Crossref","is-referenced-by-count":2,"title":["Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows"],"prefix":"10.1007","author":[{"given":"Anna-Lena","family":"Lamprecht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., van Hee, K.: Workflow Management: Models, Methods and Systems. MIT Press (2002)","key":"1_CR1","DOI":"10.7551\/mitpress\/7301.001.0001"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering - Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg (2005)"},{"unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)","key":"1_CR3"},{"doi-asserted-by":"crossref","unstructured":"Kang, K., Lee, J., Donohoe, P.: Feature-Oriented Project Line Engineering. IEEE Software\u00a019(4) (2002)","key":"1_CR4","DOI":"10.1109\/MS.2002.1020288"},{"key":"1_CR5","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-88479-8_35","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T. Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Agile IT: Thinking in User-Centric Models. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. CCIS, vol.\u00a017, pp. 490\u2013502. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing-Approach. In: Handbook of Research on Business Process Modeling. IGI Global (2009)","key":"1_CR6","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-Based Loose Programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology, QUATIC (September 2010)","key":"1_CR8","DOI":"10.1109\/QUATIC.2010.53"},{"key":"1_CR9","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-540-79450-9_42","volume-title":"Bioinformatics Research and Applications","author":"A.-L. Lamprecht","year":"2008","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. In: M\u0103ndoiu, I., Wang, S.-L., Zelikovsky, A. (eds.) ISBRA 2008. LNCS (LNBI), vol.\u00a04983, pp. 445\u2013456. Springer, Heidelberg (2008)"},{"issue":"suppl_2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"11","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.\u00a037(suppl_2), W11\u2013W16 (2009)","journal-title":"Nucl. Acids Res."},{"issue":"21","key":"1_CR11","doi-asserted-by":"publisher","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\u00a023(21), 2947\u20132948 (2007)","journal-title":"Bioinformatics"},{"issue":"7","key":"1_CR12","doi-asserted-by":"publisher","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. Software Eng.\u00a031(7), 537\u2013550 (2005)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR13","doi-asserted-by":"publisher","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. Innovations in Systems and Software Engineering\u00a05, 211\u2013228 (2009), doi:10.1007\/s11334-009-0091-6","journal-title":"Innovations in Systems and Software Engineering"},{"unstructured":"Naujokat, S.: Automatische Generierung von Prozessen im jABC. Diplomarbeit, TU Dortmund (September 2009)","key":"1_CR14"},{"unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction. Technical report, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1993)","key":"1_CR15"},{"key":"1_CR16","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)","key":"1_CR17"},{"doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-Checking - A Tutorial Introduction. Static Analysis, 848 (1999)","key":"1_CR18","DOI":"10.1007\/3-540-48294-6_22"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z., Wolper, P.: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst.\u00a06(1), 68\u201393 (1984)","journal-title":"ACM Trans. Program. Lang. Syst."},{"unstructured":"Steffen, B., Margaria, T., von der Beeck, M.: Automatic synthesis of linear process models from temporal constraints: An incremental approach. In: ACM\/SIGPLAN Int. Workshop on Automated Analysis of Software, AAS 1997 (1997)","key":"1_CR20"},{"doi-asserted-by":"crossref","unstructured":"Braun, V., Margaria, T., Steffen, B., Yoo, H., Rychly, T.: Safe service customization. In: Intelligent Network Workshop, IN 1997, vol.\u00a02, p. 4. IEEE (1997)","key":"1_CR21","DOI":"10.1109\/INW.1997.601576"},{"issue":"suppl.10","key":"1_CR22","doi-asserted-by":"publisher","first-page":"8","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 Bioinformatics\u00a010(suppl.10), S8 (2009)","journal-title":"BMC Bioinformatics"},{"issue":"suppl. 1","key":"1_CR23","doi-asserted-by":"publisher","first-page":"5","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. Journal of Biomedical Semantics\u00a02(suppl. 1), S5 (2011)","journal-title":"Journal of Biomedical Semantics"},{"doi-asserted-by":"crossref","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, CEUR Workshop Proceedings, Berlin, Germany, December 10, vol.\u00a0698 (2010)","key":"1_CR24","DOI":"10.1038\/npre.2010.5397.1"},{"doi-asserted-by":"crossref","unstructured":"Schmid, K., Rabiser, R., Gr\u00fcnbacher, P.: A comparison of decision modeling approaches in product lines. In: VaMoS, pp. 119\u2013126 (2011)","key":"1_CR25","DOI":"10.1145\/1944892.1944907"},{"doi-asserted-by":"crossref","unstructured":"V\u00f6lter, M., Groher, I.: Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In: SPLC, pp. 233\u2013242 (2007)","key":"1_CR26","DOI":"10.1109\/SPLINE.2007.4339272"},{"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)","key":"1_CR27","DOI":"10.1007\/978-3-540-24667-1_10"},{"doi-asserted-by":"crossref","unstructured":"Gomaa, H.: Designing Software Product Lines with UML. Addison Wesley (2004)","key":"1_CR28","DOI":"10.1007\/978-3-540-28630-1_29"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/11527800_25","volume-title":"Unconventional Programming Paradigms","author":"C. Busch","year":"2005","unstructured":"Busch, C.: Overview of Generative Software Development. In: Ban\u00e2tre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol.\u00a03566, pp. 326\u2013341. Springer, Heidelberg (2005)"},{"issue":"6","key":"1_CR30","doi-asserted-by":"publisher","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. Software Eng.\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Software Eng."},{"unstructured":"Heidenreich, F., Wende, C.: Bridging the Gap Between Features and Models. In: Aspect-Oriented Product Line Engineering, AOPLE 2007 (2007)","key":"1_CR31"},{"doi-asserted-by":"crossref","unstructured":"Noda, N., Kishi, T.: Aspect-Oriented Modeling for Variability Management. In: SPLC (2008)","key":"1_CR32","DOI":"10.1109\/SPLC.2008.44"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-02408-5_2","volume-title":"Theory and Practice of Model Transformations","author":"S. Apel","year":"2009","unstructured":"Apel, S., Janda, F., Trujillo, S., K\u00e4stner, C.: Model Superimposition in Software Product Lines. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 4\u201319. Springer, Heidelberg (2009)"},{"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)","key":"1_CR34","DOI":"10.1109\/SPLC.2008.25"},{"key":"1_CR35","volume-title":"GPCE","author":"D. Clarke","year":"2010","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: GPCE. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"P\u00e9rez, J., D\u00edaz, J., Soria, C.C., Garbajosa, J.: Plastic Partial Components: A solution to support variability in architectural components. In: WICSA\/ECSA, pp. 221\u2013230 (2009)","key":"1_CR36","DOI":"10.1109\/WICSA.2009.5290808"},{"unstructured":"Schaefer, I., Lamprecht, A.L., Margaria, T.: Constraint-oriented Variability Modelin. In: Rash, J., Rouff, C. (eds.) 34th Annual IEEE Software Engineering Workshop (SEW-34). IEEE CS Press (to appear, 2011)","key":"1_CR37"}],"container-title":["Communications in Computer and Information Science","Eternal Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28033-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T03:55:13Z","timestamp":1743652513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28033-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642280320","9783642280337"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28033-7_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}