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

Towards Ontology-based Context Modeling for Manufacturing Applications

Drazen Nadoveza

Relevant and readily available information is a crucial basis for decision making, problem solving or performing knowledge-intensive work. The motivation for this thesis lays in the fact that in certain situations not all information provided by an applica ...

EPFL2014

Today, enterprise applications provide large amounts of data and finding the right information on time for a given purpose is often a challenge. In these environments, users do not know what information is important, why it is important and finally, how to ...

Elsevier Science Bv2014

Systems should not only be correct but also robust in the sense that they behave reasonably in unexpected situations. This article addresses synthesis of robust reactive systems from temporal specifications. Existing methods allow arbitrary behavior if ass ...

Springer2014

, ,

In this paper, we introduce a problem structuring method (PSM) called “Value Map”. Value Map is an extension to the Supplier Adopter Relationship Diagram in the Systemic Enterprise Architecture Method (SEAM). Value Map assists in understanding, analysis an ...

Springer International Publishing2014

, ,

In this paper, we present a modeling framework called “Value Map”. Value Map assists in conceptualization, representation and analysis of value creation and capture processes with the objective of innovating a firm’s business model. We illustrate the appli ...

ISPIM2014

A Philosophical Foundation for Business and IT Alignment in Enterprise Architecture with the Example of SEAM

Gil Regev, Alain Wegmann, Arash Golnam, Gorica Tapandjieva Sekulovska, Anshuman Bahadur Saxena, Biljana Bajic-Bizumic, George Popescu

Business-IT alignment is complicated because of the need to align multiple business and IT points of view. A philosophical foundation can help generate methods that bring together these disparate viewpoints in a common model that all stakeholders can agree ...

SCITEPRESS - Science and Technology Publications2013

The Role of Invariants in the Co-evolution of Business and Technical Service Specification of an Enterprise

We explore invariants as a linking mechanism between the business and technical service perspectives: From the business perspec- tive, invariants can be used to model (business) requirements of an en- terprise; from the technical perspective, invariants ex ...

CEUR Workshop Proceedings2013

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

Hierarchy-oriented modeling of enterprise architecture using reference-model of open distributed processing

Alain Wegmann, Lam Son Lê

Modeling Enterprise Architecture (EA) requires the representation of multiple views for an enterprise. This could be done by a team of stakeholders that essentially have different backgrounds. One way to do this is to structure the model into hierarchical ...

Elsevier2013

From Business Services to IT Services by Capturing Design Decisions

Claude Petitpierre, Alain Wegmann

The main goals of any service-oriented design include flexible support and adaptability of business services and improved business-IT alignment. The existing approaches, however, have failed to fully meet these goals. One of the major reasons for this defi ...

2012