检索结果-内蒙古大学图书馆

Computer science and communications protocols: research relationships 3rd

3rd International Conference on Computing and Information, ICCI 1991

作者： Probert, Robert L. Protocols/Software Engineering Research Group Department of Computer Science University of Ottawa OttawaONKIN 6N5 Canada

ISBN: (纸本)9783540540298

Many of the interesting problems in Computer Science related to software engineering have yielded only to partial solutions or not at all. In the related areas of research denoted Communications software engineering and protocols, most corresponding problems are on their way to a solution. In this presentation, we will explore some similarities and differences between these research areas by giving examples of problems which appear to be tractable in one area and not the other, and conclude with some ideas for building conceptual bridges. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

SYNTHESIS OF ERROR-RECOVERABLE PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS

引用

INTERNATIONAL CONF ON COMPUTING AND INFORMATION ( ICCI 90 )

作者： SALEH, K PROBERT, R Protocols Software Engineering Research Group Department of Computer Science University of Ottawa Ottawa K1N 6N5 ON Canada

ISBN: (纸本)3540535047

Several synthesis methods have been proposed and applied to the design of computer communication protocols. Most of these methods do not use the service specification as a reference (or starting) point in the protocol synthesis process. Consequently, these methods do not guarantee that the synthesized protocol provides the specified services, and therefore must be complemented by a semantic validation technique. In this paper, we propose a new synthesis method which automatically derives protocol specifications from a service specification. Both the service and protocol specifications are modelled by finite state machines (FSM). The resulting synthesized protocol is guaranteed to be free from logical design (syntactic) errors and to conform to the service specification. Finally, the synthesized protocol is augmented by error-recovery patterns to enable recovery from transmission errors caused by an unreliable communication medium. The application of the new method to an example service is also presented. © Springer-Verlag Berlin Heidelberg 1990.

关键词： COMMUNICATION software ERROR-RECOVERY PROTOCOL DESIGN SEMANTIC CORRECTNESS SYNTACTIC CORRECTNESS SYNTHESIS

来源：评论

学校读者我要写书评

暂无评论

Automatic synthesis of protocol specifications from service specifications

Automatic synthesis of protocol specifications from service ...

引用

International Phoenix Conference on Computers and Communications (IPCCC)

作者： K. Saleh R. Probert Bell Canada Mediatel Ottawa Canada Protocols/Software Engineering Research Group Department of Computer Science University of Ottawa Ottawa Canada

The authors introduce a novel method for the synthesis of protocol entity specifications starting from the service specification. Both protocol and service specifications are modeled by deterministic finite state machines. The interactions between the protocol entities and the service users are tightly or strongly synchronized. However the interactions among the protocol entities are based on the sending and the eventual reception of protocol messages via the underlying FIFO (first-in first-out) communication medium. The derived protocol specifications are proven to be semantically correct, meaning that the interacting protocol entities provide the specified service, and syntactically correct, meaning that no design errors, such as deadlocks or unspecified receptions, can occur during the interaction among the derived protocol entities. The application of the new method to the association control service is also presented.< >

关键词： protocols Automata Application software software design Error analysis Error correction software engineering Computer science Automatic control Communication system control

来源：评论

学校读者我要写书评

暂无评论

AN OBJECT-ORIENTED ANALYSIS OF A BISDN CONTROL-SYSTEM WITH A FOCUS ON THE UNI PROTOCOL OBJECT

引用

INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS 1994年第2期7卷 113-129页

作者： OUIBRAHIM, H PATTENIER, FJ AT&T NS NL Postbus 18 1270 AA Huizen The Netherlands Hamza Ouibrahim:obtained his B.Sc M.Sc and Ph.D in 1981 1982 and 1986 respectively all in Electrical Engineering from Syracuse University Syracuse New York. In 1986 he joined the Electrical Engineering Department at the Watson School of Engineering at the State University of New York at Binghamton as Assistant Professor. Since 1988 he has been with the Forward Looking Work Department of AT&T-NSNL in the Netherlands where he is project manager responsible for a group of research engineers working on signalling for BISDN networks. He represents AT&T-NSNL in standards bodies such as ITU-TSS and ETSI. He has been involved in European Research projects (Research and development in Advanced Communications in Europe) developing a signalling system for the integrated broadband communications. His current interests include ATM and signalling for broadband networks. He is the author of numerous papers and an IEEE member. Frans Pattenier:finished his study in Electronic Engineering in 1987 in the Netherlands. In 1983 he joined the Dutch Police Communication Service and in 1988 the National Institute for Public Health and Environment Protection. He joined the Forward Looking Work Department of AT&T-NSNL in 1991. In the first five of his career he was involved in hardware development for analogue digital and microprocessor systems for dataacquisition and communication equipment. Later software-development became more important for him (using Pascal C and C+ +) and he is now involved in projects which include aspects such as signalling protocols and call processing. He thinks the real challenge is to complete a project using object-oriented and structured techniques for every phase on every level.

