Publication

Descriptive Object-Oriented Operation Specification for UML

Alfred Strohmeier, Shane Sendall
2000
Reports

Abstract

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 specifications relate to the analysis class model and other models of the analysis phasis. It is also shown how the communication between the system and actors by event sending can be modeled. The result is a system behavior model at a higher-level of abstraction than the one provided by collaboration diagrams, which concentrate on method invocations between objects.

Official source

https://infoscience.epfl.ch/entities/publication/7ce02fae-5dfe-445b-a251-8a816639dcb2

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

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.

Alfred Strohmeier, Shane Sendall
2000
Reports

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/7ce02fae-5dfe-445b-a251-8a816639dcb2

About this result

Related concepts (32)

Unified Modeling Language

The unified modeling language (UML) is a general-purpose visual modeling language that is intended to provide a standard way to visualize the design of a system. UML provides a standard notation for many types of diagrams which can be roughly divided into 3 main groups: behavior diagrams, interaction diagrams, and structure diagrams. The creation of UML was originally motivated by the desire to standardize the disparate notational systems and approaches to software design.

Object-modeling language

An object-modeling language is a standardized set of symbols used to model a software system using an object-oriented framework. The symbols can be either informal or formal ranging from predefined graphical templates to formal object models defined by grammars and specifications. A modeling language is usually associated with a methodology for object-oriented development. The modeling language defines the elements of the model. E.g., that a model has classes, methods, object properties, etc.

Modeling language

A modeling language is any artificial language that can be used to express data, information or knowledge or systems in a structure that is defined by a consistent set of rules. The rules are used for interpretation of the meaning of components in the structure Programing language. A modeling language can be graphical or textual. Graphical modeling languages use a diagram technique with named symbols that represent concepts and lines that connect the symbols and represent relationships and various other graphical notation to represent constraints.

Related publications (12)

Descriptive Object-Oriented Operation Specification for UML

Chat with Graph Search

Recent Advances in Tracer‐Aided Mixing Modeling of Water in the Critical Zone

Design and assembly of a cavity-microscope system for cold atoms experiments

Refactoring OCL Annotated UML Class Diagrams