Publications by José Diego de la Cruz Garcia

Visual contracts (VCs) : enriching graphical systemic models to support diagrammatic reasoning in system design

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008

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

Validation of Visual Contracts for Services

Alain Wegmann, José Diego de la Cruz Garcia, Lam Son Lê

Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more compl ...

2006

VISUAL CONTRACTS: A way to reason about states and cardinalities in IT system specifications

Alain Wegmann, José Diego de la Cruz Garcia, Lam Son Lê

Visual modeling languages propose specialized diagrams to represent behaviour and concepts necessary to specify IT systems. As a result, to understand a specification, the modeller needs to analyze these two types of diagrams and, often, additional stateme ...

2006