Structured analysis is a widely used system modeling technique for understanding real world systems before they are built. It is based on functional decomposition of the problem domain. However, its inherent weakness is in identification and partitioning of a system's functionality. This paper proposes a use case driven approach to structured analysis. This approach makes it easier for model builders to find the functionality of a system and its partitioning it also matches well with structured analysis as it is top-down approach like the structured analysis. The approach is presented along with an example of its application.
{"title":"Use case driven structured analysis","authors":"Misbah Mirza, Seung Hoon Cha, Jae-il Jung, KiJong Lee, C. Youn","doi":"10.1109/CMPSAC.1996.544621","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544621","url":null,"abstract":"Structured analysis is a widely used system modeling technique for understanding real world systems before they are built. It is based on functional decomposition of the problem domain. However, its inherent weakness is in identification and partitioning of a system's functionality. This paper proposes a use case driven approach to structured analysis. This approach makes it easier for model builders to find the functionality of a system and its partitioning it also matches well with structured analysis as it is top-down approach like the structured analysis. The approach is presented along with an example of its application.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"246 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114193606","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.542427
Carl K. Chang, Chiao-Chuan Shih, P. Mongkolwat, Thinh T. Nguyen
In the real world, the popularity of each video is different. We propose a new popularity-based data allocation scheme to allocate data units within a cluster such that the corresponding data units of these popular videos are stored in those cylinders at one end of each cluster. Due to a higher spatial locality within these hot cylinders, some data units requested by the users are stored in the same cylinder such that one seek operation, one rotation, and one transfer operation are required to retrieve these data units. Therefore, the time required to retrieve data for these requests can be reduced, thus reducing the system response time as well. Based on our results, the system response time could be reduced by half or even more.
{"title":"A popularity-based data allocation scheme for a VOD server","authors":"Carl K. Chang, Chiao-Chuan Shih, P. Mongkolwat, Thinh T. Nguyen","doi":"10.1109/CMPSAC.1996.542427","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.542427","url":null,"abstract":"In the real world, the popularity of each video is different. We propose a new popularity-based data allocation scheme to allocate data units within a cluster such that the corresponding data units of these popular videos are stored in those cylinders at one end of each cluster. Due to a higher spatial locality within these hot cylinders, some data units requested by the users are stored in the same cylinder such that one seek operation, one rotation, and one transfer operation are required to retrieve these data units. Therefore, the time required to retrieve data for these requests can be reduced, thus reducing the system response time as well. Based on our results, the system response time could be reduced by half or even more.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114294216","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544149
Dongha Shin, M. Hilton
We show that disjunctive logic programs can be efficiently compiled to an extended version of Warren's Abstract Machine (WAM). In this compilation, we use D.A. Plaisted's (1988) Modified Problem Reaction Format (MPRF) as the basic proof procedure. Compilation of disjunctive logic programs is done in two stages: 1) the axioms and proof rules of MPRF are used to convert the disjunctive logic program into an equivalent Prolog program; and 2) this Prolog program is compiled to a WAM that has been modified to support efficient implementation of the axioms and splitting rule of MPRF. The modified WAM's design and some measurements of its performance are presented.
{"title":"Compilation of disjunctive logic programs using an extended WAM","authors":"Dongha Shin, M. Hilton","doi":"10.1109/CMPSAC.1996.544149","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544149","url":null,"abstract":"We show that disjunctive logic programs can be efficiently compiled to an extended version of Warren's Abstract Machine (WAM). In this compilation, we use D.A. Plaisted's (1988) Modified Problem Reaction Format (MPRF) as the basic proof procedure. Compilation of disjunctive logic programs is done in two stages: 1) the axioms and proof rules of MPRF are used to convert the disjunctive logic program into an equivalent Prolog program; and 2) this Prolog program is compiled to a WAM that has been modified to support efficient implementation of the axioms and splitting rule of MPRF. The modified WAM's design and some measurements of its performance are presented.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122687439","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544174
K. Taguchi, K. Araki
The paper proposes an extended notation of Z by which one can explicitly specify the intended behavior of operation schemas in the form of state transitions. The notation is based on a labeled transition system which is tractable to analyse the operational behavior of Z. We mainly focus on the semantic framework which enables us to express constraints both locally and globally. Simple examples are presented and some research issues on operational interpretation of schemas are discussed with respect to our semantic framework.
{"title":"Extending Z with state transition constraints","authors":"K. Taguchi, K. Araki","doi":"10.1109/CMPSAC.1996.544174","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544174","url":null,"abstract":"The paper proposes an extended notation of Z by which one can explicitly specify the intended behavior of operation schemas in the form of state transitions. The notation is based on a labeled transition system which is tractable to analyse the operational behavior of Z. We mainly focus on the semantic framework which enables us to express constraints both locally and globally. Simple examples are presented and some research issues on operational interpretation of schemas are discussed with respect to our semantic framework.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123191241","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544588
W. Chu, Hongji Yang
Software reuse covers the whole process of identification, representation, retrieval, adaptation and integration of reusable software components. The utilization of current library techniques is important in such a software process. However, these approaches tend to be retrieval based and offer no formal assistance to software integration in reuse. We propose a semantic interface Predicate/Transition nets based formal method for reuse. In this method, software components are selected from a reuse library and automatically translated and integrated into the net model. Thus, software integration and adaptation problems are converted into problems in the corresponding net model. With this formal method, software reuse problems such as the detection of inconsistencies in component integration can be automatically revealed.
{"title":"A formal method to software integration in reuse","authors":"W. Chu, Hongji Yang","doi":"10.1109/CMPSAC.1996.544588","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544588","url":null,"abstract":"Software reuse covers the whole process of identification, representation, retrieval, adaptation and integration of reusable software components. The utilization of current library techniques is important in such a software process. However, these approaches tend to be retrieval based and offer no formal assistance to software integration in reuse. We propose a semantic interface Predicate/Transition nets based formal method for reuse. In this method, software components are selected from a reuse library and automatically translated and integrated into the net model. Thus, software integration and adaptation problems are converted into problems in the corresponding net model. With this formal method, software reuse problems such as the detection of inconsistencies in component integration can be automatically revealed.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"52 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128884705","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544589
M. Boasson
Systems increasingly rely on software as the main technology for implementing the desired behaviour. There is a clear trend of steadily growing sophistication in the behaviour of these systems. The availability of cheap and fast hardware suggests that successive generations of systems should exhibit greatly enhanced behaviour, but this increase in functionality is not observed to an extent that can be related to the progress made in hardware. To the contrary, systems grow in complexity very rapidly (as exemplified by their cost and the required sophistication of the development process), without providing much in terms of added functionality. This complexity, and resulting cost, limits the achievable level of sophistication in systems, unless techniques are found that allow the software complexity to be reduced very significantly. The imbalance between cost and functionality is discussed and arguments are presented suggesting it to be avoidable through a sound software architecture.
{"title":"The role of architecture in the development of software systems","authors":"M. Boasson","doi":"10.1109/CMPSAC.1996.544589","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544589","url":null,"abstract":"Systems increasingly rely on software as the main technology for implementing the desired behaviour. There is a clear trend of steadily growing sophistication in the behaviour of these systems. The availability of cheap and fast hardware suggests that successive generations of systems should exhibit greatly enhanced behaviour, but this increase in functionality is not observed to an extent that can be related to the progress made in hardware. To the contrary, systems grow in complexity very rapidly (as exemplified by their cost and the required sophistication of the development process), without providing much in terms of added functionality. This complexity, and resulting cost, limits the achievable level of sophistication in systems, unless techniques are found that allow the software complexity to be reduced very significantly. The imbalance between cost and functionality is discussed and arguments are presented suggesting it to be avoidable through a sound software architecture.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128837875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1995-10-17DOI: 10.1109/CMPSAC.1996.545880
Shuichiro Yamamoto, R. Kawasaki, Mitsuo Nagaoka
The Visual and General User Interface for Database Environments (VGUIDE) is an integrated environment for developing and running distributed information systems based on the client/server model. Its main features are: (1) fourth-generation language (4GL) for developing database applications that reduce system development costs. (2) a real-time control monitor that can be scaled from small systems to heavily loaded large systems, and (3) 4GL application programs that can be ported among multi-vendor machines and operating systems. First, we give a technical overview of VGUIDE for developing distributed information systems. This involves an integrated middleware environment, various client/server models, and flexible application control mechanisms. Next, the performance of VGUIDE is examined. then, actual examples with VGUIDE are explained. Also, the effectiveness of VGUIDE is discussed.
VGUIDE (Visual and General User Interface for Database Environments)是一个基于客户机/服务器模型的集成环境，用于开发和运行分布式信息系统。其主要特点有:(1)用于开发数据库应用程序的第四代语言(4GL)，降低了系统开发成本。(2)可以从小型系统扩展到重载大型系统的实时控制监视器，以及(3)可以在多供应商机器和操作系统之间移植的4GL应用程序。首先，我们给出了VGUIDE用于开发分布式信息系统的技术概述。这涉及到集成的中间件环境、各种客户机/服务器模型和灵活的应用程序控制机制。接下来，对VGUIDE的性能进行了测试。然后用VGUIDE进行了实例说明。并对VGUIDE的有效性进行了讨论。
{"title":"VGUIDE: 4GL application platform for large distributed information systems","authors":"Shuichiro Yamamoto, R. Kawasaki, Mitsuo Nagaoka","doi":"10.1109/CMPSAC.1996.545880","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.545880","url":null,"abstract":"The Visual and General User Interface for Database Environments (VGUIDE) is an integrated environment for developing and running distributed information systems based on the client/server model. Its main features are: (1) fourth-generation language (4GL) for developing database applications that reduce system development costs. (2) a real-time control monitor that can be scaled from small systems to heavily loaded large systems, and (3) 4GL application programs that can be ported among multi-vendor machines and operating systems. First, we give a technical overview of VGUIDE for developing distributed information systems. This involves an integrated middleware environment, various client/server models, and flexible application control mechanisms. Next, the performance of VGUIDE is examined. then, actual examples with VGUIDE are explained. Also, the effectiveness of VGUIDE is discussed.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128085170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1109/CMPSAC.1996.544151
R. Radhakrishna Pillai
The paper discusses the motivation, requirements, and the emerging technologies to carry multimedia services over the Internet.
本文讨论了在因特网上承载多媒体业务的动机、需求和新兴技术。
{"title":"Multimedia over the Internet","authors":"R. Radhakrishna Pillai","doi":"10.1109/CMPSAC.1996.544151","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544151","url":null,"abstract":"The paper discusses the motivation, requirements, and the emerging technologies to carry multimedia services over the Internet.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117035884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1109/CMPSAC.1996.544608
A. Kuntzmann-combelles
Our experience in the process control business started consciously in 1990 and probably unconsciously before. When we started, the CMM model from the Software Engineering Institute was available to the public and we used it as the basis for development of a methodology for software measurement. In late 1993, we noticed some interest among our customers in Europe for process improvement; analysing the reasons for the customers' enthusiasm, we observed that there were two main justifications: competitors in the market place were involved in process improvement; and senior management had understood the role of software performance for the future of the company.
{"title":"Is software process re-engineering and improvement the \"Sliver Bullet\" of the 1990's or a constructive approach to meet pre-defined business targets?","authors":"A. Kuntzmann-combelles","doi":"10.1109/CMPSAC.1996.544608","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544608","url":null,"abstract":"Our experience in the process control business started consciously in 1990 and probably unconsciously before. When we started, the CMM model from the Software Engineering Institute was available to the public and we used it as the basis for development of a methodology for software measurement. In late 1993, we noticed some interest among our customers in Europe for process improvement; analysing the reasons for the customers' enthusiasm, we observed that there were two main justifications: competitors in the market place were involved in process improvement; and senior management had understood the role of software performance for the future of the company.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125095594","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：