Visual modeling languages are appealing because "a picture tells more than a thousand words." The UML is such a visual language and is well known for its graphical notation and diagramming techniques. However, pictures often only tell half of the story and additional information needs to be captured in a different way. For this reason the UML includes the Object Constraint Language (OCL), a tex...

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...

Process reuse (the ability to construct new processes by assembling already built ones) and process harvesting (the ability to build generic processes that may be further reused, from existing ones) are two crucial issues in process technology. Both activities involve defining a set of mechanisms, like abstraction, adaptation, composition, etc. which are appropriate to achieve their goals. In t...

We describe our work on the prototype AutoJML tool which automatically derives JML (Java Modelling Language) specifications from UML state diagrams. UML is widely used for modelling Object-Oriented systems on an abstract level. It should be possible to test whether concrete program code actually implements a UML model. The generated JML specifications can be used for this. There exist tools to ...

Banks need to document their business processes for multiple purposes. Hence, efficiently documenting and automatically analyzing business process models becomes increasingly important in order to achieve additional value from modeling efforts. However, recent research indicates that banks are not very satisfied with general purpose business process modeling languages. Our research indicates th...

In this articles we focus on the system behavioral modeling. We discuss systematic modeling approach for the system modeling. For the proposed modeling approach, the system engineering techniques are adopted. The role of the SysML basic principles and diagrams is discussed. Keywords—System engineering, system modeling, behavioral modeling, sysml, uml

The Unified Modeling Language (UML) is used to describe a system that needed to interface with many external systems, at various levels of detail appropriate for a variety of user, developer, and tester audiences. Rational’s Rose CASE tool was used to produce a variety of UML-based products for these audiences.

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...

modeling is one of the most interesting areas in various fields of science. unfortunately data quality, which has an important role in the modeling, is not considered. in fact, most often processes encounter disturbances which results in the collection of abnormal data and may lead to a model different from the real behavior of the process. on the other hand, most of real industrial processes a...