Publications de Irina Rychkova

Extending Business Process Models with Appreciation

Alain Wegmann, 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’ 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, Didier Rey Marchetti, Gorica Tapandjieva Sekulovska

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

Alain Wegmann, Gil Regev, 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

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

Using Declarative Specifications in Business Process Design

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

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

Early Requirements and Business-IT Alignment with SEAM for Business

Alain Wegmann, Gil Regev, Irina Rychkova

The early requirements of an IT system should be aligned with the organization’s business imperatives. To understand these imperatives it is necessary to understand the organization’s position within its environment. SEAM for Business is a method designed ...

IEEE2007

Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications

Alain Wegmann, Irina Rychkova

SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalizatio ...

2007

Business-IT Alignment with SEAM for Enterprise Architecture

Alain Wegmann, Gil Regev, José Diego de la Cruz Garcia, Lam Son Lê, Irina Rychkova

To align an IT system with an organization’s needs, it is necessary to understand the organization’s position within its environment a well as its internals. In SEAM for Enterprise Architecture the organization is considered as a hierarchy of systems that ...

IEEE2007

Teaching Enterprise and Service-Oriented Architecture in Practice

Alain Wegmann, Gil Regev, José Diego de la Cruz Garcia, Lam Son Lê, Irina Rychkova

Many companies expect their IT developers to understand their business strategy and to specify IT systems that will impact favorably the execution of their business strategy. Enterprise Architecture (EA) and Service-Oriented Architecture (SOA) address thes ...

2007

An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy

Alain Wegmann, Gil Regev, José Diego de la Cruz Garcia, Lam Son Lê, Irina Rychkova

SEAM is an enterprise architecture method based on RM-ODP part 2. In this paper, we present an example of a SEAM hierarchical model where the behavioral part is formalized in Alloy. We introduce four kinds of actions and their relationships to properties t ...

2007

From Business to IT with SEAM: J2EE Pet Store Example

Alain Wegmann, Gil Regev, Lam Son Lê, Irina Rychkova

Business and IT alignment demands clear traceability between the applications to be developed and the business requirements. SEAM is a systemic visual approach for modeling systems, including information systems and organizations. This paper illustrates ho ...

2007

A Method of Functional Alignment Verification in Hierarchical Enterprise Models

Alain Wegmann, Irina Rychkova

Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical enterprise models, made of an assembly of system models, are effective. In these ...

2006

A Method and Tool for Business-IT Alignment in Enterprise Architecture

Alain Wegmann, Gil Regev, Pavel Balabko, Lam Son Lê, Irina Rychkova

Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise architecture (EA) discipline has emerged from business best practices. EA framewor ...

2005