Model-driven software development has all chances to turn software development into software engineering. But this requires not only mature methodologies but also engineering models. An engineering model should satisfy five key characteristics, namely, abstraction, understandability, accuracy, predictiveness and inexpensiveness. This chapter discusses capabilities of a Topological Functioning Model (TFM) as such an engineering model for the purposes of domain analysis and software development in common. The TFM has functional and topological properties. The functional properties are cause-effect relations, cycle structure, inputs, and outputs. The topological properties are connectedness, closure, neighborhood, and continuous mapping. Thanks to its formal mathematical foundations, the TFM completely satisfies the mentioned characteristics of engineering models that is illustrated in the chapter.
Object-oriented analysis suggests semiformal usecase 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.
The first model in Model Driven Architecture (MDA) is a Computation Independent Model (CIM) that specifies domain information. One of issues discussed in this chapter is the meaning of “computation independence”. Another one is formalism of CIMs. And the last issue discussed is a use of a Topological Functioning Model (TMF) for problem domain modeling from a computation independent viewpoint. The TFM is a mathematical model that holistically and formally represents functionality of the problem domain, and does not show any details of the implementation and modeling platform. The TFM contains information from functional, information, and organizational domains of business process modeling. Construction of the TFM from the informal description of the system and guidelines for its decomposition into business processes are discussed and demonstrated by an example.
In Model Driven Architecture (MDA), business requirements for the information system are described in a Computation Independent Model (CIM), which additionally can describe knowledge of the business, and structure and behavior of both business and supporting information system. In object-oriented software development requirements are described by use cases. Use cases and identification of them are informal and application-oriented. Goal-based approaches provide a more systematic way for discovering use cases from informal knowledge about a system. The main and very important difference of the approach suggested in this chapter is that we ground our domain analysis on a mathematical engineering model, Topological Functioning Model. It is a formal holistic computation independent business model, whose characteristics help in avoiding challenges in functional requirements caused by non-systematic approaches and fragmental nature of use cases, namely, completeness, traceability and compliance with the problem domain.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.