This work states that a refinement (abstraction) step adds (deletes) encroaching relationships and thus cascades changes to the schema beyond the current entity being refined (entity cluster being abstracted).
This paper addresses many of the problems inherent in providing a general purpose formal object oriented requirements capture tool set.
This paper presents semantically integrated conceptual modelling method, which provides possibility of integration of business processes and business data and graphically described as classification, inheritance or composition of organizational and technical system components.
The main phases of the semi-automatic approach to obtaining entity relationship models from natural language specifications are described and a summary of the results obtained when it is applied to a case study is presented.
This paper states that many of the problems which arise when features combine are due to badly developed requirements models for individual features, and shows how good requirements models could resolve the problems that arise when combining features.
It is discovered that no one semantic framework is suitable for the synthesis and analysis of formal feature requirements models, so this work advocates a mixed-model approach.
The overall theme of this paper is the triangle of integration in the authors' simulations — this work integrates user-friendly (graphical) animation of operational requirements during validation, together with proof of logical properties during verification, along with the structural object oriented concepts which support formal incremental development techniques.
Questions regarding business rule manipulation within ISD remain unresolved and present challenges for future research, and where possible, some directions for potential solutions are pointed out.
These models are, of course, abstractions of the real world and their operational semantics can be executed to provide a simulation model for validation: to show that the behaviour actually corresponds to what exists or what is required. |