Automatic generation of basic behavior schemas from UML class diagrams

: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema consisting of a set of system operations that the user may execute to update the system state. To be useful, such a set must be complete (i.e. through these operations, users should be able to modify the population of all elements in the class diagram) and executable (i.e. for each operation, there must exist a system state over which the operation can be successfully applied). A manual specification of these operations is an errorprone and time-consuming activity. Therefore, the aim of this paper is to present a strategy for the automatic generation of a basic behavior schema. Operations in the schema are drawn from the static aspects of the domain as defined in the UML class diagram and take into account possible dependencies among them to ensure the completeness and executability of the operations. We belie...

• Type: Journal
• Year: 2010
• Where: SOSYM
• Authors: Manoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano
• Keywords: Class Diagram, Dynamic Aspects, SOSYM 2010, Specification