The control system of a BISDN network will undoubtedly be very complex to design, implement and maintain. Its complexity has led researchers to look for ways of breaking down the problem into smaller and manageable parts. This has motivated the use of an object-oriented approach to analyse and comprehend the BISDN control system. This paper thus presents an object-oriented analysis (OOA) of a BISDN control system. This analysis is based on a method introduced by Coad and Yourdon and comprises five steps. All five steps, namely identifying subjects, identifying objects, identifying structures, defining attributes, and defining operations, will be worked out in detail with an emphasis on the user network interface (UNI) signalling protocol object. Four subjects, nine objects, and three structures are identified in the problem space at hand. This structuring offers a framework to analyse in detail the three aspects, data, structure and dynamic behaviour, of the UNI signalling protocol. A parallel between this approach and the well known approach used by the International Telecommunication Union (ITU) for specifying signalling protocols and contained in Recommendation I.130 is drawn. The Coad and Yourdon OOA approach applied to a BISDN control system can be used for the analysis of different aspects of such systems. This paper focuses on the UNI signalling protocol object which leads to a complete specification. Any protocol resulting from such analysis can be claimed to be object-oriented protocol. This approach offers modularity and thus offers a way of structuring the problem space into identifiable objects and data. Full benefits of object orientation can be gained only in the consistent use of object orientation throughout all steps in the development process. The proposed approach allows one to create libraries of generic procedures which can be reused in specific implementations.

关键词： ATM BISDN CCITT RECOMMENDATION I.130 CONTROL SYSTEM OOA PROTOCOL SIGNALING

来源：评论

学校读者我要写书评

暂无评论

ASYNCHRONOUS TRANSFER MODE (ATM) OPERATION VIA SATELLITE - ISSUES, CHALLENGES AND RESOLUTIONS

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第3期12卷 211-222页

作者： CHITRE, DM GOKHALE, DS HENDERSON, T LUNSFORD, JL MATHEWS, N COMSAT Laboratories 22300 Comsat Drive Clarksburg MD 20871 USA. Received his B.Sc. from the University of Bombay India an M.A. in mathematics from the University of Cambridge U.K. and a Ph.D. in physics from the University of Maryland. He is currently an Associate Executive Director of the Network Technology Division at COMSAT Laboratories. He has been involved in research and development activities in ISDN VSAT networks data communications and network systems and architectures. Prior to his current positions Dr. Chitre was a Principal Scientist in the Network Technology Division at COMSAT Laboratories. Dr. Chitre joined COMSAT Laboratories in 1980. He has made major contributions to the analysis and architecture of data communication ISDN and BISDN via satellite. Dr. Chitre directs and participates in the international and national standards activities in ISDN BISDN and data communication as they apply to satellite communication. He was Chairman of the Working Group on Protocols and Network Timing Function of the CCIR/CCITT Joint Ad Hoc Group on ISDN-Satellite Matters during 1990–1992. Currently he is the Chairman of the Working Group on New Technologies in the ITU Intersector Coordinating Group (ICG) on Satellite Matters. Dr. Chitre was a programme manager during 1990 and 1991 on a contract from INTELSAT on systems studies on satellite communications systems architectures for ISDN and broadband ISDN systems. Currently he is the technical manager of the DoD Contract on ATM via satellite demonstration and the programme manager for the INTELSAT contract on analysis and top-level specification of INTELSAT ISDN subnetworks and SDH compatible transport network. Department manager for ISDN/Data Communications in the Network Technology Division of COMSAT Laboratories. His responsibilities include managing the implementation of next generation telecommunication systems for fixed and mobile satellite systems. Current projects include the development of a high data rate gateway switch that provides for the

Key issues regarding the operation of the broadband integrated services digital network (BISDN) via satellite are presented herein. The specific issues, challenges, and their resolutions are detailed. In particular, the impact of error characteristics and propagation delay on the operation of BISDN via satellite is discussed. Solutions are presented for removing adverse effects and providing high-quality service to users of BISDN via satellite.

关键词： ATM BISDN

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：