{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:18:19Z","timestamp":1742991499166,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-93851-4_18","type":"book-chapter","created":{"date-parts":[[2009,1,13]],"date-time":"2009-01-13T02:18:17Z","timestamp":1231813097000},"page":"176-187","source":"Crossref","is-referenced-by-count":6,"title":["Towards a Methodology for Semantic Business Process Modeling and Configuration"],"prefix":"10.1007","author":[{"given":"Ingo","family":"Weber","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"Hoffmann","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"Nitzsche","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Hepp, M., Hinkelmann, K., Karagiannis, D., Klein, R., Stojanovic, N. (eds.): Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM 2007), Innsbruck, Austria (2007)"},{"key":"18_CR2","unstructured":"US Dept. of the Treasury, CIO Council: Treasury Enterprise Architecture Framework Version 1.0 (2000) [Retrieved September 4, 2007], http:\/\/www.eaframeworks.com\/TEAF\/teaf.doc"},{"key":"18_CR3","volume-title":"Production Workflow - Concepts and Techniques","author":"F. Leymann","year":"2000","unstructured":"Leymann, F., Roller, D.: Production Workflow - Concepts and Techniques. Prentice-Hall, Englewood Cliffs (2000)"},{"volume-title":"Process Aware Information Systems: Bridging People and Software Through Process Technology","year":"2005","key":"18_CR4","unstructured":"Dumas, M., ter Hofstede, A., van der Aalst, W.M.P. (eds.): Process Aware Information Systems: Bridging People and Software Through Process Technology. Wiley, Chichester (2005)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.datak.2005.02.004","volume":"56","author":"K. Hee van","year":"2006","unstructured":"van Hee, K., Sidorova, N., Somers, L., Voorhoeve, M.: Consistency in model integration. Data & Knowledge Engineering\u00a056, 4\u201322 (2006)","journal-title":"Data & Knowledge Engineering"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.datak.2005.05.007","volume":"58","author":"P.J.M. Frederiks","year":"2006","unstructured":"Frederiks, P.J.M., van der Weide, T.P.: Information modeling: The process and the required competencies of its participants. Data & Knowledge Engineering\u00a058, 4\u201320 (2006)","journal-title":"Data & Knowledge Engineering"},{"key":"18_CR7","unstructured":"Fantini, P., Savoldelli, A., Milanesi, M., Carizzoni, G., Koehler, J., Stein, S., Angeli, R., Hepp, M., Roman, D., Brelage, C., Born, M.: SUPER Deliverable D2.2: Semantic Business Process Life Cycle (August 6, 2007) (2007), http:\/\/www.ip-super.org\/res\/Deliverables\/M12\/D2.2.pdf"},{"key":"18_CR8","series-title":"Process Management: A Guide for the Design of Business Processes","first-page":"41","volume-title":"Preparation of Process Modeling","year":"2003","unstructured":"Becker, J., Kugeler, M., Rosemann, M. (eds.): Preparation of Process Modeling. Process Management: A Guide for the Design of Business Processes, pp. 41\u201378. Springer, Heidelberg (2003)"},{"key":"18_CR9","unstructured":"Born, M., D\u00f6rr, F., Weber, I.: User-friendly Semantic Annotation in Business Process Modeling. In: Hf-SDDM 2007: Workshop on Human-friendly Service Description, Discovery and Matchmaking, at WISE 2007, Nancy, France (to appear, 2007)"},{"key":"18_CR10","unstructured":"Markovic, I., Pereira, A.C.: A formal framework for reuse in business process modeling. In: Workshop on Advances in Semantics for Web services (semantics4ws), at BPM 2007, Brisbane, Australia (to appear, 2007)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal\u00a044, 246\u2013279 (2001)","journal-title":"The Computer Journal"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1142\/S0218843004000973","volume":"13","author":"J. Dehnert","year":"2004","unstructured":"Dehnert, J., van der Aalst, W.M.P.: Bridging The Gap Between Business Models And Workflow Specifications. International J. Cooperative Inf. Syst.\u00a013, 289\u2013332 (2004)","journal-title":"International J. Cooperative Inf. Syst."},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-72988-4_31","volume-title":"Advanced Information Systems Engineering","author":"J. Mendling","year":"2007","unstructured":"Mendling, J., van der Aalst, W.M.P.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 439\u2013453. Springer, Heidelberg (2007)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/11494744_24","volume-title":"Applications and Theory of Petri Nets 2005","author":"M.T. Wynn","year":"2005","unstructured":"Wynn, M.T., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 423\u2013443. Springer, Heidelberg (2005)"},{"key":"18_CR16","unstructured":"Pistore, M., Traverso, P., Bertoli, P.: Automated composition of web services by planning in asynchronous domains. In: 15th International Conference on Automated Planning and Scheduling (ICAPS 2005) (2005)"},{"key":"18_CR17","first-page":"46","volume-title":"Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, pp. 46\u201357. IEEE Computer Society Press, Providence (1977)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Bertino, E., Ferrari, E., Atluri, V.: The Specification and Enforcement of Authorization Constraints in Workflow Management Systems. ACM Transactions on Information and System Security (TISSEC)\u00a02 (1999)","DOI":"10.1145\/300830.300837"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Nitzsche, J., van Lessen, T., Karastoyanova, D., Leymann, F.: BPEL for Semantic Web Services (submitted, 2007)","DOI":"10.1007\/978-3-540-76888-3_37"},{"key":"18_CR20","unstructured":"Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Gu\u00edzar, A., Kartha, N., Liu, C.K., Khalaf, R., K\u00f6nig, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language version 2.0. Committee specification, OASIS (2007)"},{"key":"18_CR21","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001)"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/11767138_25","volume-title":"Advanced Information Systems Engineering","author":"J. Recker","year":"2006","unstructured":"Recker, J., Mendling, J.: On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages. In: Latour, T., Petit, M. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 521\u2013532. Springer, Heidelberg (2006)"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Mendling, J., Lassen, K., Zdun, U.: On the transformation of control flow between block-oriented and graph-oriented process modeling languages. International Journal of Business Process Integration and Management\u00a02 (2007)","DOI":"10.1504\/IJBPIM.2008.020973"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/11767138_28","volume-title":"Advanced Information Systems Engineering","author":"C. Ouyang","year":"2006","unstructured":"Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.: Translating standard process models to BPEL. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 417\u2013432. Springer, Heidelberg (2006)"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Nitzsche, J., van Lessen, T., Karastoyanova, D., Leymann, F.: WSMO\/X in the Context of Business Processes: Improvement Recommendations. International Journal of Web Information Systems (2007) ISSN: 1744-0084","DOI":"10.1108\/17440080710829234"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Haller, A., Cimpian, E., Mocan, A., Oren, E., Bussler, C.: WSMX \u2013 a semantic service-oriented architecture. In: Proceedings of the International Conference on Web Services (ICWS 2005), Orlando, USA (2005)","DOI":"10.1109\/ICWS.2005.139"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Li, Z., Sun, W., Du, B.: Bpel4ws unit testing: Framework and implementation. International Journal of Business Process Integration and Management\u00a02 (2007)","DOI":"10.1504\/IJBPIM.2008.020976"},{"key":"18_CR28","volume-title":"Enterprise Service Bus","author":"D.A. Chappell","year":"2004","unstructured":"Chappell, D.A.: Enterprise Service Bus. O\u2019Reilly, Sebastopol (2004)"},{"key":"18_CR29","unstructured":"Abramowicz, W., Filipowska, A., Kaczmarek, M., Kaczmarek, T.: Semantically enhanced Business Process Modelling Notation. In: [1]"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93851-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:50:18Z","timestamp":1558057818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93851-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93851-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}