A study is made of the requirements for abstraction constructs encapsulating multiparty interactions. Several alternatives are explored for the meaning of an abstraction invocation when used in the position of a guard. It is concluded that in order to support a stepwise-refinement design methodology, conflicts must be propagated across invocations to achieve a proper coordination at the abstraction level. The discussion presented is in terms of a language, Interacting Processes (IP), for high-level expression of distributed programs.<>
{"title":"Conflict propagation","authors":"N. Francez, I. Forman","doi":"10.1109/ICCL.1990.63771","DOIUrl":"https://doi.org/10.1109/ICCL.1990.63771","url":null,"abstract":"A study is made of the requirements for abstraction constructs encapsulating multiparty interactions. Several alternatives are explored for the meaning of an abstraction invocation when used in the position of a guard. It is concluded that in order to support a stepwise-refinement design methodology, conflicts must be propagated across invocations to achieve a proper coordination at the abstraction level. The discussion presented is in terms of a language, Interacting Processes (IP), for high-level expression of distributed programs.<<ETX>>","PeriodicalId":317186,"journal":{"name":"Proceedings. 1990 International Conference on Computer Languages","volume":"333 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":"134101873","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}
EZ is a system that integrates the facilities provided separately by traditional programming languages and operating systems. This integration is accomplished by casting services provided by traditional operating services as EZ language features. EZ is a high-level string processing language with a persistent memory. Traditional file and directory services are provided by EZ's strings and associative tables, and tables are also used for procedure activations. A description is given of processes in EZ, which are procedure activations that execute concurrently and share the same, persistent virtual address space. They are semantically similar to threads or lightweight processes in some operating systems. Processes are values. They are just associative tables and have all of the characteristics of other EZ values, including persistence. Examples of their use and a brief overview of their implementation are included.<>
{"title":"EZ processes","authors":"D. R. Hanson, M. Kobayashi","doi":"10.1109/ICCL.1990.63764","DOIUrl":"https://doi.org/10.1109/ICCL.1990.63764","url":null,"abstract":"EZ is a system that integrates the facilities provided separately by traditional programming languages and operating systems. This integration is accomplished by casting services provided by traditional operating services as EZ language features. EZ is a high-level string processing language with a persistent memory. Traditional file and directory services are provided by EZ's strings and associative tables, and tables are also used for procedure activations. A description is given of processes in EZ, which are procedure activations that execute concurrently and share the same, persistent virtual address space. They are semantically similar to threads or lightweight processes in some operating systems. Processes are values. They are just associative tables and have all of the characteristics of other EZ values, including persistence. Examples of their use and a brief overview of their implementation are included.<<ETX>>","PeriodicalId":317186,"journal":{"name":"Proceedings. 1990 International Conference on Computer Languages","volume":"65 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":"129521409","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
扫码关注我们
求助内容：
应助结果提醒方式：