Publication

A process model for structural identification

Related publications (37)

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.

Making Metamodels Aware of Concrete Syntax

Frédéric Fondement

Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling languages. While the definition of the abstract syntax is standardized by the 4-layer metamodel architecture of the OMG, most ...

2005

Composition of UML Described Refactoring Rules

Slavisa Markovic

Refactorings represent a powerful approach for improving the quality of software systems. A refactoring can be seen as a special kind of behavior preserving model transformation. The Object Constraint Language (OCL) together with the metamodel of Unified M ...

2004

Triune Continuum Paradigm and Problems of UML Semantics

Alain Wegmann, Andrey Naumenko

We present the results of our research that is positioned in the domain of system modeling. In particular, we present an object-oriented paradigm that provides a logically rigorous and complete theoretical base for various existing object-oriented framewor ...

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

Design Patterns of Timed Automotive Systems

Claude Petitpierre

The functional complexity of hardware and software systems is growing exponentially. This demands an integration of system validation in the design phase to guarantee that a concrete implementation conforms to the modeled requirements. System validation pr ...

2003

A metamodel for the Unified Modeling Language: critical analysis and solution

Alain Wegmann, Andrey Naumenko

Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which modeling practitioners should rely in their work. A minor inconsistency of a modeling l ...

2002

A Metamodel for the Unified Modeling Language

Alain Wegmann, Andrey Naumenko

2002

Using OCL and UML to Specify System Behavior

Shane Sendall

Use cases are an excellent tool for capturing behavioral requirements of software systems, but they are not an ideal work product for driving design activities. We believe that there is value from complementing use case descriptions with pre- and postcondi ...

Springer Verlag2002

Specifying reactive system behavior

Shane Sendall

Fundamentally, the development of software applications involves dealing with two distinct domains: the real world and software domains; the two converge at the point where a software application is used to make an unsatisfactory real world situation into ...

EPFL2002

Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology

Alain Wegmann, Andrey Naumenko

The development of business and information systems requires a significant amount of modeling. The current modeling languages and tools have difficulties supporting the modeling of systems spanning through multiple organizational levels. The use of inadequ ...

2001