In this paper we survey the various ways in which concurrency concerns interact with the modelling of software systems in UML. We discuss the aspects of UML1.4 which can be used to model concurrency aspects of systems, and mention some of the changes expected in UML2.0. We briefly survey some of the research which has been carried out concerning UML and concurrency, and some outstanding issues.

Informatik 4 RWTH Aachen Straße PLZ Aachen Deutschland Bitte geben Sie Ihre vollständige Adresse an. [email protected] Kai Jakobs ist seit 1985 Technischer Angestellter am Lehrstuhl Informatik 4 der RWTH Aachen; seit 1987 in der Rolle des Leitenden Systemtechnikers. 1998 promovierte er in Computer Science an der University of Edinburgh. In jüngerer Zeit konzentrieren sich seine Forsc...

Automatic model creation from textual specifications is a complex task. We show how ontologies can be used to improve the quality of automatically created UML models. An evaluation of a model transformation from a textual specification of the World Chess Federation to UML is used as an example. The resulting UML models are substantially improved.

Graphical Abstract „Science is fun because every day obvious things become more interesting when you get to know the secrets behind them … The greatest scientific advance of next decade will be invention a unified artificial intelligence interface unravel complex reaction mechanisms.“ Find out about Papri Chakraborty in her Introducing Profile.

The purpose of the article is to present theoretical characteristics main aspects higher education libraries, essence and role free educational libraries in system, process designing library information resource "Single Library Space" as a variant modernization science. resource, its structural construction are determined. research methodology based on textual method determining origin institut...

This contribution reports on a middle-sized case study in which the consistency of a UML and OCL class model is checked. The class model restrictions are expressed by UML multiplicity constraints and explicit, non-trivial OCL invariants. Our approach automatically constructs a valid system state that shows that the model can be instantiated and thus proves consistency, i.e., shows that the inva...

Intuitive ontology visualization is a key for their learning, exchange, as well as their usage in conceptual modeling. OWLGrEd is a visual tool for compact graphical UML-style rendering and editing of OWL 2.0 ontologies. Here we introduce into OWLGrEd visualization annotations that allow defining custom visual presentations of ontology entities on the basis of annotations attached to these enti...

Readers of this article have probably seen, at least once, diagrams produced using the UML (Unified Modeling Language). Some of you have perhaps used UML for your own work and know that the UML can also be applied to a variety of analytic disciplines, ranging from economics to electronics, from mathematics to medicine, etc. However, you are less likely to have encountered UML in the strictly ar...

Synchronous collaborative work environments, which are mainly based on video-conferencing systems, suffer a lack of human communication channels and social awareness because mostly only audio, video, and joint editing of documents are supported. Collaborative services such as floor control, session control, and telepointers provide additional communication mechanisms to support persons co-worki...