Modelling concurrent interactions

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelling Concurrent Interactions

In UML 2.0 sequence diagrams have been considerably extended but their expressiveness and semantics remains problematic in several ways. In other work we have shown how sequence diagrams combined with an OCL liveness template gives us a much richer language for inter-object behaviour specification. In this paper, we give a semantics of these enriched diagrams using labelled event structures. Fu...

متن کامل

Resolving Concurrent Interactions

Serialization, the traditional method of resolving concurrent interactions, is often inappropriate; when interactions are dependent on each other, other policies for resolving them may be more suitable. We use semantic information to help categorize common interactions encountered in the modeling and simulation domain. This categorization enables us to suggest reasonable policies for resolving ...

متن کامل

Enviroment Modelling for Concurrent Engineering

The research and development in the area of computer integrated construction have looked at various fragments of the domain to be used as a glue for the integration of the profession. Examples of these fragments include products and processes. In this paper, environment modelling is suggested, as an approach that provides a more complete picture of the domain requires the support of information...

متن کامل

Modelling concurrent systems with Alvis

Alvis is a new modeling language for developing concurrent (embedded) systems. The language is being developed within the confines of the Alvis project at AGH University of Science and Technology, Department of Automatics. The Alvis language combines hierarchical graphical modelling with a high level programming language. Moreover, a formal verification of a model, based on an LTS graph (Labell...

متن کامل

Multi-user interactions in the context of concurrent virtual world modelling

Distributed virtual reality, thanks to newly proposed paradigms, offers interesting perspectives to virtual world modelling. Our main interests are in applications which allow users to edit and deform existing shapes. This paper presents a concurrent virtual world modelling application base on those ideas. As well as a first implementation based on VIPER (VIrtuality Programming EnviRonment) a g...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2006

ISSN: 0304-3975

DOI: 10.1016/j.tcs.2005.09.068