MOSYS: a methodology for automatic object identification from system specification

Abstract

This paper presents a new approach to the automatic identification of objects / classes from a system specification. The methodology is aimed at the development of Distributed Real-Time Systems (DRTS), specially those conceived for industrial automation applications. UML is used as the modeling language in conjunction with an extended version of traditional DFD (E-DFD), that conveys information on flow type (data or control) and on process complexity and timing constraints. E-DFDs are mapped into a graph and a tool is used to carry out an automatic graph partition, which allows the identification of a set of objects that constitute, from the design and test points of view, the 'best-fitted' architecture. To validate the proposed methodology, a case study is presented and analyzed, comparing two design strategies.

Model-driven Techniques for Data Model Synthesis

“…Among the 13 identified papers [6], [8]- [19], there is no paper that presents an automatic generator taking a complete model of functional system requirements represented by the DFD-hierarchy. Just one paper [13] presents a semiautomatic generator taking a complete source model represented by the DF Net hierarchy, while four papers [12], [15]- [17] present the automated generation of the data model based on an incomplete source model, i.e. a single DFD.…”

A framework for object identification and refinement process in object-oriented analysis and design

“…In recent year, there are many research focusing on the methodology for identifying objects and its properties, i.e., behaviors, attributes, association [11] [21] [10], and the methodology for refining objects to share common structure.…”

Functional and object-oriented views in embedded software modeling

“…This kind of transformation is not simple and easy at all and face several problems. Firstly, despite the existence of some proposals for automatically obtaining objects, namely the SysObj tool [38], it generically involves several decisions that can not be done by a method or a tool, caused by the natural discontinuity between functional and structural models.…”