Formal semantics for refinement verification of entreprise models
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.
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
