Publication

Formal semantics for refinement verification of entreprise models

Publications associées (132)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Expressing Systemic Contexts in Visual Models of System Specifications

Gil Regev, Alain Wegmann, José Diego de la Cruz Garcia

Decision support systems can be used to manage systems. Managed systems are described by system specifications. System specification notations, such as UML, often separate in different diagrams the static specification and the dynamic specification of the ...

2005

The KeY Tool

KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for UML based software development. Using the KeY tool, formal methods and object-oriented development techniques are applied in an in ...

Springer2005

Detecting Malicious Code by Model Checking

Johannes Kinder

The ease of compiling malicious code from source code in higher programming languages has increased the volatility of malicious programs: The first appearance of a new worm in the wild is usually followed by modified versions in quick succession. As demons ...

Springer2005

Autonomic Execution of Web Service Compositions

Thomas Heinis

An increasing amount of Web services are being implemented using process management tools and languages (BPML, BPEL, etc.). The main advantage of processes is that designers can express complex business conversations at a high level of abstraction, even re ...

IEEE Computer Society2005

SeamCAD 1.x: User’s Guide

Alain Wegmann, Lam Son Lê

The enterprise architectures goal is to integrate business resources and IT resources in order to improve an enterprises competitiveness. Our goal is the development of an object-oriented enterprise architecture method, called "SEAM". As part of SEAM, we h ...

2004

Meta-model for Object-Oriented Hierarchical Systems

Alain Wegmann, Lam Son Lê

In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprises competitiveness. In an enterprise architecture project, the development team constructs a hierarchical model that represents the ent ...

2004

Enterprise Architecture: What Aspects is Current Research Targeting

Alain Wegmann, Kerstin Langenberg

Enterprise architecture is an approach to aligning business and IT within a company. In this paper we present the state of the art in enterprise architecture (EA) research, our survey is based on an analysis of the publicly available publications. Our rese ...

2004

The Value of Roles in Modeling Business Processes

Alain Wegmann, Pavel Balabko, Nicolas Clément

Rapid business changes require companies to make rapid changes in business processes and ultimately in BPS systems. These changes can be done rapidly if business modelers understand the base roles of business processes and relationships between these roles ...

2004

MDA in Enterprise Architecture? The Living System Theory to the Rescue…

Alain Wegmann, Otto Preiss

Integrating business and information technology (IT) is essential for enterprises to be competitive. The integration of business and IT forces project teams to analyze and design a hierarchy of systems such as: groups of companies collaborating in business ...

2003

Operational ASM Semantics behind Graphical SEAM Notation

Alain Wegmann, Irina Rychkova, Pavel Balabko

The context of this paper is Enterprise Architecture (EA). EA is a multi-disciplinary approach that allows dierent specialists to design new business and IT systems and focuses on the integration of these systems. Our group develops a specic EA method that ...

2003