The paper deals with the use of a UML approach for the specifications of a PDM system (product data management) implementation. A PDM system enables the management of the whole product data and related information about its entire

In this survey, we describe the following different aspects of modeling multidimensional point sets (shapes) using real-valued functions of several variables: algebraic system as a formal framework; representation of shapes, operations, and relations using real-valued functions, internal representation of the modeling system; specialized language for function-based modeling, and model extension...

Zur Beschreibung des dynamischen Verhaltens eines Systems werden nach UML Zustandsund Interaktionsdiagramme verwendet. Während ein Zustandsdiagramm das Verhalten eines Objektes über mehrere Anwendungsfälle hinweg beschreibt, wird im Interaktionsdiagramm die Abarbeitung eines Anwendungsfalls in der Zusammenarbeit von Objekten dargestellt. Als Interaktionsdiagramme stehen in UML Kollaborationsund...

This paper surveys and investigates the strengths and weaknesses of a number of recent approaches to advanced workflow modelling. Rather than inventing just another workflow language, we briefly describe recent workflow languages, and we analyse them with respect to their support for advanced workflow topics. Object Coordination Nets, Workflow Graphs, WorkFlow Nets, and an approach based on Wor...

The concept of pattern, meant as an interesting knowledge artifact extracted from data, is considered to be a an effective answer to the advanced analysis requirements emerging in complex industrial and scientific applications. Overall, it appears that designing and building large pattern-bases will probably be a hot issue for future applications. In this paper we focus on conceptual design of ...

Zusammenfassung: In jüngster Zeit werden mehr und mehr objektorientierte Modellierungssprachen, Werkzeuge und Methoden für die Entwicklung eingebetteter Systeme in Betracht gezogen, die Varianten der Standardmodellierungssprache UML darstellen. In diesem Papier werden mit Realtime UML und UML/Realtime zwei solcher UML-Varianten kurz präsentiert. Im Anschluß daran wird ein neuer Vorschlag zur „n...

This paper describes part of the work within the ProVotE project, whose goal is the introduction of e-voting systems for local elections. The approach is aimed at providing both precise models of the electoral processes, and mechanisms for documenting and reasoning on the possible alternative implementations of the procedures. It is based on defining an alternating sequence of models, written u...