2007 · 19 citations · 4 references
ComputingComputer ScienceSystems EngineeringFormal MethodsRequirements EngineeringSoftware EngineeringConceptual ModelingRequirements ModelingSoftware ArchitectureSoftware ModelingTopological ModelingUse Case ModelingArchitecture ModelsFunctional Requirements AnalysisFunctional Requirements ModelingGoal-oriented ModelingGraph TransformationModel-driven ArchitectureSoftware Architecture ModelingUse Case Diagrams
Abstract. The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It introduces more formal analysis of a business system (“as is”), enables defining of what the client needs, textual functional requirements validation, and missing requirements checking in conformance with the problem domain “as is ” model. By using a goal-based method, a use case model of the planned application is defined. Graph transformation from the TFM to a conceptual class diagram enables the definition between domain concepts and their relations to be established. The paper also suggests a concept of a tool for the TFMfMDA, which is realized as an Eclipse plug-in, and uses Natural Language Processing techniques.
4