메뉴 건너뛰기




Volumn 50, Issue 6, 2008, Pages 445-460

SEMPA - A semantic business process management approach for the planning of process models;SEMPA - Ein Ansatz des Semantischen Prozessmanagements zur Planung von Prozessmodellen

Author keywords

Planning algorithms; Planning of process models; Semantic business process management

Indexed keywords


EID: 58149213804     PISSN: 09376429     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11576-008-0085-2     Document Type: Article
Times cited : (18)

References (49)
  • 1
    • 33745169673 scopus 로고    scopus 로고
    • An ARIS-based Transformation Approach to Semantic Web Service Development
    • Singapur, November, S, 2005
    • 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. 297-306.
    • (2005) International Conference on Cyberworlds. CW , pp. 297-306
    • Ang, C.-L.1    Gu, Y.2    Sourina, O.3    Gay, L.4    Kheng, R.5
  • 3
    • 0022135538 scopus 로고
    • A 15 Year Perspective On Automatic Programming
    • S
    • Balzer, Robert (1985): A 15 Year Perspective On Automatic Programming. In: IEEE Transactions on Software Engineering SE-11 (11), S. 1257-1268.
    • (1985) IEEE Transactions on Software Engineering , vol.SE-11 , Issue.11 , pp. 1257-1268
    • Balzer, R.1
  • 4
    • 58149243337 scopus 로고    scopus 로고
    • Bauer, Bernhard; Lautenbacher, Florian; Palfinger, Günther; Roser, Stephan (2007): AgilPro: Modellierung, Simulation und Ausführung agiler Prozesse. In: ObjektSPEKTRUM o. Jg. (1), S. 52-59.
    • Bauer, Bernhard; Lautenbacher, Florian; Palfinger, Günther; Roser, Stephan (2007): "AgilPro": Modellierung, Simulation und Ausführung agiler Prozesse. In: ObjektSPEKTRUM o. Jg. (1), S. 52-59.
  • 7
    • 84880890864 scopus 로고    scopus 로고
    • Planning in Nondeterministic Domains under Partial Observability via Symbolic Model checking
    • AAAI Press, Seattle, Washington, USA, S
    • 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. 473-478.
    • (2001) IJCAI , pp. 473-478
    • Bertoli, P.1    Cimatti, A.2    Roveri, M.3    Traverso, P.4
  • 8
    • 58149233012 scopus 로고    scopus 로고
    • 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. 1-12.
    • 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. 1-12.
  • 9
    • 58149251068 scopus 로고    scopus 로고
    • 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.
    • 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.
  • 11
    • 0031620024 scopus 로고    scopus 로고
    • Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
    • S
    • Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo (1998): Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In: AAAI/IAAI, S. 875-881.
    • (1998) AAAI/IAAI , pp. 875-881
    • Cimatti, A.1    Roveri, M.2    Traverso, P.3
  • 12
    • 4744347866 scopus 로고    scopus 로고
    • Constantinescu, Ion; Faltings, Boi; Binder, Walter (2004): Large scale, type-compatible service composition. In: ICWS 2004, S. 506-513.
    • Constantinescu, Ion; Faltings, Boi; Binder, Walter (2004): Large scale, type-compatible service composition. In: ICWS 2004, S. 506-513.
  • 17
    • 33845510337 scopus 로고    scopus 로고
    • Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management
    • Hrsg, IEEE ICEBE, Beijing, China, S
    • 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, WeiTek; Chung, Jen-Yao; Younas, Muhammad (Hrsg): IEEE ICEBE 2005, Beijing, China, S. 535-540.
    • (2005) Tsai, WeiTek; Chung, Jen-Yao; Younas, Muhammad , pp. 535-540
    • Hepp, M.1    Leymann, F.2    Domingue, J.3    Wahler, A.4    Fensel, D.5
  • 18
    • 58149265889 scopus 로고    scopus 로고
    • 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örn (Hrsg.): 8. Internationale Tagung Wirtschaftsinformatik. Universitätsverlag Karlsruhe, S. 423-440.
    • 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örn (Hrsg.): 8. Internationale Tagung Wirtschaftsinformatik. Universitätsverlag Karlsruhe, S. 423-440.
  • 19
    • 58149230144 scopus 로고    scopus 로고
    • Rule-based Autocompletion of Business Process Models, CAiSE, Trondheim, Norway
    • Hornung, Thomas; Koschmider, Agnes; Oberweis, Andreas (2007): Rule-based Autocompletion of Business Process Models. In: CAiSE 2007, Trondheim, Norway.
    • (2007) Hornung, Thomas; Koschmider, Agnes; Oberweis, Andreas
  • 20
    • 0031198743 scopus 로고    scopus 로고
    • Planning Control Rules for Reactive Agents
    • S
    • Kabanza, Froduald; Barbeau, Michel; St-Denis, Richard (1997): Planning Control Rules for Reactive Agents. In: Artificial Intelligence 95 (2), S. 409-438.
    • (1997) Artificial Intelligence , vol.95 , Issue.2 , pp. 409-438
    • Kabanza, F.1    Barbeau, M.2    St-Denis, R.3
  • 22
    • 58149214798 scopus 로고    scopus 로고
    • Kugeler, Martin; Rosemann, Michael (1998): Fachbegriffsmodellierung für betriebliche Informationssysteme und zur Unterstützung der Unternehmenskommunikation. In: GI-Fachgruppe 5.2 (Hrsg.): Informationssystem-Architekturen, S. 8-15.
    • Kugeler, Martin; Rosemann, Michael (1998): Fachbegriffsmodellierung für betriebliche Informationssysteme und zur Unterstützung der Unternehmenskommunikation. In: GI-Fachgruppe 5.2 (Hrsg.): Informationssystem-Architekturen, S. 8-15.
  • 23
    • 57149143455 scopus 로고    scopus 로고
    • Implementing a Semantic Service Provision Platform - Concepts and Experiences
    • S
    • Kuropka, Dominik; Weske, Mathias (2008): Implementing a Semantic Service Provision Platform - Concepts and Experiences. In: WIRTSCHAFTSINFORMATIK 50 (1), S. 16-24.
    • (2008) WIRTSCHAFTSINFORMATIK , vol.50 , Issue.1 , pp. 16-24
    • Kuropka, D.1    Weske, M.2
  • 24
    • 25144459001 scopus 로고    scopus 로고
    • 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. 46-64.
    • 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. 46-64.
  • 25
    • 58149252893 scopus 로고    scopus 로고
    • Mcllraith, 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. 482-493.
    • Mcllraith, 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. 482-493.
  • 26
    • 33750020046 scopus 로고    scopus 로고
    • Automated Service Composition using Heuristic Search
    • Eder, Johann; Dustdar, Schahram Hrsg, BPM 2006, Wien, Österreich, S
    • Meyer, Harald; Weske, Mathias (2006): Automated Service Composition using Heuristic Search. In: Eder, Johann; Dustdar, Schahram (Hrsg.): BPM 2006, Wien, Österreich, LNCS 4102, S. 81-96.
    • (2006) LNCS , vol.4102 , pp. 81-96
    • Meyer, H.1    Weske, M.2
  • 27
    • 58149214799 scopus 로고    scopus 로고
    • Requirements for Service Composition
    • Business Process Management Workshops, Springer, S
    • Meyer, Harald; Kuropka, Dominik (2006): Requirements for Service Composition. In: Business Process Management Workshops, LNCS, Springer, Vol. 4103, S. 439-450.
    • (2006) LNCS , vol.4103 , pp. 439-450
    • Meyer, H.1    Kuropka, D.2
  • 29
    • 58149269992 scopus 로고    scopus 로고
    • Motik, Boris; Patel-Schneider, Peter F.; Horrocks, lan (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.
    • Motik, Boris; Patel-Schneider, Peter F.; Horrocks, lan (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.
  • 30
    • 77049125046 scopus 로고    scopus 로고
    • Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements
    • Chicago, USA, S
    • 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. 314-326.
    • (2006) Dan, Asit; Lamersdorf, Winfried (Hrsg.): ICSOC , pp. 314-326
    • Pathak, J.1    Basu, S.2    Honavar, V.3
  • 32
    • 84864486684 scopus 로고    scopus 로고
    • Semantic Matching of Web Services Capabilities
    • Sardinia, Italy
    • Paolucci, Massimo; Kawamura, Takahiro; Payne, Terry R.; Sycara, Katia (2002): Semantic Matching of Web Services Capabilities. In: ISWC 2002, Sardinia, Italy.
    • (2002) ISWC
    • Paolucci, M.1    Kawamura, T.2    Payne, T.R.3    Sycara, K.4
  • 33
    • 33749078956 scopus 로고    scopus 로고
    • Automated Synthesis of Composite BPEL4WS Web Services
    • IEEE Press, S
    • Pistore, Marco; Traverso, Paolo; Bertoli, Piergorgio; Marconi, Annapaola (2005): Automated Synthesis of Composite BPEL4WS Web Services. In: ICWS 2005, IEEE Press, S. 293-301.
    • (2005) ICWS , pp. 293-301
    • Pistore, M.1    Traverso, P.2    Bertoli, P.3    Marconi, A.4
  • 34
    • 57649102080 scopus 로고    scopus 로고
    • A Mixed Initiative Semantic Web Framework for Process Composition
    • Athens, GA, USA
    • Rao, Jinghai; Dimitrov, Dimitar; Hofmann, Paul; Saded, Norman (2006): A Mixed Initiative Semantic Web Framework for Process Composition. In: ISWC 2006, Athens, GA, USA.
    • (2006) ISWC
    • Rao, J.1    Dimitrov, D.2    Hofmann, P.3    Saded, N.4
  • 35
    • 58149265890 scopus 로고    scopus 로고
    • 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.
    • 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.
  • 38
    • 33845455459 scopus 로고    scopus 로고
    • Pellet: A practical OWL-DL reasoner
    • 2005 68, Abruf am 2007-09-12
    • 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.
    • (2005) UMIACS Technical Report
    • Sirin, E.1    Parsia, B.2    Grau, B.C.3    Kalyanpur, A.4    Katz, Y.5
  • 40
    • 58149219022 scopus 로고    scopus 로고
    • 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.
    • 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.
  • 41
    • 33847060397 scopus 로고    scopus 로고
    • Formulating the Data-Flow Perspective for Business Process Management
    • S
    • 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. 374-391.
    • (2006) Information Systems Research , vol.17 , Issue.4 , pp. 374-391
    • Sun, S.X.1    Zhao, J.L.2    Nunamaker, J.F.3    Sheng, O.R.L.4
  • 42
    • 58149238250 scopus 로고    scopus 로고
    • 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.
    • 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.
  • 43
    • 84876143096 scopus 로고    scopus 로고
    • Semantische Integration von Ontologien und Ereignisgesteuerten Prozessketten
    • Hrsg, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, EPK, Wien, S
    • Thomas, Oliver; Fellmann, Michael (2006): Semantische Integration von Ontologien und Ereignisgesteuerten Prozessketten. In: Nüttgens, Markus; Rump, Frank; Mendling, Jan (Hrsg.): Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, EPK 2006, Wien, S. 7-23.
    • (2006) Nüttgens, Markus; Rump, Frank; Mendling, Jan , pp. 7-23
    • Thomas, O.1    Fellmann, M.2
  • 44
    • 58149253331 scopus 로고    scopus 로고
    • van der Aalst, Wil M. P. (2000): Workflow Verification: Finding Control-Flow Errors Using PetriNet-Based Techniques. In: Business Process Management, S. 161-183
    • van der Aalst, Wil M. P. (2000): Workflow Verification: Finding Control-Flow Errors Using PetriNet-Based Techniques. In: Business Process Management, S. 161-183
  • 45
    • 0037411286 scopus 로고    scopus 로고
    • 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. 5-51.
    • 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. 5-51.
  • 46
    • 58149269991 scopus 로고    scopus 로고
    • van der Aalst, Wil M. P.; Günther, Christian; Recker, Jan C.; Reichert, Manfred (2006): Using Process Mining to Analyze and Improve Process Flexibility. In: BPMDS 2006, Luxembourg.
    • van der Aalst, Wil M. P.; Günther, Christian; Recker, Jan C.; Reichert, Manfred (2006): Using Process Mining to Analyze and Improve Process Flexibility. In: BPMDS 2006, Luxembourg.
  • 47
    • 58149261017 scopus 로고    scopus 로고
    • Weld, Daniel S.; Anderson, Corin R.; Smith, David E. (1998): Extending graphplan to handle uncertainty and sensing actions. In: AAAI98 and IAAI98, S. 26-30.
    • Weld, Daniel S.; Anderson, Corin R.; Smith, David E. (1998): Extending graphplan to handle uncertainty and sensing actions. In: AAAI98 and IAAI98, S. 26-30.
  • 49
    • 38949186017 scopus 로고    scopus 로고
    • 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. 541-548.
    • 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. 541-548.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.