首页 > 最新文献

Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems最新文献

英文 中文
Parallelism and performance in communication subsystems 通信子系统的并行性和性能
S. Chang, A. Tantawy, H. Meleis
This paper discusses the impact of various design and implementation factors on the performance of a communication subsystem. Measurements obtained from two different software implementations of the same protocol (ISO 8802-2 logical link control protocol type 2) over three different experimental hardware platforms are used as a basis for comparison. The impact of exploiting parallelism is especially emphasized. The effects of software structure and optimized hand coding are also discussed. Although some results pertain to only one specific protocol, similarities with other connection-oriented protocols can be drawn.<>
本文讨论了各种设计和实现因素对通信子系统性能的影响。在三个不同的实验硬件平台上,从同一协议(ISO 8802-2逻辑链路控制协议类型2)的两个不同软件实现获得的测量结果被用作比较的基础。特别强调了利用并行性的影响。讨论了软件结构和优化后的手工编码的影响。虽然一些结果只适用于一个特定的协议,但可以得出与其他面向连接的协议的相似之处。
{"title":"Parallelism and performance in communication subsystems","authors":"S. Chang, A. Tantawy, H. Meleis","doi":"10.1109/FTDCS.1992.217475","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217475","url":null,"abstract":"This paper discusses the impact of various design and implementation factors on the performance of a communication subsystem. Measurements obtained from two different software implementations of the same protocol (ISO 8802-2 logical link control protocol type 2) over three different experimental hardware platforms are used as a basis for comparison. The impact of exploiting parallelism is especially emphasized. The effects of software structure and optimized hand coding are also discussed. Although some results pertain to only one specific protocol, similarities with other connection-oriented protocols can be drawn.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124084061","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}
引用次数: 2
The BERKOM Reference Model: the base for a taxonomy of characteristics of distributed applications BERKOM参考模型:分布式应用程序特征分类的基础
P. Egloff, E. Moeller, A. Scheller, G. Schurmann
Within the BERliner KOMmunikationssystem (BERKOM) a Reference Model has been developed which can be used as a framework to specify, design and describe future oriented telecommunication services. In this paper the principles and the first two levels of refinement are described as a taxonomy of characteristics of distributed applications.<>
在柏林通信系统(BERKOM)中,已经开发了一个参考模型,它可以作为一个框架来指定、设计和描述面向未来的电信服务。在本文中,这些原则和前两个层次的细化被描述为分布式应用程序的特征分类
{"title":"The BERKOM Reference Model: the base for a taxonomy of characteristics of distributed applications","authors":"P. Egloff, E. Moeller, A. Scheller, G. Schurmann","doi":"10.1109/FTDCS.1992.217493","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217493","url":null,"abstract":"Within the BERliner KOMmunikationssystem (BERKOM) a Reference Model has been developed which can be used as a framework to specify, design and describe future oriented telecommunication services. In this paper the principles and the first two levels of refinement are described as a taxonomy of characteristics of distributed applications.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128747699","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
The performance of multiple traders operating in the same domain 在同一领域操作的多个交易者的表现
V. Tschammer, A. Wolisz, M. Walch
The authors consider the case of trading in an environment of autonomous components. Trading is the process of matching a service request with the offers to support that particular service made by potential servers. In the case of multiple matching offers a selection of the most suitable server can be made according to the properties of the server. Among the possible selection policies the authors concentrate on those taking into account the actual load of the server. The selection process is usually delegated to a specialised type of component, called the trader. Various aspects influence the performance of the traders, including the delay of the information on the server load, the selection strategy, and the number of concurrent traders. The authors investigate several trading strategies in a scenario where traders receive the load information periodically and where multiple traders operate concurrently.<>
作者考虑了在自主组件环境中的交易案例。交易是将服务请求与潜在服务器提供的服务进行匹配的过程,以支持该特定服务。在多个匹配报价的情况下,可以根据服务器的属性选择最合适的服务器。在可能的选择策略中,作者主要关注那些考虑到服务器实际负载的策略。选择过程通常委托给一种特殊类型的组件,称为交易员。影响交易者性能的因素有很多,包括服务器负载上信息的延迟、选择策略、并发交易者数量等。作者研究了在交易者定期接收负载信息和多个交易者并发操作的情况下的几种交易策略。
{"title":"The performance of multiple traders operating in the same domain","authors":"V. Tschammer, A. Wolisz, M. Walch","doi":"10.1109/FTDCS.1992.217505","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217505","url":null,"abstract":"The authors consider the case of trading in an environment of autonomous components. Trading is the process of matching a service request with the offers to support that particular service made by potential servers. In the case of multiple matching offers a selection of the most suitable server can be made according to the properties of the server. Among the possible selection policies the authors concentrate on those taking into account the actual load of the server. The selection process is usually delegated to a specialised type of component, called the trader. Various aspects influence the performance of the traders, including the delay of the information on the server load, the selection strategy, and the number of concurrent traders. The authors investigate several trading strategies in a scenario where traders receive the load information periodically and where multiple traders operate concurrently.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"41 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127654794","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}
引用次数: 2
A loosely-coupled parallel graphics architecture based on a conflict-free multiport frame buffer 基于无冲突多端口帧缓冲区的松耦合并行图形架构
S. Nishimura, R. Mukai, T. Kunii
This paper describes a parallel computer architecture for real-time image synthesis. The architecture is based on a loosely-coupled array of general purpose processors equipped with a novel frame buffer subsystem called a conflict-free multiport frame buffer (CFMFB) which enables every processor to write any region of the screen without access conflicts. An efficient polygon rendering method using the CFMFB is also described. The method assigns a subset of the polygons to each processor, which independently calculates the images of the assigned polygons with the Z-buffer algorithm. The performance of the system is estimated through simulation experiments with sample scenes.<>
本文描述了一种用于实时图像合成的并行计算机体系结构。该架构基于一组松散耦合的通用处理器阵列,这些处理器配备了一种称为无冲突多端口帧缓冲区(CFMFB)的新型帧缓冲区子系统,该子系统使每个处理器都可以在没有访问冲突的情况下写入屏幕的任何区域。本文还介绍了一种使用CFMFB的高效多边形绘制方法。该方法将多边形的子集分配给每个处理器,每个处理器使用z缓冲算法独立计算分配多边形的图像。通过样本场景的仿真实验,对系统的性能进行了估计
{"title":"A loosely-coupled parallel graphics architecture based on a conflict-free multiport frame buffer","authors":"S. Nishimura, R. Mukai, T. Kunii","doi":"10.1109/FTDCS.1992.217465","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217465","url":null,"abstract":"This paper describes a parallel computer architecture for real-time image synthesis. The architecture is based on a loosely-coupled array of general purpose processors equipped with a novel frame buffer subsystem called a conflict-free multiport frame buffer (CFMFB) which enables every processor to write any region of the screen without access conflicts. An efficient polygon rendering method using the CFMFB is also described. The method assigns a subset of the polygons to each processor, which independently calculates the images of the assigned polygons with the Z-buffer algorithm. The performance of the system is estimated through simulation experiments with sample scenes.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130145266","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
Decomposition of object-oriented programs for fault tolerant computing in distributed environment 分布式环境下面向对象容错计算程序的分解
S. Sheu, Jinchun Ho, J. Juang
This paper describes a program decomposition scheme that decomposes a C++ program into a set of concurrent tasks to support fault tolerant computing in distributed environments. This scheme consists of a C++ analyzer for program decomposition and a set of mechanisms to perform run-time object backup and error recovery. The analyzer uses a weighted-object approach to decompose an object into a set of concurrent tasks or combines a set of objects into a single task. The analyzer guarantees that the resulting decomposition will not violate system resource constraints. A reliable message passing protocol is also generated by the program analyzer for remote object references. Run time supports for fault tolerant computing based on the decomposed objects are discussed, which consist of an interface, a reliable message passing mechanism and a recovery mechanism. The message passing mechanism updates backup storage whenever a message is passed to avoid Domino effect.<>
本文描述了一种程序分解方案,该方案将c++程序分解为一组并发任务,以支持分布式环境下的容错计算。该方案由一个用于程序分解的c++分析器和一组执行运行时对象备份和错误恢复的机制组成。分析器使用加权对象方法将对象分解为一组并发任务,或者将一组对象组合为单个任务。分析器保证生成的分解不会违反系统资源约束。程序分析器还为远程对象引用生成可靠的消息传递协议。讨论了基于分解对象的容错计算的运行时支持,包括接口、可靠消息传递机制和恢复机制。消息传递机制在传递消息时更新备份存储,以避免Domino效应。
{"title":"Decomposition of object-oriented programs for fault tolerant computing in distributed environment","authors":"S. Sheu, Jinchun Ho, J. Juang","doi":"10.1109/FTDCS.1992.217480","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217480","url":null,"abstract":"This paper describes a program decomposition scheme that decomposes a C++ program into a set of concurrent tasks to support fault tolerant computing in distributed environments. This scheme consists of a C++ analyzer for program decomposition and a set of mechanisms to perform run-time object backup and error recovery. The analyzer uses a weighted-object approach to decompose an object into a set of concurrent tasks or combines a set of objects into a single task. The analyzer guarantees that the resulting decomposition will not violate system resource constraints. A reliable message passing protocol is also generated by the program analyzer for remote object references. Run time supports for fault tolerant computing based on the decomposed objects are discussed, which consist of an interface, a reliable message passing mechanism and a recovery mechanism. The message passing mechanism updates backup storage whenever a message is passed to avoid Domino effect.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130414874","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}
引用次数: 0
On the use of pre-defined implementation constructs in distributed systems design 论分布式系统设计中预定义实现结构的使用
L. F. Pires, M. V. van Sinderen, C. Vissers
This paper introduces the concept of pre-defined implementation constructs (PDICs) as a method for distributed systems design. It discusses how PDICs should be selected and used, and shows the applicability of this method on basis of a middle size design example: the implementation of a sliding window protocol.<>
本文介绍了作为分布式系统设计方法的预定义实现结构(pdic)的概念。讨论了如何选择和使用pdic,并通过一个中等规模的设计实例:滑动窗口协议的实现,说明了该方法的适用性
{"title":"On the use of pre-defined implementation constructs in distributed systems design","authors":"L. F. Pires, M. V. van Sinderen, C. Vissers","doi":"10.1109/FTDCS.1992.217506","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217506","url":null,"abstract":"This paper introduces the concept of pre-defined implementation constructs (PDICs) as a method for distributed systems design. It discusses how PDICs should be selected and used, and shows the applicability of this method on basis of a middle size design example: the implementation of a sliding window protocol.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133863395","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}
引用次数: 6
Semantic query processing in multidatabase systems: a logic-based approach 多数据库系统中的语义查询处理:一种基于逻辑的方法
M. Pan, Shi-Kuo Chang, Chien-Chiao Yang
A multidatabase system (MDBS) is a system that integrates the operational data of several autonomous database systems and provides a uniform interface and control mechanisms to control access to those data. To efficiently retrieve and manipulate the data stored in MDBS, a metadata dictionary is needed as a repository of essential information for reasoning, controlling, and maintaining the retrieval/manipulation processes. The authors develop a two-level active metadata dictionary approach based on logic for building a metadata dictionary, query processing, and maintenance in MDBS. The low-level metadata dictionaries (LLMDs) keep metadata for each corresponding local database in MDBS, respectively. The high-level metadata dictionary (HLMD) integrates the metadata about all LLMDs.<>
多数据库系统(mdb)是一种系统,它集成了几个自治数据库系统的操作数据,并提供统一的接口和控制机制来控制对这些数据的访问。为了有效地检索和操作存储在mdb中的数据,需要一个元数据字典作为基本信息的存储库,用于推理、控制和维护检索/操作过程。作者开发了一种基于逻辑的两级活动元数据字典方法,用于在mdb中构建元数据字典、查询处理和维护。低级元数据字典(llmd)将每个相应的本地数据库的元数据分别保存在mdb中。HLMD (high-level metadata dictionary)用于集成所有llmd的元数据
{"title":"Semantic query processing in multidatabase systems: a logic-based approach","authors":"M. Pan, Shi-Kuo Chang, Chien-Chiao Yang","doi":"10.1109/FTDCS.1992.217478","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217478","url":null,"abstract":"A multidatabase system (MDBS) is a system that integrates the operational data of several autonomous database systems and provides a uniform interface and control mechanisms to control access to those data. To efficiently retrieve and manipulate the data stored in MDBS, a metadata dictionary is needed as a repository of essential information for reasoning, controlling, and maintaining the retrieval/manipulation processes. The authors develop a two-level active metadata dictionary approach based on logic for building a metadata dictionary, query processing, and maintenance in MDBS. The low-level metadata dictionaries (LLMDs) keep metadata for each corresponding local database in MDBS, respectively. The high-level metadata dictionary (HLMD) integrates the metadata about all LLMDs.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"186 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122350896","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}
引用次数: 2
IN and TMN-key concepts for future telecom networks 未来电信网络的IN和TMN-key概念
T. Magedanz
A number of different concepts has been developed for the provision of future open service environments. The most important concepts identified in this context are the intelligent network (IN) architecture, which allows for the flexible and uniform provision of a variety of future telecommunication services by the definition of functional network elements and a set of generic service building blocks, and CCITT's telecommunication management network (TMN) providing a range of management functions above a set of support systems, needed to operate, control and maintain future telecommunication networks and services. Based on the management related aspects of future IN-structured telecommunication networks, this paper examines the issues and relations of both concepts focussing on a possible integration of both concepts into a common telecommunication platform.<>
为了提供未来的开放服务环境,已经开发了许多不同的概念。在这种情况下确定的最重要的概念是智能网络(in)架构,它允许通过定义功能网络元素和一组通用服务构建块灵活和统一地提供各种未来电信服务,以及CCITT的电信管理网络(TMN)提供一系列管理功能之上的支持系统,需要运行。控制和维护未来的电信网络和服务。基于未来in结构电信网络的管理相关方面,本文研究了这两个概念的问题和关系,重点是将这两个概念集成到一个公共电信平台的可能性。
{"title":"IN and TMN-key concepts for future telecom networks","authors":"T. Magedanz","doi":"10.1109/FTDCS.1992.217494","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217494","url":null,"abstract":"A number of different concepts has been developed for the provision of future open service environments. The most important concepts identified in this context are the intelligent network (IN) architecture, which allows for the flexible and uniform provision of a variety of future telecommunication services by the definition of functional network elements and a set of generic service building blocks, and CCITT's telecommunication management network (TMN) providing a range of management functions above a set of support systems, needed to operate, control and maintain future telecommunication networks and services. Based on the management related aspects of future IN-structured telecommunication networks, this paper examines the issues and relations of both concepts focussing on a possible integration of both concepts into a common telecommunication platform.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121286906","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}
引用次数: 0
Heavyweight process migration 重量级过程迁移
H. Dediu, C. Chang, H. K. Azzam
The authors consider a class of processes which is characterized by very long running times and very large data dependencies. Such processes exploit the availability of all system resources on the executing host. The long running times imply a need for undivided CPU bandwidth as well as an intolerance for system faults. The authors consider the problem of supporting the execution of such heavyweight processes on small systems whose reliability and availability cannot be guaranteed. The support mechanism uses process migration and redundant execution with checkpointing to guarantee process completion.<>
作者考虑了一类以非常长的运行时间和非常大的数据依赖性为特征的进程。这些进程利用执行主机上所有系统资源的可用性。长时间的运行意味着需要不可分割的CPU带宽以及对系统故障的容忍。作者考虑了在可靠性和可用性无法保证的小型系统上支持执行这些重量级进程的问题。支持机制使用进程迁移和带有检查点的冗余执行来保证进程的完成
{"title":"Heavyweight process migration","authors":"H. Dediu, C. Chang, H. K. Azzam","doi":"10.1109/FTDCS.1992.217491","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217491","url":null,"abstract":"The authors consider a class of processes which is characterized by very long running times and very large data dependencies. Such processes exploit the availability of all system resources on the executing host. The long running times imply a need for undivided CPU bandwidth as well as an intolerance for system faults. The authors consider the problem of supporting the execution of such heavyweight processes on small systems whose reliability and availability cannot be guaranteed. The support mechanism uses process migration and redundant execution with checkpointing to guarantee process completion.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114848172","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}
引用次数: 4
An algebraic approach to validate communication protocols 验证通信协议的代数方法
A. Benslimane
Realizing the need for a precise model of computer communications protocols, many different approaches are being investigated. The author presents an algebraic approach to formally specify protocols composed of many modules. The protocols studied are described in the model of finite state machine and then transformed into a set of process equations. The main concept consists in carrying out transformations on these equations in order to prove some properties. The reachability analysis can then be defined in the form of algebraic transformation rules applied to the global system states. The properties to verify during the communication between processes are the detection of some logical errors such as deadlocks, blocking or unspecified receptions.<>
意识到需要一个精确的计算机通信协议模型,许多不同的方法正在被研究。作者提出了一种代数方法来形式化地指定由多个模块组成的协议。在有限状态机模型中描述所研究的协议,然后将其转化为一组过程方程。主要概念在于对这些方程进行变换,以证明某些性质。然后可以将可达性分析定义为应用于全局系统状态的代数转换规则的形式。在进程间通信期间要验证的属性是检测一些逻辑错误,如死锁、阻塞或未指定的接收。
{"title":"An algebraic approach to validate communication protocols","authors":"A. Benslimane","doi":"10.1109/FTDCS.1992.217517","DOIUrl":"https://doi.org/10.1109/FTDCS.1992.217517","url":null,"abstract":"Realizing the need for a precise model of computer communications protocols, many different approaches are being investigated. The author presents an algebraic approach to formally specify protocols composed of many modules. The protocols studied are described in the model of finite state machine and then transformed into a set of process equations. The main concept consists in carrying out transformations on these equations in order to prove some properties. The reachability analysis can then be defined in the form of algebraic transformation rules applied to the global system states. The properties to verify during the communication between processes are the detection of some logical errors such as deadlocks, blocking or unspecified receptions.<<ETX>>","PeriodicalId":186762,"journal":{"name":"Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125383483","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}
引用次数: 2
期刊
Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1