메뉴 건너뛰기




Volumn , Issue , 2009, Pages 98-105

Guaranteeing soundness of configurable process variants in provop

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION CONTEXTS; BUSINESS PROCESS; CONFIGURABLE; CONSTRAINT-BASED; ENGINEERING PROCESS; PROCESS MODEL; PROCESS VARIANTS; PROCESS-AWARE INFORMATION SYSTEMS; SEMANTICAL CONSTRAINTS;

EID: 70449505572     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CEC.2009.62     Document Type: Conference Paper
Times cited : (53)

References (24)
  • 1
    • 43449117486 scopus 로고    scopus 로고
    • Unleashing the effectiveness of process-oriented information systems: Problem analysis, critical success factors and implications
    • Man, and Cybernetics
    • B. Mutschler, M. Reichert, and J. Bumiller, "Unleashing the effectiveness of process-oriented information systems: Problem analysis, critical success factors and implications," IEEE Transactions on Systems, Man, and Cybernetics (Part C), vol. 38, no. 3, pp. 280-291, 2008.
    • (2008) IEEE Transactions on Systems , vol.38 , Issue.3 PART C , pp. 280-291
    • Mutschler, B.1    Reichert, M.2    Bumiller, J.3
  • 4
    • 33749552243 scopus 로고    scopus 로고
    • A Configurable Reference Modeling Language
    • M. Rosemann and W. van der Aalst, "A Configurable Reference Modeling Language," Information Systems, vol. 32, pp. 1-23, 2007.
    • (2007) Information Systems , vol.32 , pp. 1-23
    • Rosemann, M.1    van der Aalst, W.2
  • 7
    • 33750011580 scopus 로고    scopus 로고
    • IT Support for Release Management Processes in the Automotive Industry
    • Proc. 4th Int. Conf. on Business Process Management
    • D. Müller, J. Herbst, M. Hammori, and M. Reichert, "IT Support for Release Management Processes in the Automotive Industry," in Proc. 4th Int. Conf. on Business Process Management, ser. LNCS 4102, 2006, pp. 368-377.
    • (2006) ser. LNCS , vol.4102 , pp. 368-377
    • Müller, D.1    Herbst, J.2    Hammori, M.3    Reichert, M.4
  • 9
    • 0002307971 scopus 로고    scopus 로고
    • Workflow verification: Finding control-flow errors using petrinet-based techniques
    • W. M. P. van der Aalst, "Workflow verification: Finding control-flow errors using petrinet-based techniques," in Proc. BPM'00, 2000, pp. 161-183.
    • (2000) Proc. BPM'00 , pp. 161-183
    • van der Aalst, W.M.P.1
  • 10
    • 67649986443 scopus 로고    scopus 로고
    • Issues in modeling process variants with provop
    • Proc. BPM'08 Workshops
    • A. Hallerbach, T. Bauer, and M. Reichert, "Issues in modeling process variants with provop," in Proc. BPM'08 Workshops, ser. LNBIP 17, 2009, pp. 54-65.
    • (2009) ser. LNBIP , vol.17 , pp. 54-65
    • Hallerbach, A.1    Bauer, T.2    Reichert, M.3
  • 12
    • 70449464498 scopus 로고    scopus 로고
    • -, Configuration and management of process variants, in Handbook on Business Process Management, M. Rosemann and J. V. Brocke, Eds. Springer-Verlag, 2009, (to appear).
    • -, "Configuration and management of process variants," in Handbook on Business Process Management, M. Rosemann and J. V. Brocke, Eds. Springer-Verlag, 2009, (to appear).
  • 13
    • 2542499112 scopus 로고    scopus 로고
    • Correctness criteria for dynamic changes in workflow systems - a survey
    • S. Rinderle, M. Reichert, and P. Dadam, "Correctness criteria for dynamic changes in workflow systems - a survey." Data and Knowledge Engineering, vol. 50, no. 1, pp. 9-34, 2004.
    • (2004) Data and Knowledge Engineering , vol.50 , Issue.1 , pp. 9-34
    • Rinderle, S.1    Reichert, M.2    Dadam, P.3
  • 14
    • 47849117407 scopus 로고    scopus 로고
    • Change patterns and change support features - enhancing flexibility in process-aware information systems
    • B. Weber, M. Reichert, and S. Rinderle-Ma, "Change patterns and change support features - enhancing flexibility in process-aware information systems," Data and Knowledge Engineering, vol. 66, no. 3, pp. 438-466, 2008.
    • (2008) Data and Knowledge Engineering , vol.66 , Issue.3 , pp. 438-466
    • Weber, B.1    Reichert, M.2    Rinderle-Ma, S.3
  • 15
    • 57049120554 scopus 로고    scopus 로고
    • On the formal semantics of change patterns in process-aware information systems
    • Proc. ER'08
    • S. Rinderle-Ma, M. Reichert, and B. Weber, "On the formal semantics of change patterns in process-aware information systems," in Proc. ER'08, ser. LNCS 5231, 2008, pp. 279-293.
    • (2008) ser. LNCS , vol.5231 , pp. 279-293
    • Rinderle-Ma, S.1    Reichert, M.2    Weber, B.3
  • 16
    • 70449495161 scopus 로고    scopus 로고
    • Correct Configuration of Process Variants in Provop
    • Uni Ulm, Tech. Rep. UIB-2009-03
    • A. Hallerbach, T. Bauer, and M. Reichert, "Correct Configuration of Process Variants in Provop," Uni Ulm, Tech. Rep. UIB-2009-03, 2009.
    • (2009)
    • Hallerbach, A.1    Bauer, T.2    Reichert, M.3
  • 19
    • 0035791075 scopus 로고    scopus 로고
    • Managing Variability in Software Architectures
    • New York: ACM Press
    • F. Bachmann and L. Bass, "Managing Variability in Software Architectures," in Proc. of 2001 Symp. on Software Reusability. New York: ACM Press, 2001, pp. 126-132.
    • (2001) Proc. of 2001 Symp. on Software Reusability , pp. 126-132
    • Bachmann, F.1    Bass, L.2
  • 21
    • 1542295467 scopus 로고    scopus 로고
    • Communicating the Variability of a Software-Product Family to Customers
    • G. Halmans and K. Pohl, "Communicating the Variability of a Software-Product Family to Customers," Software and System Modeling, vol. 2, no. 1, pp. 15-36, 2003.
    • (2003) Software and System Modeling , vol.2 , Issue.1 , pp. 15-36
    • Halmans, G.1    Pohl, K.2
  • 22
    • 70449475236 scopus 로고    scopus 로고
    • F. Puhlmann, A. Schnieders, J. Weiland, and M. Weske, PESOA - Variability Mechanisms for Process Models, Hasso-Plattner-Institut, Potsdam, Tech. Rep. 17/2005, 2005.
    • F. Puhlmann, A. Schnieders, J. Weiland, and M. Weske, "PESOA - Variability Mechanisms for Process Models," Hasso-Plattner-Institut, Potsdam, Tech. Rep. 17/2005, 2005.
  • 24
    • 70449497478 scopus 로고    scopus 로고
    • IDS SCHEER AG, IDS Scheer AG
    • ARIS Platform Method 7.1., IDS SCHEER AG, IDS Scheer AG, 2008, www.ids-scheer.com.
    • (2008) ARIS Platform Method 7.1


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