{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:39:36Z","timestamp":1742938776518,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155420"},{"type":"electronic","value":"9783642155437"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15543-7_6","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T06:02:23Z","timestamp":1282370543000},"page":"161-181","source":"Crossref","is-referenced-by-count":0,"title":["Semantic Business Process Engineering"],"prefix":"10.1007","author":[{"given":"Jens","family":"Lemcke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tirdad","family":"Rahmani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Friesen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"6_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003) ISBN 0-521-78176-0"},{"key":"6_CR2","volume-title":"SAP R\/3 Business Blueprint: Understanding Enterprise Supply Chain Management","author":"T.A. Curran","year":"1999","unstructured":"Curran, T.A., Ladd, T., Ladd, A.: SAP R\/3 Business Blueprint: Understanding Enterprise Supply Chain Management, 2nd edn. Prentice Hall International, Englewood Cliffs (1999)","edition":"2"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Esparza","year":"1998","unstructured":"Esparza, J.: Decidability and complexity of petri net problems - an introduction. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 374\u2013428. Springer, Heidelberg (1998) ISBN 3-540-65306-6"},{"key":"6_CR4","first-page":"244","volume":"52","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for petri nets - a survey. Bulletin of the EATCS\u00a052, 244\u2013262 (1994)","journal-title":"Bulletin of the EATCS"},{"key":"6_CR5","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Sattler, U. (eds.): Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), CEUR Workshop Proceedings, Oxford, UK, July 27-30, vol.\u00a0477. CEUR-WS.org (2009)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-44541-2_8","volume-title":"Graph Drawing","author":"C. Gutwenger","year":"2001","unstructured":"Gutwenger, C., Mutzel, P.: A linear time implementation of spqr-trees. In: Marks, J. (ed.) GD 2000. LNCS, vol.\u00a01984, pp. 77\u201390. Springer, Heidelberg (2001)"},{"key":"6_CR7","volume-title":"Component-Based Software Engineering: Putting the Pieces Together","author":"G.T. Heineman","year":"2001","unstructured":"Heineman, G.T., Councill, W.T.: Component-Based Software Engineering: Putting the Pieces Together, 1st edn. Addison-Wesley Professional, Reading (2001)","edition":"1"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1137\/0202012","volume":"2","author":"J.E. Hopcroft","year":"1973","unstructured":"Hopcroft, J.E., Tarjan, R.E.: Dividing a graph into triconnected components. SIAM J. Comput.\u00a02(3), 135\u2013158 (1973)","journal-title":"SIAM J. Comput."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time, pp. 171\u2013185. ACM Press, New York (1994)","DOI":"10.1145\/773473.178258"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel program schemata. Journal of Computer and System Sciences\u00a03(2), 147\u2013195 (1969)","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR11","unstructured":"Pan, J.Z., Thomas, E., Zhao, Y.: Completeness guaranteed approximations for owl-dl query answering. In: Grau, et al. (eds.) (2009)"},{"key":"6_CR12","unstructured":"Ren, Y., Gr\u00f6ner, G., Lemcke, J., Rahmani, T., Friesen, A., et al.: Validating process refinement with ontologies. In: Grau, et al, eds. (2009)"},{"key":"6_CR13","unstructured":"Ren, Y., Gr\u00f6ner, G., Lemcke, J., Rahmani, T., Friesen, A., et al.: Validating process refinement with ontologies. In: Kendall, E.F., Pan, J.Z., Sabbouh, M., Stojanovic, L., Zhao, Y. (eds.) 5th International Workshop on Semantic Web Enabled Software Engineering (SWESE), CEUR Workshop Proceedings. vol.\u00a0524, pp. 1\u201315. CEUR-WS.org (2009b) ISSN 1613-0073, http:\/\/ceur-ws.org\/Vol-524\/swese2009_1.pdf"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Ren, Y., Pan, J.Z., Zhao, Y.: Soundness preserving approximation for tbox reasoning in r. In: Grau, et al (eds.) (2009)","DOI":"10.1609\/aaai.v24i1.7602"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through sese decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"},{"key":"6_CR16","first-page":"131","volume-title":"Organizing Business Knowledge: The MIT Process Handbook, ch. 5","author":"G.M. Wyner","year":"2003","unstructured":"Wyner, G.M., Lee, J.: Defining specialization for process models. In: Organizing Business Knowledge: The MIT Process Handbook, ch. 5, pp. 131\u2013174. MIT Press, Cambridge (2003), http:\/\/ccs.mit.edu\/papers\/pdf\/wp216.pdf"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15543-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T23:00:16Z","timestamp":1685746816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15543-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155420","9783642155437"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15543-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}