Clinical pathways describe treatment processes within a hospital. They can be used as process models, which can be controlled by implemented workflow models in information systems. This enables (semi-) automated processes, and they are therefore high potential for an improved quality management and seamless IT support. Surprisingly, there are no published process models that describe the implem...

It is one of the most important issues that constructing better Knowledge-Based System (KBS) to fulfill an efficient adaptive scheduling to complex manufacturing system. A method for developing and documenting the KBS for adaptive scheduling, using the Unified Modeling Language (UML) is presented . It employed UML to describe the system analysis, system design and system implementation of KBS, ...

In the last years, the software development based on mobile agents has received important attention because it introduces a new development paradigm for widely distributed and heterogeneous systems. Up to now, the usual approach for mobile-agent applications development has been focused on the implementation phase, mainly because of the vast lack of suitable modeling techniques or methodologies...

Recently, there has been growing interest in identifying patterns for the domain of system security, termed security patterns. Currently, those patterns lack comprehensive structure that conveys essential information inherent to security engineering. This paper describes research into investigating an appropriate template for security patterns that is tailored to meet the needs of secure system...

It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated with schemas expressed in that modelling language. This paper terms these restrictions temporal constraints, and defines three types of temporal constraint which are argued to be useful modelling concepts, capturing impo...

The practical application of the Object Constraint Language, which is part of the UML speci cation since version 1.1, depends crucially on the existence of adequate tool support. This paper discusses general design issues for OCL tools. It is argued that the nature of OCL will lead to a large variety of tools, applied in combination with a variety of di erent UML tools. Therefore, a exible modu...

An increasing number of data sources are available on the Internet, many of which offer semantically overlapping data, but based on different schemas, or models. While it is often of interest to integrate such data sources, the lack of consistency among them makes this integration difficult. This paper addresses the need for new techniques that enable the modeling and consistency checking for l...

A diagrammatic approach to the semantics of OO modelling notations is proposed. This is based on an innovative and expressive notation dubbed “constraint diagrams”, which can be used to precisely characterise a range of sophisticated, static constraints on OO models. Other notations, such as those found in UML, can be viewed as projections of constraint diagrams. Work on using constraint diagra...