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.

A Semantic Framework for Architecture Modelling

Eduard Baranov

Architectures are common means for organising coordination between components in order to build complex systems and to make them manageable. They allow thinking on a higher plane and avoiding low-level mistakes. Architectures provide means for ensuring cor ...

EPFL2017

A critical assessment of business model research

Christopher Tucci, Allan Afuah, Lorenzo Massa

Ever since the Internet boom of the mid-1990s, firms have been experimenting with new ways of doing business and achieving their goals, which has led to a branching of the scholarly literature on business models. Three interpretations of the meaning and fu ...

Acad Management2017

Configuration logics: Modeling architecture styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Elsevier Science Inc2017

Robust Control Policies Given Formal Specifications in Uncertain Environments

Maryam Kamgarpour, Tony Alan Wood

We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This letter is motivated by autonomous systems interacting with partially known, time-varying environments. Given a specificati ...

2017

Einsatz von Nichtmarktstrategien durch oeffentliche Unternehmen gegenueber dem Staat

Carole Juliane Isabelle Rentsch

Public enterprises operate in the area between the opposing poles of state and market. On the one hand they must meet a wide range of political expectations, and on the other they must fulfil commercial efficiency criteria. This dissertation addresses how ...

EPFL2017

Alignment Verification in the Early Stage of Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska, Matteo Filipponi

Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a model-driven approach for automatic verification of service properties, done in the ...

2017

Solving quantified linear arithmetic by counterexample-guided instantiation

Viktor Kuncak, Andrew Joseph Reynolds

This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive decision procedur ...

2017

Modelling Architecture Styles

Anastasia Mavridou

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

EPFL2016

Designing modeling notations readers understand

George Popescu

[Context] IT modelers create models to communicate their conceptualization of an organization and to facilitate the collaboration between business and IT people. The story they convey in their models is how the corporate IT systems fulfill the business peo ...

EPFL2016

Current trends on ICT technologies for enterprise information systems

Soumaya El Kadiri

As business conditions change rapidly, the need for integrating business and technical systems calls for novel ICT frameworks and solutions to remain concurrent in highly competitive markets. A number of problems and issues arise in this regard. In this pa ...

Elsevier Science Bv2016