Publications de Irina Rychkova

Extending Business Process Models with Appreciation

Gil Regev, Alain Wegmann, Irina Rychkova

We use homeostasis, the maintenance of steady states in an organism, to explain some of the decisions made by participants in a business process. We use Vickers’ Appreciative System to model the homeostatic states with Harel’s statecharts. We take the exam ...

2019

From Goal-Achievement to the Maintenance of Relationships: Extending Business Process Models with Homeostasis and Appreciation

Gil Regev, Irina Rychkova

We use homeostasis, the maintenance of steady states in an organism, to explain some of the decisions made by participants in a business process. We use Vickers’s Appreciative System to model the homeostatic states with Harel’s statecharts. We take the exa ...

CEUR Workshop Proceedings2018

Simulation-Driven Approach for Business Rules Discovery

Alain Wegmann, Irina Rychkova, Biljana Bajic-Bizumic

Business rules are everywhere. Some of these rules are implicit and thus poorly enforced, others are written but not enforced, and still others are perhaps poorly written and obscurely enforced. In this work, we propose an interactive, simulation-driven ap ...

Springer2013

Towards the Definition, Implementation and Communication of an IT Strategy: The Case of IT Strategy at EPFL

Alain Wegmann, Irina Rychkova, Gorica Tapandjieva Sekulovska, Didier Rey Marchetti

Large enterprises need to coordinate the IT initiatives that exist in different organisational units of the enterprise. If these initiatives are not coordinated, the resulting IT system is likely to become difficult to use and expensive to develop/maintain ...

Springer Berlin Heidelberg2013

Formal semantics for refinement verification of entreprise models

Irina Rychkova

In this dissertation we investigate how Business/IT alignment in enterprise models can be enhanced by using a software engineering stepwise refinement paradigm. To have an IT system that supports an enterprise and meets the enterprise business needs, manag ...

EPFL2008

Declarative Specification and Alignment Verification of Services in ITIL

Gil Regev, Alain Wegmann, Irina Rychkova

IT organizations that wish to implement the best practices recommended by the IT Infrastructure Library (ITIL) need to specify the level of service provided to their customers. The implemented service needs to comply with this specification. We propose a m ...

2008

High-Level Design and Analysis of Business Processes. The Advantages of Declarative Specifications

Alain Wegmann, Gil Regev, Irina Rychkova

Business process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many con ...

2008

High-level design and analysis of business processes the advantages of declarative specifications

Gil Regev, Alain Wegmann, Irina Rychkova

Business process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many con ...

2008

Using Declarative Specifications in Business Process Design

Gil Regev, Alain Wegmann, Irina Rychkova

Business process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many con ...

2008

Refinement Propagation. Towards Automated Construction of Visual Specifications

Alain Wegmann, Irina Rychkova

Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design ...

2007