Methods for modeling and integration of business processes with rules

Promotor: Grzegorz J. Nalepa.Recenzent: Jan Werewka, Maria Mach-Król.Niepublikowana praca doktorska.Tyt. z ekranu tyt.Praca doktorska. AGH University of Science and Technology in Krakow. Faculty o f Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, 2015.Zawiera bibliogr.Dostępna również w wersji drukowanej.Tryb dostępu: Internet.Business processes, BPM Life Cycle, Process Modeling, Process Modeling Languages, BPMN Syntax, BPMN Semantics, BPMN Pragmatics, Model Generation, Complexity Assessment, Process Execution, Business Process Execution Language, Runtime Environments, Business Rules, Business Rules Approach, Rules Modeling, Decision Tables, Decision Trees, Reasoning Strategies, Categories of Business Rules, Rule Languages and Representation, Rule Formalization, Visual Rule Representation, Selected Tools Supporting Rule Modularization, Business Rules in Business Processes, Formal Model for Business Processes with Rules, Motivation and Challenges, Process Model Formalization, Formal Description of BPMN Process Model, General Business Logic Model, Extension of Semantic Knowledge Engineering with Business Processes, Attributive Logic with Set Values over Finite Domains, Formulation of XTT2 Rules, SKE-specific Business Logic Model, Automatic Generation of Business Process Models, Formalization of ARD, Algorithm for BPMN Model Generation from ARD, Design Example: Algorithm Applied to the PLI Case, Modeling and Execution Environment for Integrated Models, Semantic Knowledge Engineering Design Process, Conceptual Modeling, Logical Design, Physical Design, SKE-based Design Process for the Integrated Approach, Modeling, Execution, Model-based Perspective on the Integrated Approach, Meta Object Facility, Model Driven Architecture, Business Logic Model in the Context of MDA, Evaluation of the Approach, Evaluation Procedure, Modeling of Cases, Polish Liability Insurance, EUrent Company, UServ Financial Services, Deployment, Measurement of Model Complexity, Evaluation Procedure Review, Identified Challenges, Models for the Benchmark Cases, PLI models, ARD model, BPMN model, XTT2 model, EUrent models, ARD model, BPMN model, XTT2 model, userv models, ARD model, BPMN model, XTT2 mode