An object-oriented approach to formally analyze the UML 2.0 activity partitions
ABSTRACT Nowadays, UML is the de-facto standard for object-oriented analysis and design. Unfortunately, the deficiency of its dynamic semantics limits the possibility of early specification analysis. UML 2.0 comes to precise and complete this semantics but it remains informal and still lacks tools for automatic validation. The main purpose of this study is to automate the formal validation, according a value-oriented approach, of the behavior of systems expressed in UML. The marriage of Petri nets with temporal logics seems a suitable formalism for translating and then validating UML state-based models. The contributions of the paper are threefold. We first, consider how UML 2.0 activity partitions can be transformed into Object Petri Nets to formalize the object dynamics, in an object-oriented context. Second, we develop an approach based on the object and sequence diagram information to initialize the derived Petri nets in terms of objects and events. Finally, to thoroughly verify if the UML model meets the system required properties, we suggest to use the OCL invariants exploiting their association end constructs. The verification is performed on a predicate/transition net explored by model checking. A case study is given to illustrate this methodology throughout the paper.
[show abstract] [hide abstract]
ABSTRACT: The Unified Modeling Language (UML) is the de facto standard for modeling object-oriented software and system analysis. The four plus one View Model describes the information system framework using five concurrent views, each of which depicts a specific view of the system. UML consists of various graphical notations, which capture the software designer's architecture decision. The nine diagrams can assist system designer and analyzer to sketch the blueprint of information system easily. Data warehouse is the latest must-have marketing weapon in Business domain. It provides architectures and tools for users to systematically organize, understand, and use their data to make strategic decision. It is also useful for information retrieval in pedagogical settings. In this study, we constructed the framework of the prototype of multi-dimensions botanical documents inquiry system (MDBDIS) with the notation and methodology of UML. The empirical results of this study has showed the high recall and precision rates, the recall rate of LeaveMargin = "Serrate" and florescence="pink" is 0.83, and the precision rate of LeaveMargin = "palmatelylobed" and Phyllotaxy =" opposite" is 075. In this paper, the finding which has provided evidence of an empirically applied UML methodology to sketch the blueprint of data warehouse is a useful new avenue for system designer and analyzer.