Publication

Specifying System Behavior in UML

Related publications (46)

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.

Capturing concerns that crosscut the boundaries of multiple components in software architecture descriptions is problematic. Standard description languages, such as UML, do not provide adequate means to understand and modularize such concerns, but aspect-o ...

2002

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

Operation Schemas and OCL

Shane Sendall

This report describes the syntax and usage of operation schemas and it also shows how we use UML's object constraint language (OCL) in operation schemas. ...

2001

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

UML-based Fusion Analysis

Shane Sendall

In recent times, there has been an increased requirements for software to be distributed. The well-known Fusion development method, however, can only be used to develpp sequential reactive systems, and certain restricted kinds of concurrent systems. In con ...

1999

This thesis presents a method and a tool for test set selection, dedicated to object-oriented applications and based on formal specifications. Testing is one method to increase the quality of today's extraordinary complex software. The aim is to find progr ...

EPFL1998

What is a good method to specify and derive imperative programs? This paper argues that a new form of functional programming fits the bill, where variable functions can be updated at specified points in their domain. Traditional algebraic specification and ...

1998

We propose an object-oriented specification language, FUS++, for expressing the functional behaviors and the desired properties of each telecommunications service at the analysis phase. Our approach is based on Fusion, an object-oriented method that consis ...

1997