UML

The database needs a structure definition to be able to store data and to recognize the content and be able to retrieve information. The structure has to be developed for the need of applications, which help us perform a business process to achieve an added value for the customer. Database implementation is the final step in developing a business supporting application. It has to comply with the requirements of the business process, which is the first abstraction of the view of the database. tech news

After becoming part of the UML standard, OCL has been applied successfully in various domains. As a result, requirements to be met by future versions of OCL have evolved. A key requirement is to provide means for the formal integration of OCL and UML. Therefore, the latest proposal for a revised specification of OCL contains a metamodel defining the language concepts and semantics. Apart from basic functionality for processing OCL expressions, the toolkit is designed to support the evaluation of well-formedness rules defined on both models and metamodels. This paper introduces the revised architecture of the toolkit. tech news

Business process modelling and workflow process execution are often conducted in diverse environments and described using diverse process definition languages. Such systems often underpin distributed collaboration systems, but there is a current need to allow developers to use existing and familiar design methodologies and tools to design these systems. This paper presents the business model architecture used in the DIECoM project and examines the problem of how to transfer multiple views on a business process model in UML to a computer view for workflow execution. tech news

UML, being the industry standard as a common OO modeling language, needs a well-defined semantic base for its notation. Formalization of the graphical notation enables automated processing and analysis tasks. This paper describes a methodology for synthesis of a Petri net model from UML diagrams. The approach is based on deriving Object Net Models from UML statechart diagrams and connecting these object models based on UML collaboration diagram information. The resulting system-level Petri net model can be used as a foundation for formal Petri net analysis and simulation techniques. tech news

There have been a number of formal approaches for specifying UML semantics. Unlike these approaches, the purpose of this paper is to present a case for the community defining precise UML semantics to consider category theoretic approaches for representing UML semantics based on the authors actual experiences. Category theory has been gaining popularity for formal approaches in software engineering. While many formal specification techniques provide the ability to describe the structure and behavior of specification objects, category theory explicitly captures relationships between specification objects. tech news