Editorial: Model-Driven Development for secure information systems
Information and Software Technology
Systematic design of secure Mobile Grid systems
Journal of Network and Computer Applications
Software development with the emphasis on topology
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Hi-index | 0.00 |
Object-oriented analysis suggests semiformal use- case driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) increases the degree of formalization. It uses mathematical foundations of Topological Functioning Model (TFM) that holistically represents complete functionality of the system. TFMfMDA introduces more formal analysis of a business system, namely enables defining not what the client wants, but what the client needs. Additionally, it also enables verification of textual functional requirements, checking of missing requirements in conformance with the "as is" model of the problem domain. A use case model of the application is defined with the help of a goal-based method. A model of domain concepts is defined by graph transformation of the TFM. TFMfMDA satisfies the main feature of MDA Separation of Concerns.