{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T12:47:57Z","timestamp":1780922877229,"version":"3.54.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319125671","type":"print"},{"value":"9783319125688","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","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-29749-6_2","type":"book-chapter","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T09:47:47Z","timestamp":1334224067000},"page":"16-32","source":"Crossref","is-referenced-by-count":36,"title":["Creating Declarative Process Models Using Test Driven Modeling Suite"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Zugal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jakob","family":"Pinggera","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barbara","family":"Weber","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.datak.2006.04.007","volume":"61","author":"R. Lenz","year":"2007","unstructured":"Lenz, R., Reichert, M.: IT support for healthcare processes - premises, challenges, perspectives. DKE\u00a061, 39\u201358 (2007)","journal-title":"DKE"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Dumas, M., van der Aalst, W.M., ter Hofstede, A.H.: Process Aware Information Systems: Bridging People and Software Through Process Technology. Wiley-Interscience (2005)","DOI":"10.1002\/0471741442"},{"key":"2_CR3","first-page":"93","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPTflex: Supporting Dynamic Changes of Workflow without Losing Control. JIIS\u00a010, 93\u2013129 (1998)","journal-title":"JIIS"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Weske, M.: Case handling: a new paradigm for business process support. DKE\u00a053, 129\u2013162 (2005)","journal-title":"DKE"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-76848-7_7","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Pesic","year":"2007","unstructured":"Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-Based Workflow Models: Change Made Easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 77\u201394. Springer, Heidelberg (2007)"},{"key":"2_CR6","first-page":"349","volume":"30","author":"S.W. Sadiq","year":"2005","unstructured":"Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. ISJ\u00a030, 349\u2013378 (2005)","journal-title":"ISJ"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.datak.2008.05.001","volume":"66","author":"B. Weber","year":"2008","unstructured":"Weber, B., Reichert, M., Rinderle, S.: Change Patterns and Change Support Features - Enhancing Flexibility in Process-Aware Information Systems. DKE\u00a066, 438\u2013466 (2008)","journal-title":"DKE"},{"key":"2_CR8","unstructured":"Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Control to Users. PhD thesis, TU Eindhoven (2008)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-642-02144-2_37","volume-title":"Advanced Information Systems Engineering","author":"B. Weber","year":"2009","unstructured":"Weber, B., Reijers, H.A., Zugal, S., Wild, W.: The Declarative Approach to Business Process Execution: An Empirical Test. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 470\u2013485. Springer, Heidelberg (2009)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Zugal, S., Pinggera, J., Weber, B.: Toward Enhanced Life-Cycle Support for Declarative Processes. JSME (2011), doi:10.1002\/smr.554","DOI":"10.1002\/smr.554"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1007\/11915072_16","volume-title":"On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops","author":"P. Bommel van","year":"2006","unstructured":"van Bommel, P., Hoppenbrouwers, S.J.B.A., Proper, H.A(E.), van der Weide, T.P.: Exploring Modelling Strategies in a Meta-modelling Context. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2006 Workshops. LNCS, vol.\u00a04278, pp. 1128\u20131137. Springer, Heidelberg (2006)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M. Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies. ACM Trans. Web\u00a04, 1\u201362 (2010)","journal-title":"ACM Trans. Web"},{"key":"2_CR13","unstructured":"Zugal, S., Pinggera, J., Weber, B., Mendling, J., Reijers, H.A.: Assessing the impact of hierarchy on model understandability\u2014a cognitive perspective. In: Proc. EESSMod 2011, pp. 18\u201327 (2011)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1006\/ijhc.1996.0048","volume":"45","author":"M. Scaife","year":"1996","unstructured":"Scaife, M., Rogers, Y.: External cognition: how do graphical representations work? Int. J. Human-Computer Studies\u00a045, 185\u2013213 (1996)","journal-title":"Int. J. Human-Computer Studies"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1207\/s15516709cog1801_3","volume":"18","author":"J. Zhang","year":"1994","unstructured":"Zhang, J., Norman, D.A.: Representations in distributed cognitive tasks. Cognitive Science\u00a018, 87\u2013122 (1994)","journal-title":"Cognitive Science"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1207\/s15516709cog2102_3","volume":"21","author":"J. Zhang","year":"1997","unstructured":"Zhang, J.: The nature of external representations in problem solving. Cognitive Science\u00a021, 179\u2013217 (1997)","journal-title":"Cognitive Science"},{"key":"2_CR17","unstructured":"Zugal, S., Pinggera, J., Weber, B.: Assessing process models with cognitive psychology. In: Proc. EMISA 2011, pp. 177\u2013182 (2011)"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/TSMCA.2010.2087017","volume":"41","author":"H.A. Reijers","year":"2011","unstructured":"Reijers, H.A., Mendling, J.: A Study into the Factors that Influence the Understandability of Business Process Models. IEEE Transaction on Systems Man & Cybernetics, Part A\u00a041, 449\u2013462 (2011)","journal-title":"IEEE Transaction on Systems Man & Cybernetics, Part A"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1287\/isre.8.1.25","volume":"8","author":"J. Kim","year":"1997","unstructured":"Kim, J., Lerch, F.J.: Why Is Programming (Sometimes) So Difficult? Programming as Scientific Discovery in Multiple Problem Spaces. ISR\u00a08, 25\u201350 (1997)","journal-title":"ISR"},{"key":"2_CR20","first-page":"131","volume":"7","author":"T.R. Green","year":"1996","unstructured":"Green, T.R., Petre, M.: Usability Analysis of Visual Programming Environments: A \u2019Cognitive Dimensions\u2019 Framework. JVLC\u00a07, 131\u2013174 (1996)","journal-title":"JVLC"},{"key":"2_CR21","unstructured":"Beck, K.: Test Driven Development: By Example. Addison-Wesley (2002)"},{"key":"2_CR22","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-21759-3_12","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"S. Zugal","year":"2011","unstructured":"Zugal, S., Pinggera, J., Weber, B.: The Impact of Testcases on the Maintainability of Declarative Process Models. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS 2011 and EMMSAD 2011. LNBIP, vol.\u00a081, pp. 163\u2013177. Springer, Heidelberg (2011)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.: DECLARE: Full Support for Loosely-Structured Processes. In: Proc. EDOC 2007, pp. 287\u2013298 (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"2_CR24","unstructured":"Pinggera, J., Zugal, S., Weber, B.: Investigating the process of process modeling with cheetah experimental platform. In: Proc. ER-POIS 2010, pp. 13\u201318 (2010)"},{"key":"2_CR25","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-28108-2_36","volume-title":"Business Process Management Workshops","author":"J. Pinggera","year":"2012","unstructured":"Pinggera, J., Zugal, S., Weidlich, M., Fahland, D., Weber, B., Mendling, J., Reijers, H.A.: Tracing the Process of Process Modeling with Modeling Phase Diagrams. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol.\u00a099, pp. 370\u2013382. Springer, Heidelberg (2012)"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1242","DOI":"10.1007\/11915072_27","volume-title":"On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops","author":"S.J.B.A.(S.) Hoppenbrouwers","year":"2006","unstructured":"Hoppenbrouwers, S.J.B.A(S.), Lindeman, L(L.), Proper, H.A(E.): Capturing Modeling Processes \u2013 Towards the MoDial Modeling Laboratory. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2006 Workshops. LNCS, vol.\u00a04278, pp. 1242\u20131252. Springer, Heidelberg (2006)"},{"key":"2_CR27","unstructured":"Hoppenbrouwers, S.J., Proper, E.H., van der Weide, T.P.: Formal Modelling as a Grounded Conversation. In: Proc. LAP 2005, pp. 139\u2013155 (2005)"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1016\/j.datak.2010.02.002","volume":"69","author":"A. Tort","year":"2010","unstructured":"Tort, A., Oliv\u00e9, A.: An approach to testing conceptual schemas. DKE\u00a069, 598\u2013618 (2010)","journal-title":"DKE"},{"key":"2_CR29","unstructured":"Tort, A., Oliv\u00e9, A.: First Steps Towards Conceptual Schema Testing. In: Proc. CAiSE Forum 2009, pp. 1\u20136 (2009)"},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1025890110119","volume":"24","author":"D. Amyot","year":"2003","unstructured":"Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunication Systems\u00a024, 61\u201394 (2003)","journal-title":"Telecommunication Systems"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: Proc. SCESM 2006, pp. 5\u201312 (2006)","DOI":"10.1145\/1138953.1138956"},{"key":"2_CR32","unstructured":"Fahland, D.: From Scenarios To Components. PhD thesis, Humboldt-Universit\u00e4t zu Berlin (2010)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-02424-5_14","volume-title":"Applications and Theory of Petri Nets","author":"D. Fahland","year":"2009","unstructured":"Fahland, D.: Oclets \u2013 Scenario-Based Modeling with Petri Nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol.\u00a05606, pp. 223\u2013242. Springer, Heidelberg (2009)"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-540-75183-0_25","volume-title":"Business Process Management","author":"E. Lamma","year":"2007","unstructured":"Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Inducing Declarative Logic-Based Models from Labeled Traces. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 344\u2013359. Springer, Heidelberg (2007)"},{"key":"2_CR35","unstructured":"Glinz, M., Seybold, C., Meier, S.: Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models. In: Proc. MBEES 2007, pp. 103\u2013112 (2007)"}],"container-title":["Lecture Notes in Computer Science","Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29749-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T04:11:25Z","timestamp":1556683885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29749-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783319125671","9783319125688"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29749-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}