The aim of this paragraph is to show how these assertion annotation techniques can be applied to reasoning at the IDM process level. We take the UML activity diagram as an example, followed by the SAM ...

Abstract: This paper presents a new approach to gather requirements called Use Processes. The approach includes a Use Process Diagram which is based on notation elements of the OMG Business Process ...

This project uses UML diagrams to illustrate the structure and behavior of the DDD example—a cargo shipping system—from Eric Evans' book (Domain-Driven Design: Tackling Complexity in the Heart of ...

Abstract: Virtual Enterprises can be considered as one of the most promising paradigms for future enterprises. The main characteristics of Virtual Enterprises are the distributed and parallel business ...