{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T03:29:49Z","timestamp":1676690989117},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,12,1]],"date-time":"2008-12-01T00:00:00Z","timestamp":1228089600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Wirtsch. Inform."],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s11576-008-0085-2","type":"journal-article","created":{"date-parts":[[2008,12,5]],"date-time":"2008-12-05T13:46:39Z","timestamp":1228484799000},"page":"445-460","source":"Crossref","is-referenced-by-count":14,"title":["SEMPA \u2013 Ein Ansatz des Semantischen Prozessmanagements zur Planung von Prozessmodellen"],"prefix":"10.1007","volume":"50","author":[{"given":"Bernd","family":"Heinrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc-Andre","family":"Bewernik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Henneberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Krammer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Lautenbacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,12,7]]},"reference":[{"key":"85_CR1","unstructured":"Ang, Cheng-Leong; Gu, Yuan; Sourina, Olga; Leng Gay; Robert Kheng (2005): An ARIS-based Transformation Approach to Semantic Web Service Development. In: International Conference on Cyberworlds. CW 2005, Singapur, November 2005, S.\u00a0297\u2013306."},{"key":"85_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e4ckstr\u00f6m, Christer (1998): Computational Aspects of Reordering Plans. In: Journal of Artificial Intelligence Research 9, S.\u00a099\u2013137.","DOI":"10.1613\/jair.477"},{"key":"85_CR3","doi-asserted-by":"crossref","unstructured":"Balzer, Robert (1985): A 15 Year Perspective On Automatic Programming. In: IEEE Transactions on Software Engineering SE-11 (11), S.\u00a01257\u20131268.","DOI":"10.1109\/TSE.1985.231877"},{"key":"85_CR4","unstructured":"Bauer, Bernhard; Lautenbacher, Florian; Palfinger, G\u00fcnther; Roser, Stephan (2007): \u201eAgilPro\u201c: Modellierung, Simulation und Ausf\u00fchrung agiler Prozesse. In: ObjektSPEKTRUM o. Jg. (1), S.\u00a052\u201359."},{"key":"85_CR5","doi-asserted-by":"crossref","unstructured":"Bechhofer, Sean; Lord, Phillip; Volz, Raphael (2003): Cooking the Semantic Web with the OWL API. In: Fensel, Dieter; Sycara, Katja; Mylopoulos, John (Hrsg.): ISWC 2003. Florida, USA, S.\u00a0659\u2013675.","DOI":"10.1007\/978-3-540-39718-2_42"},{"key":"85_CR6","doi-asserted-by":"crossref","unstructured":"Becker, J\u00f6rg; Kahn, Dieter (2003): The Process in Focus. In: Becker, J\u00f6rg; Kugeler, Martin; Rosemann, Michael (Hrsg.): Process Management. A Guide for the Design of Business Processes. Springer, Berlin u.\u00a0a., S.\u00a01\u201312.","DOI":"10.1007\/978-3-540-24798-2_1"},{"key":"85_CR7","unstructured":"Bertoli, Piergorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo (2001): Planning in Nondeterministic Domains under Partial Observability via Symbolic Model checking. In: IJCAI 2001, AAAI Press, Seattle, Washington, USA, S.\u00a0473\u2013478."},{"key":"85_CR8","unstructured":"Betz, Stephanie; Klink, Stefan; Koschmider, Agnes; Oberweis, Andreas (2006): Automatic User Support for Business Process Modeling. In: Hinkelmann, Knut; Karagiannis, Dimitris; Stojanovic, Nenad; Wagner, Gerd (Hrsg.): Workshop on Semantics for Business Process Management. ESWC 2006, Budva, Montenegro, S.\u00a01\u201312."},{"key":"85_CR9","unstructured":"Biron, Paul V.; Malhotra, Ashok (2004): XML Schema Part 2: Datatypes Second Edition. http:\/\/www.w3.org\/TR\/xmlschema-2, Abruf am 2007-07-11."},{"key":"85_CR10","unstructured":"Brockmans, Saartje; Ehrig, Marc; Koschmider, Agnes; Oberweis, Andreas; Studer, Rudi (2006): Semantic Alignment of Business Processes. In: Manolopoulos, Yannis; Filipe, Joaquim; Constantopoulos, Panos; Cordeiro, Jos\u00e9 (Hrsg.): ICEIS 2006, Paphos, Zypern, S.\u00a0191\u2013196."},{"key":"85_CR11","unstructured":"Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo (1998): Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In: AAAI\/IAAI, S.\u00a0875\u2013881."},{"key":"85_CR12","doi-asserted-by":"crossref","unstructured":"Constantinescu, Ion; Faltings, Boi; Binder, Walter (2004): Large scale, type-compatible service composition. In: ICWS 2004, S.\u00a0506\u2013513.","DOI":"10.1109\/ICWS.2004.1314776"},{"key":"85_CR13","unstructured":"Drumm, C.; Lemcke, J.; Namiri, K. (2006): Integrating Semantic Web Services and Business Process Management: A Real Use Case. In: Workshop on Semantics for Business Process Management at the 3rd European Semantic Web Conference."},{"key":"85_CR14","doi-asserted-by":"crossref","unstructured":"Eshuis, Rik (2006): Symbolic model checking of UML activity diagrams. In: ACM Transactions on Software Engineering and Methodology, 15 (1), S.\u00a01\u201338.","DOI":"10.1145\/1125808.1125809"},{"key":"85_CR15","unstructured":"Ferstl, Otto K.; Sinz, Elmar J. (2001): Grundlagen der Wirtschaftsinformatik, 4. Aufl., Oldenbourg, M\u00fcnchen, Wien."},{"key":"85_CR16","doi-asserted-by":"crossref","unstructured":"Ghallab, Malik; Nau, Dana; Traverso, Paolo (2004): Automated Planning. Elsevier, San Francisco.","DOI":"10.1016\/B978-155860856-6\/50020-X"},{"key":"85_CR17","doi-asserted-by":"crossref","unstructured":"Hepp, Martin; Leymann, Frank; Domingue, John; Wahler, Alexander; Fensel, Dieter (2005): Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management. In: Tsai, Wei-Tek; Chung, Jen-Yao; Younas, Muhammad (Hrsg): IEEE ICEBE 2005, Beijing, China, S.\u00a0535\u2013540.","DOI":"10.1109\/ICEBE.2005.110"},{"key":"85_CR18","unstructured":"Hepp, Martin; Roman, Dumitru (2007): An Ontology Framework for Semantic Business Process Management. In: Oberweis, Andreas; Weinhardt, Christof; Gimpel, Henner; Koschmider, Agnes; Pankratius, Victor; Schnizler, Bj\u00f6rn (Hrsg.): 8. Internationale Tagung Wirtschaftsinformatik. Universit\u00e4tsverlag Karlsruhe, S.\u00a0423\u2013440."},{"key":"85_CR19","unstructured":"Hornung, Thomas; Koschmider, Agnes; Oberweis, Andreas (2007): Rule-based Autocompletion of Business Process Models. In: CAiSE 2007, Trondheim, Norway."},{"key":"85_CR20","doi-asserted-by":"crossref","unstructured":"Kabanza, Froduald; Barbeau, Michel; St-Denis, Richard (1997): Planning Control Rules for Reactive Agents. In: Artificial Intelligence 95 (2), S.\u00a0409\u2013438.","DOI":"10.1016\/S0004-3702(97)00031-3"},{"key":"85_CR21","doi-asserted-by":"crossref","unstructured":"Kalfoglou, Yannis; Schorlemmer, Marco (2003): Ontology Mapping: The State of the Art. In: The Knowledge Engineering Review Journal 18 (1), S.\u00a01\u201331.","DOI":"10.1017\/S0269888903000651"},{"key":"85_CR22","unstructured":"Kugeler, Martin; Rosemann, Michael (1998): Fachbegriffsmodellierung f\u00fcr betriebliche Informationssysteme und zur Unterst\u00fctzung der Unternehmenskommunikation. In: GI-Fachgruppe 5.2 (Hrsg.): Informationssystem-Architekturen, S.\u00a08\u201315."},{"key":"85_CR23","doi-asserted-by":"crossref","unstructured":"Kuropka, Dominik; Weske, Mathias (2008): Implementing a Semantic Service Provision Platform \u2013 Concepts and Experiences. In: WIRTSCHAFTSINFORMATIK 50 (1), S.\u00a016\u201324.","DOI":"10.1007\/PL00022217"},{"key":"85_CR24","doi-asserted-by":"crossref","unstructured":"Lang, Qianhui Althea; Su, Stanley Y. W. (2005): AND\/OR Graph and Search Algorithm for Discovering Composite Web Services. In: Intl. Journal of Web Services Research 2 (4), S.\u00a046\u201364.","DOI":"10.4018\/jwsr.2005100103"},{"key":"85_CR25","unstructured":"McIlraith, Sheila; Son, Tran Cao (2002): Adapting Golog for Composition of Semantic Web Services. In: Fensel, Dieter; Giunchiglia, Fausto; McGuiness, Deborah L.; Williams, Mary-Anne (Hrsg.): KR 2002, S.\u00a0482\u2013493."},{"key":"85_CR26","doi-asserted-by":"crossref","unstructured":"Meyer, Harald; Weske, Mathias (2006): Automated Service Composition using Heuristic Search. In: Eder, Johann; Dustdar, Schahram (Hrsg.): BPM 2006, Wien, \u00d6sterreich, LNCS 4102, S.\u00a081\u201396.","DOI":"10.1007\/11841760_7"},{"key":"85_CR27","unstructured":"Meyer, Harald; Kuropka, Dominik (2006): Requirements for Service Composition. In: Business Process Management Workshops, LNCS, Springer, Vol. 4103, S.\u00a0439\u2013450."},{"key":"85_CR28","unstructured":"Minkwitz, Torsten (1993): Algorithmensynthese f\u00fcr lineare Systeme mit Symmetrie. Doktorarbeit, Universit\u00e4t Karlsruhe, Informatik."},{"key":"85_CR29","unstructured":"Motik, Boris; Patel-Schneider, Peter F.; Horrocks, Ian (2008): OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Working Draft, April 2008. http:\/\/www.w3.org\/TR\/owl2-syntax \/, Abruf am 2008-09-22."},{"key":"85_CR30","doi-asserted-by":"crossref","unstructured":"Pathak, Jyotishman; Basu, Samik; Honavar, Vasant (2006a): Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements. In: Dan, Asit; Lamersdorf, Winfried (Hrsg.): ICSOC 2006, Chicago, USA, S.\u00a0314\u2013326.","DOI":"10.1007\/11948148_26"},{"key":"85_CR31","unstructured":"Pathak, Jyotishman; Basu, Samik; Honavar, Vasant (2006b): Modeling Web Service Composition using Symbolic Transition Systems. In: AAAI Workshop on AI-Driven Technologies for Service-Oriented Computing 2006, AAAI Press, California, USA, S.\u00a044\u201351."},{"key":"85_CR32","doi-asserted-by":"crossref","unstructured":"Paolucci, Massimo; Kawamura, Takahiro; Payne, Terry R.; Sycara, Katia (2002): Semantic Matching of Web Services Capabilities. In: ISWC 2002, Sardinia, Italy.","DOI":"10.1007\/3-540-48005-6_26"},{"key":"85_CR33","doi-asserted-by":"crossref","unstructured":"Pistore, Marco; Traverso, Paolo; Bertoli, Piergorgio; Marconi, Annapaola (2005): Automated Synthesis of Composite BPEL4WS Web Services. In: ICWS 2005, IEEE Press, S.\u00a0293\u2013301.","DOI":"10.1109\/ICWS.2005.27"},{"key":"85_CR34","doi-asserted-by":"crossref","unstructured":"Rao, Jinghai; Dimitrov, Dimitar; Hofmann, Paul; Saded, Norman (2006): A Mixed Initiative Semantic Web Framework for Process Composition. In: ISWC 2006, Athens, GA, USA.","DOI":"10.1007\/11926078_63"},{"key":"85_CR35","unstructured":"Russell, Nick; van der Aalst, Will M. P.; ter Hofstede, Arthur H. M.; Wohed, Petia (2006): On the Suitability of UML 2.0 Activity Diagrams for Business Process Modeling. In: Roddick, John F.; Hinze, Annika (Hrsg.): APCCM 2006, Hobart, Australia."},{"key":"85_CR36","unstructured":"Russell, Stuart J.; Norvig, Peter (2004): K\u00fcnstliche Intelligenz. Ein moderner Ansatz. 2. Aufl., Pearson."},{"key":"85_CR37","doi-asserted-by":"crossref","unstructured":"Scheer, August-Wilhelm (1991): Architektur integrierter Informationssysteme \u2013 Grundlagen der Unternehmensmodellierung. Springer, Berlin.","DOI":"10.1007\/978-3-642-97333-8"},{"key":"85_CR38","unstructured":"Sirin, Evren; Parsia, Bijan; Grau, Bernardo Cuenca; Kalyanpur, Aditya; Katz, Yarden (2005): Pellet: A practical OWL-DL reasoner. UMIACS Technical Report, 2005 68. http:\/\/pellet.owldl.com\/papers\/sirin05pellet.pdf, Abruf am 2007-09-12."},{"key":"85_CR39","doi-asserted-by":"crossref","unstructured":"Sirin, Evren; Parsia, Bijan; Grau, Bernardo Cuenca; Kalyanpur Aditya; Katz, Yarden (2007): Pellet: A practical OWL-DL reasoner. In: Journal of Web Semantics, S.\u00a051\u201353.","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"85_CR40","doi-asserted-by":"crossref","unstructured":"Sirin, Evren; Parsia, Bijan; Wu, Dan; Hendler, James; Nau, Dana (2004): HTN Planning for Web Service Composition Using SHOP2. http:\/\/www.mindswap.org\/papers\/SHOP-JWS.pdf, Abruf am 2007-04-20.","DOI":"10.21236\/ADA448067"},{"key":"85_CR41","doi-asserted-by":"crossref","unstructured":"Sun, Sherry X.; Zhao, J. Leon; Nunamaker, Jay F.; Sheng, Olivia R. L. (2006): Formulating the Data-Flow Perspective for Business Process Management. In: Information Systems Research 17 (4), S.\u00a0374\u2013391.","DOI":"10.1287\/isre.1060.0105"},{"key":"85_CR42","unstructured":"ter Beek, Maurice; Bucchiarone, Antonio; Gnesi, Stefania (2006): A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. Technical report, 2006-15. http:\/\/dienst.isti.cnr.it\/Dienst\/UI\/2.0\/Describe\/ercim.cnr.isti\/2006-TR-15, Abruf am 2007-01-16."},{"key":"85_CR43","unstructured":"Thomas, Oliver; Fellmann, Michael (2006): Semantische Integration von Ontologien und Ereignisgesteuerten Prozessketten. In: N\u00fcttgens, Markus; Rump, Frank; Mendling, Jan (Hrsg.): Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, EPK 2006, Wien, S.\u00a07\u201323."},{"key":"85_CR44","doi-asserted-by":"crossref","unstructured":"van der Aalst, Wil M. P. (2000): Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: Business Process Management, S.\u00a0161\u2013183","DOI":"10.1007\/3-540-45594-9_11"},{"key":"85_CR45","doi-asserted-by":"crossref","unstructured":"van der Aalst, Wil M. P.; ter Hofstede, Arthur H.M.; Kiepuszewski, Bartek; Barros, Alistair P. (2003): Workflow patterns. In: Distributed and Parallel Databases 14 (3), S.\u00a05\u201351.","DOI":"10.1023\/A:1022883727209"},{"key":"85_CR46","unstructured":"van der Aalst, Wil M. P.; G\u00fcnther, Christian; Recker, Jan C.; Reichert, Manfred (2006): Using Process Mining to Analyze and Improve Process Flexibility. In: BPMDS 2006, Luxembourg."},{"key":"85_CR47","unstructured":"Weld, Daniel S.; Anderson, Corin R.; Smith, David E. (1998): Extending graphplan to handle uncertainty and sensing actions. In: AAAI98 and IAAI98, S.\u00a026\u201330."},{"key":"85_CR48","unstructured":"Weske, Mathias (2007): Business Process Management \u2013 Concepts, Languages, Architectures. Springer, Berlin, Heidelberg."},{"key":"85_CR49","doi-asserted-by":"crossref","unstructured":"Yan, Yuhong; Liang, Yong; Liang, Han (2006): Composing Business Processes with Partial Observable Problem Space in Web Services Environments. In: IEEE ICWS 2006, Chicago, S.\u00a0541\u2013548.","DOI":"10.1109\/ICWS.2006.44"}],"container-title":["WIRTSCHAFTSINFORMATIK"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11576-008-0085-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11576-008-0085-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11576-008-0085-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T12:56:04Z","timestamp":1559393764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11576-008-0085-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":49,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["85"],"URL":"https:\/\/doi.org\/10.1007\/s11576-008-0085-2","relation":{},"ISSN":["0937-6429","1861-8936"],"issn-type":[{"value":"0937-6429","type":"print"},{"value":"1861-8936","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,12]]}}}