Publication

Formal semantics for refinement verification of entreprise models

Related publications (132)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

Ontology-based approach for context modeling in enterprise applications

Drazen Nadoveza

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

Synthesizing robust systems

Barbara Jobstmann

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

, , , , , ,

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

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

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

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