Modelling concurrent interactions
نویسندگان
چکیده
منابع مشابه
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