Distributed Systems

Pavel Bulanov

  1. Automated Runtime Repair of Business Processes (, , , and ), In Inf. Syst., volume 39, .

    BibTeX



    url
  2. Management and evolution of business process variants (), Rijksuniversiteit Groningen, .

    BibTeX



    url
  3. Business Process Variability: A Tool for Declarative Template Design (, and ), In Service-Oriented Computing, Springer, volume 7221, .

    Abstract

    To lower both implementation time and cost, many Business Process Management tools use process templates to implement highly recurring processes. However, in order for such templates to be used, a process has to adhere substantially to the template. Therefore, current practice for processes which deviate more than marginally is to either manually implement them at high costs, or for the business to inflexibly comply to the template. In this paper, we describe a tool which demonstrates a variability based solution to process template definition.


    BibTeX



    urlpdfdoi
  4. Automatic Detection of Business Process Interference (, , , and ), In International Workshop on Knowledge-intensive Business Processes, .

    BibTeX



    url
  5. Imperative versus declarative process variability: Why Choose? (, and ), .

    Abstract

    Variability is a powerful abstraction in software engineering that allows managing product lines and business processes requiring great deals of change, customization and adaptation. In the field of Business Process Management (BPM) the increasing deployment of workflow engines having to handle an increasing number of instances has prompted for the strong need for variability techniques. The idea is that parts of a business process remain either open to change, or notfully dened, in order to support several versions of the same process depending on the intended use or execution context. The goal is to support two major challenges for BPM: re-usability and flexibility. Existing approaches are broadly categorized as Imperative or Declarative. We propose Process Variability through Declarative and Imperative techniques (PVDI), a variability framework which utilizes temporal logic to represent the basic structure of a process, leaving other choices open for later customization and adaptation. We show how both approaches to variability excel for different aspects of the modeling and we highlight PVDI's ability to take the best of both worlds. Furthermore, by enriching the process modeling environment with graphical elements, the complications of temporal logic are hidden from the user. To show the practical viability of PVDI, we present tooling supporting the full PVDI lifecycle and test its feasibility in theform of a performance evaluation.


    BibTeX



    urlpdf
  6. Declarative Enhancement Framework for Business Processes (, and ), In Service-Oriented Computing (G. Kappel, Z. Maamar, H.R. Motahari Nezhad, eds.), Springer, volume 7084, .

    Abstract

    While Business Process Management (BPM) was designed to support rigid production processes, nowadays it is also at the core of more flexible business applications and has established itself firmly in the service world. Such a shift calls for new techniques. In this paper, we introduce a variability framework for BPM which utilizes temporal logic formalisms to represent the essence of a process, leaving other choices open for later customization or adaption. The goal is to solve two major issues of BPM: enhancing reusability and flexibility. Furthermore, by enriching the process modelling environment with graphical elements, the complications of temporal logic are hidden from the user.


    Keywords: BPM, Variability, Temporal Logic, e-Government


    BibTeX



    urlpdfdoi
  7. Business Process Customization using Process Merging Techniques (, and ), In International Conference on Service-Oriented Computing and Applications, .

    BibTeX



    url
  8. Modelling and Managing the Variability of Web Service-based Systems (, , , and ), In Journal of Systems and Software, volume 83, .

    BibTeX



    url
  9. A survey of variability management requirements (, and ), In 5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010, CEUR Workshop Proceedings (CEUR-WS.org), volume 662, .

    BibTeX



    urlpdf
  10. Requirements and Tools for Variability Management (, and ), In Computer Software and Applications Conference Workshops (COMPSACW), IEEE (The Institute of Electrical and Electronics Engineers), .

    Abstract

    Explicit and software-supported Business Process Management has become the core infrastructure of any medium and large organization that has a need to be efficient and effective. The number of processes of a single organization can be very high, furthermore, they might be very similar, be in need of momentary change, or evolve frequently. If the ad-hoc adaptation and customization of processes is currently the dominant way, it clearly is not the best. In fact, providing tools for supporting the explicit management of variation in processes (due to customization or evolution needs) has a profound impact on the overall life-cycle of processes in organizations. Additionally, with the increasing adoption of Service-Oriented Architectures, the infrastructure to support automatic reconfiguration and adaptation of business process is solid. In this paper, after defining variability in business process management, we consider the requirements for explicit variation handling for (service based) business process systems. eGovernment serves as an illustrative example of reuse. In this case study, all local municipalities need to implement the same general legal process while adapting it to the local business practices and IT infrastructure needs. Finally, an evaluation of existing tools for explicit variability management is provided with respect to the requirements identified.


    Keywords: workflow management software, software architecture, business data processing, web services


    BibTeX



    urlpdfdoi
  11. Resolving Business Process Interference via Dynamic Reconfiguration (, , and ), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  12. Maintenance of customized processes (), In PhD symposium, hosted by 7th International Conference on Service Oriented Computing, .

    BibTeX



    url