Publication

Direct Model-checking of SysML Models

Related publications (36)

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.

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

The Role of Tarski’s Declarative Semantics in the Design of Modeling Languages

Alain Wegmann, Andrey Naumenko

This paper focuses on Tarski

s declarative semantics and their usefulness in the design of a modeling language. We introduce the principles behind Tarski

s approach to semantics and explain what advantages this offers in the context of modeling languages. ...

2003

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

Triune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP

Andrey Naumenko

This thesis presents the structural organization, theoretical foundations and basic application principles of Triune Continuum Paradigm, an original paradigm applicable to object-oriented modeling. The paradigm defines a metamodeling structure efficient in ...

2002

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

Triune Continuum Paradigm

Andrey Naumenko

EPFL2002

Specifying System Behavior in UML

Shane Sendall

The purpose of the paper is to present our approach for specifying system behavior. Our approach is based on operation schemas and a system interface protocol (SIP). Operation schemas describe the functionality of system operations by pre- and post-conditi ...

2000

From Use Cases to System Operation Specifications

Shane Sendall

The purpose of this paper is to first showcase the concept of an operation schema - a precise form of system-level operation specification and secondly show how operation schemas enhance development when they are used as a supplement to use case descriptio ...

2000

Descriptive Object-Oriented Operation Specification for UML

Shane Sendall

The purpose of this paper is to show how system operations can be specified by pre- and postconditions using the Object Constraint Language (OCL), as defined by the Unified Modeling Language (UML) specification, and how these system operation specification ...

2000

These paper presents an approach for integrating UML with an ADL. The integration would encompass the advantages of both languages. It would give formal semantics to UML constructs and thus would provide UML with a theoretical foundation for architecture m ...

1999