Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)最新文献

A dynamic scheduling mechanism for an effective admission control for variable-bit-rate video streams 一种动态调度机制，用于可变比特率视频流的有效准入控制

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716735

KyungOh Lee, H. Yeom

引用次数: 2

Some maintainability metrics for a communication protocol specified in Estelle Estelle中指定的通信协议的一些可维护性度量

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716659

Sun-Jen Huang, R. Lai

引用次数: 2

Object-oriented distributed component software development based on CORBA 基于CORBA的面向对象分布式组件软件开发

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716662

S. Yau, Bing Xia

引用次数: 19

The impact of the coordination model in the design of mobile agent applications 协调模型在移动代理应用程序设计中的影响

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716692

Giacomo Cabri, L. Leonardi, F. Zambonelli

引用次数: 25

An autonomous decentralized system architecture for distributed information and control systems 一种用于分布式信息和控制系统的自主分散系统架构

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716718

S. Kawano, K. Kawano, H. Wataya

引用次数: 2

Requirements validation based on the visualisation of executable formal specifications 基于可执行的形式化规范的可视化的需求验证

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716684

M. B. Özcan, P. Parry, I. Morrey, J. Siddiqi

引用次数: 6

A case study in supporting schema evolution of complex engineering information systems 支持复杂工程信息系统模式演化的案例研究

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716710

J. Weber, U. Nickel, D. Wagenblasst

{"title":"A case study in supporting schema evolution of complex engineering information systems","authors":"J. Weber, U. Nickel, D. Wagenblasst","doi":"10.1109/CMPSAC.1998.716710","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716710","url":null,"abstract":"Information systems have to evolve continually in order to keep up with emerging requirements. Various problems arise with each such evolution step, e.g. the modification of the application's conceptual data structure, the migration of existing data, the adaption of application code, and the modification of technical documentation. Most database systems provide only limited support for schema evolution while problems like data migration and application migration are tackled manually by the programmers. This evolution process is unsatisfactory for a number of novel complex evolutionary information systems (CEIS) in the area of business and engineering applications. The paper describes our experiences with a case study in developing a CEIS in the domain of analysis and design of mixed signal printed circuit boards. We show that a meta schema approach combined with a well defined set of schema transformations is a practical way to cope with evolution. Based on this case study, we distinguish application specific from reusable architectural components and propose a systematic approach of building CEIS.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116253828","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}

引用次数: 1

Reengineering support for software evolution: an evaluation through case study 软件进化的再工程支持:通过案例研究的评估

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716658

E. Burd, M. Munro

引用次数: 3

Rule base verification using Petri nets 使用Petri网的规则库验证

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716699

Stephen J. H. Yang, Alex S. Lee, W. Chu, Hongji Yang

{"title":"Rule base verification using Petri nets","authors":"Stephen J. H. Yang, Alex S. Lee, W. Chu, Hongji Yang","doi":"10.1109/CMPSAC.1998.716699","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716699","url":null,"abstract":"We propose a Petri net formalism for the verification of rule based systems. Typical structural errors in a rule based system are redundancy, inconsistency, incompleteness, and circularity. Since our verification is based on Petri nets and their incidence matrix, we need to transform rules into a Petri net first, then derive an incidence matrix from the net. In order to allow a rule based system to be immune from the above described structural errors, we have observed that for all columns in the matrix, all positive entries must be above all negative entries; and for all rows in the matrix, all positive entries must be to the right of all negative entries. If this is not the case, the rule based system may commit errors. Based on this concept, we have developed a tool consisting of the following four phases: rule normalization, rule ordering, rule-to-Petri-net transformation, and rule verification. In phase one, we normalize the rules into Horn clauses. We rearrange the ordering of these normalized rules in phase two, then transform the reordered rules into a Petri net and its corresponding incidence matrix in phase three. In phase four, we perform the rule verification based on the incidence matrix.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126219214","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}

引用次数: 18

A structured design technique for distributed programs 分布式程序的结构化设计技术

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716672

M. Polman, M. Steen, A. Bruin

引用次数: 3