Abstract: According to standard UML 2.5 Behavioral Software Models (BSMs) are UML diagrams that represent software behavior UML 2.5, 2012. An approach of BSM analytical representation is proposed in this paper. Such BSMs as Use Case Diagrams (UCDs), Collaboration Diagrams (CDs) and Sequence Diagrams (SDs) are considered at this paper. In order to design this approach objects and operations that are both common and specific for every type of considering UML diagrams are defined. In order to prepare general analytical representation of BSM it is proposed to form two tuples containing objects and operations. Thus, BSM is represented as a Cartesian product of these two tuples. Then analytical representation of conditional operation is proposed. The peculiarity of the represented approach is that unified analytical representation of some operation for all types of considering BSMs is used. Such representation facilitates performing many operations in Model-Driven? Architecture (MDA) area. Literature review shows that researches of BSMs mostly focused on preparation of an analytical representation for parallel processes Hu, 2014, Dove, 2014 or designing transformation technics Rhazali, 2014, Romera ,2014, FUML, 2013, Wang, 2014, Bonaris, 2014 and ect.. But conditional operations are important constituents of any complex algorithms of processes. Existing technics of conditional operations description, for example Object Constraint Language (OCL) OCL 2.4, 2014, do not contain detailed notation for representation of any condition with given precision level. The notation for formal analytical representation of conditional operation is represented in this paper. It is shown that any complex conditions can be described in terms of the proposed notation. In order to prove this thesis different conditional blocks are designed from Collaboration Diagrams. Also the analytical representation of conditional block is obtained from other types of considering BSM. Also in the point further research the general idea of framework for the analytical description of BSM is proposed. In conclusion advantages of implementing of the proposed approach to perform different activities in software development lifecycle are formulated.

Keywords: Analytical representation, UML diagrams, Set-theory, Object Constraint Languages (OCL), Model-Driven? Architecture (MDA).

ACM Classification Keywords: D.2.2 - Design Tools and Techniques, D.2.11 Software Architecture

Link:

AN APPROACH TO BEHAVIORAL SOFTWARE MODELS ANALYTICAL REPRESENTATION

Elena Chebanyuk

http://www.foibg.com/ijima/vol04/ijima04-01-p06.pdf