Building an Information system involves a first phase of conceptual modeling of the "real world domain," then a second phase of design of the softwaresystem. For describing the softwaresystem, object-orien...
详细信息
ISBN:
(纸本)9780769535210
Building an Information system involves a first phase of conceptual modeling of the "real world domain," then a second phase of design of the softwaresystem. For describing the softwaresystem, object-oriented methods and languages (e.g., UML) are typically used. For the systemanalysis process that produces the conceptual description, object-oriented techniques or their semantic extensions are used. This paper concentrates on UML as the most widely used language for these purposes. It proposes an alternative to extending UML, through development of a conceptual modeling methodology based on the notion of flow. This flow model provides a conceptually uniform applied description that is appropriate for the systemanalysis phase.
In recent years light-weighted formal methods in construction and analysis of complex concurrent softwaresystem are of growing interest. In this paper a new rule-action based term rewriting framework, called TermWare...
详细信息
In recent years light-weighted formal methods in construction and analysis of complex concurrent softwaresystem are of growing interest. In this paper a new rule-action based term rewriting framework, called TermWare, is proposed and its application to software system analysis is described to provide better cost effectiveness of software maintenance under varied requirements and specifications of operation. The main advantage is light-weighted formal model based on not computational semantics but on particular properties of softwaresystem to be analyzed. Such approach eliminates the need in full formal analysis of softwaresystem and allows extreme flexibility of applications in two major concerns: high adaptability to changeable environment and easy reengineering and component reuse. The language and formal semantics of the system are defined. A new semantic model, called term system with action, is proposed for TermWare. A case study with some representative examples in source code analysis and software development with TermWare framework is presented.
systems Engineer is a client/server CASE tool for supporting softwaresystem development on PC machines under Windows. It compares fairly satisfactorily with other similar tools of the same category. systems Engineer ...
详细信息
systems Engineer is a client/server CASE tool for supporting softwaresystem development on PC machines under Windows. It compares fairly satisfactorily with other similar tools of the same category. systems Engineer offers various supporting techniques which address the full software life cycle, from planning and design to code generation, reengineering and maintenance. It supports system engineers working in a team.
A scheme is presented for the modelling of a softwaresystem's operation and it is shown how this scheme may be used in software system analysis. The scheme is primarily intended for the description of large-scale...
详细信息
暂无评论