{"title":"An integrated approach to the design of communication protocols","authors":"A. Wolisz, I. Schieferdecker, M. Walch","doi":"10.1109/FTDCS.1993.344210","DOIUrl":"https://doi.org/10.1109/FTDCS.1993.344210","url":null,"abstract":"Quality of service considerations have to be included in the whole protocol engineering cycle. The authors present an integrated approach for the design of communication protocols, including: performance enhanced formal specification of communication protocols, formal requirement specification, statistical performance analysis out of the enhanced formal specification, and verification of bounded performance properties out of the formal specification.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129723744","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}
{"title":"TMN-based management of intelligent networks-medium-term and long-term perspectives","authors":"T. Magedanz","doi":"10.1109/FTDCS.1993.344175","DOIUrl":"https://doi.org/10.1109/FTDCS.1993.344175","url":null,"abstract":"The existence of national and vendor-specific intelligent network (IN) platforms within Europe and the emerging calls for international IN service offerings in the light of a common European telecommunications market present challenging management requirements for IN-structured telecommunication environments in the coming age. The first stage of IN development (Capability Set I) has been standardized by CCITT in 1992, but the management aspects of INs have not been addressed adequately. The author illustrates how current telecommunication management network (TMN) standards can be used for the management of Capability Set I conforment INs. In addition, some information concerning the long-term management capabilities of INs in the light of TMN management service evolution is given.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125606139","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}
{"title":"How to find his way in the jungle of consistency criteria for distributed shared memories (or how to escape from Minos' labyrinth)","authors":"M. Raynal, M. Mizuno","doi":"10.1109/FTDCS.1993.344136","DOIUrl":"https://doi.org/10.1109/FTDCS.1993.344136","url":null,"abstract":"Surveys consistency criteria that have been proposed, and sometimes implemented, for distributed shared objects and memories. Linearizability, sequential consistency, hybrid consistency and causal consistency are particularly emphasized. These criteria are precisely analyzed and protocols that implement them are described. It is suggested that the hybrid consistency, introduced by Attiya and Friedman (1992), constitutes Ariadne's clue to understanding this jungle of consistency criteria.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116701934","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}
{"title":"On the co-operative management of domains in open distributed systems","authors":"V. Tschammer, J. Dittrich, J. Meinkohn, A. Wolisz","doi":"10.1109/FTDCS.1993.344177","DOIUrl":"https://doi.org/10.1109/FTDCS.1993.344177","url":null,"abstract":"The authors describe the need for collaboration of managers in co-operative applications where federative operational structures must be harmonized with the hierarchical organizational environment. A federation concept is introduced which augments existing hierarchical domain management policies and procedures. The concept includes proposals for federative domains, manager domains, and collaboration procedures. An approach to the co-operative management of domains based on this concept is described. The approach relates a group of managers to a group of managed objects and proposes rules for the collaboration between the managers before executing operations on the objects. Remarks on the importance of related access control mechanisms and the need for the dynamic creation and modification of manager groups are added.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117017863","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}
{"title":"R-linearizability: an extension of linearizability to replicated objects","authors":"F. Pacull, Alain Sandoz","doi":"10.1109/FTDCS.1993.344135","DOIUrl":"https://doi.org/10.1109/FTDCS.1993.344135","url":null,"abstract":"The authors extend linearizability, a consistency criterion for concurrent systems, to the replicated context, where availability and performance are enhanced by using redundant objects. The mode of operation on sets of replicas and the consistency criterion of R-linearizability are defined. An implementation of R-linearizable replicated atoms (on which only read and write operations are defined) is described. It is realized in the virtually synchronous model, based on a group view mechanism. This framework provides reliable multicast primitives, enabling a fault-tolerant implementation.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127425515","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}
{"title":"Understanding partitions and the 'no partition' assumption","authors":"Aleta Ricciardi, A. Schiper, K. Birman","doi":"10.1109/FTDCS.1993.344134","DOIUrl":"https://doi.org/10.1109/FTDCS.1993.344134","url":null,"abstract":"Discusses partitions in asynchronous message-passing systems. In such systems, slow processes and slow links can lead to virtual partitions that are indistinguishable from real ones. To overcome the impossibility of detecting crashed processes in an asynchronous system, the system model incorporates a failure suspector to detect (possibly erroneously) process failures. Based on failure suspicions, the authors give a definition of partitions that accounts for real partitions as well as virtual ones. It is shown that under certain assumptions about the process behavior, any incorrect failure suspicion inevitably partitions the system. It is then shown how to interpret the absence-of-partition assumption.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134156968","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}
{"title":"Advanced design concepts for open distributed systems development","authors":"L. F. Pires, M. V. Sinderen, C. Vissers","doi":"10.1109/FTDCS.1993.344211","DOIUrl":"https://doi.org/10.1109/FTDCS.1993.344211","url":null,"abstract":"Experience with the engineering of large scale open distributed systems has shown that their design should be specified at several well-defined levels of abstraction, in which each level aims at satisfying specific user, architectural, and implementation needs. Therefore, designers should dispose of a comprehensive design methodology, which allows them to conceive a specification at a certain abstraction level and transform this specification into a conforming specification at a lower abstraction level. The collection of these transformations should abridge the total design trajectory from initial user requirements to final implementation. The authors present and discuss some advanced design concepts that provide a basis for such a design methodology.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122972309","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}