首页 > 最新文献

Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)最新文献

英文 中文
Automating regression testing for real-time software in a distributed environment 在分布式环境中对实时软件进行自动化回归测试
F. Zhu, Sanjai Rayadurgam, W. Tsai
Many real time systems evolve over time due to new requirements and technology improvements. Each revision requires regression resting to ensure that existing functionality is not affected by such changes. Testing these systems often require specialized hardware and software, and both are expensive. While the overall regression testing process is similar across different organizations, the strategies and tools used by them vary according to their product needs. Hence a good framework for regression testing should provide the flexibility to configure it depending on the particular organization's needs while at the same time maximizing utilization. Manual processes are typically slow and error prone and result in under-utilization of valuable test resources. The paper proposes an automated distributed regression testing framework that provides flexibility to the user to configure it to their needs while at the same time optimizing resource usage.
由于新的需求和技术的改进,许多实时系统会随着时间的推移而发展。每个修订都需要回归休息,以确保现有功能不受此类更改的影响。测试这些系统通常需要专门的硬件和软件,而且两者都很昂贵。虽然总体的回归测试过程在不同的组织中是相似的,但是他们使用的策略和工具根据他们的产品需求而有所不同。因此,一个好的回归测试框架应该提供灵活性,以便根据特定组织的需要对其进行配置,同时最大化利用。手动过程通常是缓慢且容易出错的,并且会导致对有价值的测试资源的利用不足。本文提出了一个自动化的分布式回归测试框架,该框架为用户提供了灵活的配置,以满足他们的需求,同时优化资源使用。
{"title":"Automating regression testing for real-time software in a distributed environment","authors":"F. Zhu, Sanjai Rayadurgam, W. Tsai","doi":"10.1109/ISORC.1998.666810","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666810","url":null,"abstract":"Many real time systems evolve over time due to new requirements and technology improvements. Each revision requires regression resting to ensure that existing functionality is not affected by such changes. Testing these systems often require specialized hardware and software, and both are expensive. While the overall regression testing process is similar across different organizations, the strategies and tools used by them vary according to their product needs. Hence a good framework for regression testing should provide the flexibility to configure it depending on the particular organization's needs while at the same time maximizing utilization. Manual processes are typically slow and error prone and result in under-utilization of valuable test resources. The paper proposes an automated distributed regression testing framework that provides flexibility to the user to configure it to their needs while at the same time optimizing resource usage.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129568887","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}
引用次数: 11
Concurrency control in real-time object-oriented systems: the affected set priority ceiling protocols 实时面向对象系统中的并发控制:受影响的集优先级上限协议
Michael Squadrito, L. Esibov, L. DiPippo, V. Wolfe, Gregory Cooper, B. Thuraisingham, P. Krupp, M.K.J. Milligan, Russell Johnston
This paper presents the affected set priority ceiling protocols (ASPCP) for concurrency control in real-time object-oriented systems. These protocols are based on a combination of semantic locking and priority ceiling techniques. This paper shows that the ASPCP protocols provide higher potential concurrency for object-oriented systems than existing priority ceiling protocols, while still bounding priority inversion and preventing deadlock.
提出了实时面向对象系统并发控制的影响集优先级上限协议(ASPCP)。这些协议基于语义锁定和优先级上限技术的组合。本文表明,与现有的优先级上限协议相比,ASPCP协议为面向对象系统提供了更高的潜在并发性,同时仍然限制优先级反转和防止死锁。
{"title":"Concurrency control in real-time object-oriented systems: the affected set priority ceiling protocols","authors":"Michael Squadrito, L. Esibov, L. DiPippo, V. Wolfe, Gregory Cooper, B. Thuraisingham, P. Krupp, M.K.J. Milligan, Russell Johnston","doi":"10.1109/ISORC.1998.666773","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666773","url":null,"abstract":"This paper presents the affected set priority ceiling protocols (ASPCP) for concurrency control in real-time object-oriented systems. These protocols are based on a combination of semantic locking and priority ceiling techniques. This paper shows that the ASPCP protocols provide higher potential concurrency for object-oriented systems than existing priority ceiling protocols, while still bounding priority inversion and preventing deadlock.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127034570","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}
引用次数: 14
Integration of autonomous decentralized systems with different fault tolerance requirement levels 具有不同容错要求等级的自治分散系统的集成
I. Kaji, K. Mori
As the standardization of computers, networks and OS's has been going on and different systems can be easily connected physically, it is more preferable to integrate existing systems from an economical viewpoint. Under the changing requirements and situations, system engineering technologies to realize an individual user's requirements on a standard platform have become more important. Even when these application systems with respective user requirements are integrated together, the autonomy of each application system must be preserved to retain properties of online expansion, online maintenance and fault tolerance. It is shown that the Autonomous Decentralized System (ADS) architecture, originally developed to attain the online properties of the system, can be one solution to resolve the problem of integrating heterogeneous application systems while keeping each requirement level so that multiple systems have common architecture and different levels of fault tolerance requirements. The recursive model under the ADS architecture is proposed to integrate multiple systems while preserving the autonomy of each system. In addition, the gateway technique is designed to control the data flow between two different systems, not only by contents of the data but also by property levels of each system's requirement. This gateway technique based on the recursive model has been realized as the middleware on WINDOWS and UNIX and the heterogeneous ADS technique has been applied in the real application systems, and their effectiveness has also been shown.
随着计算机、网络和操作系统的标准化,不同的系统可以很容易地在物理上连接,从经济的角度来看,整合现有的系统是更可取的。在不断变化的需求和形势下,在标准平台上实现个人用户需求的系统工程技术变得更加重要。即使将这些具有各自用户需求的应用系统集成在一起,也必须保持每个应用系统的自主性,以保持在线扩展、在线维护和容错的特性。研究表明,ADS (Autonomous Decentralized System,自治分散系统)架构最初是为了实现系统的在线特性而开发的,它可以作为解决异构应用系统集成问题的一种解决方案,同时保持每个需求级别,使多个系统具有共同的架构和不同级别的容错需求。提出了ADS架构下的递归模型,在保持各系统自治的前提下集成多个系统。此外,网关技术不仅可以根据数据的内容,还可以根据每个系统需求的属性级别来控制两个不同系统之间的数据流。这种基于递归模型的网关技术在WINDOWS和UNIX上作为中间件实现,异构ADS技术在实际应用系统中得到了应用,也证明了其有效性。
{"title":"Integration of autonomous decentralized systems with different fault tolerance requirement levels","authors":"I. Kaji, K. Mori","doi":"10.1109/ISORC.1998.666794","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666794","url":null,"abstract":"As the standardization of computers, networks and OS's has been going on and different systems can be easily connected physically, it is more preferable to integrate existing systems from an economical viewpoint. Under the changing requirements and situations, system engineering technologies to realize an individual user's requirements on a standard platform have become more important. Even when these application systems with respective user requirements are integrated together, the autonomy of each application system must be preserved to retain properties of online expansion, online maintenance and fault tolerance. It is shown that the Autonomous Decentralized System (ADS) architecture, originally developed to attain the online properties of the system, can be one solution to resolve the problem of integrating heterogeneous application systems while keeping each requirement level so that multiple systems have common architecture and different levels of fault tolerance requirements. The recursive model under the ADS architecture is proposed to integrate multiple systems while preserving the autonomy of each system. In addition, the gateway technique is designed to control the data flow between two different systems, not only by contents of the data but also by property levels of each system's requirement. This gateway technique based on the recursive model has been realized as the middleware on WINDOWS and UNIX and the heterogeneous ADS technique has been applied in the real application systems, and their effectiveness has also been shown.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130059532","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}
引用次数: 3
Simulation and analysis of real-time concurrent object models 实时并发对象模型的仿真与分析
S. Lutz, M. Weber
Today, there is a rapidly growing interest to transfer object oriented computing technologies into various fields of control-critical applications. Existing approaches concentrate on abstract design level modeling. We introduce "abstract object systems", an abstract mathematical model of concurrent real time object systems. After that we present a simulation and analysis framework that takes into account implementation issues such as operation processing limits, scheduling strategies, processing priorities and distribution of threads to processors. The usual static class structuring relations are used. Messages exchanged between objects may be either synchronous method calls or asynchronous events. The details of object interaction are controlled by object oriented statecharts. In addition, our framework deals with dynamic creation and deletion of objects and with distribution of threads onto multiple parallel processors.
今天,将面向对象的计算技术转移到控制关键应用的各个领域的兴趣正在迅速增长。现有的方法集中于抽象的设计级建模。介绍了并行实时对象系统的抽象数学模型“抽象对象系统”。之后,我们提出了一个模拟和分析框架,该框架考虑了诸如操作处理限制、调度策略、处理优先级和线程到处理器的分配等实现问题。使用通常的静态类结构关系。对象之间交换的消息可以是同步方法调用,也可以是异步事件。对象交互的细节由面向对象的状态图控制。此外,我们的框架处理对象的动态创建和删除,以及将线程分配到多个并行处理器上。
{"title":"Simulation and analysis of real-time concurrent object models","authors":"S. Lutz, M. Weber","doi":"10.1109/ISORC.1998.666803","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666803","url":null,"abstract":"Today, there is a rapidly growing interest to transfer object oriented computing technologies into various fields of control-critical applications. Existing approaches concentrate on abstract design level modeling. We introduce \"abstract object systems\", an abstract mathematical model of concurrent real time object systems. After that we present a simulation and analysis framework that takes into account implementation issues such as operation processing limits, scheduling strategies, processing priorities and distribution of threads to processors. The usual static class structuring relations are used. Messages exchanged between objects may be either synchronous method calls or asynchronous events. The details of object interaction are controlled by object oriented statecharts. In addition, our framework deals with dynamic creation and deletion of objects and with distribution of threads onto multiple parallel processors.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128788817","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
Timing analysis in OO system life-cycles 面向对象系统生命周期中的时序分析
T. Naks, L. Motus, J. Holt
The paper discusses the role of timing analysis through the whole system life cycle. It is suggested that the handling of non functional requirements, especially timing requirements, should be regulated by a life cycle model in the same way as other system development activities. Timing analysis should first be applied at the requirements phase and continued, in different forms and with different objectives, right up until the retirement phase. The feasibility and necessity of timing analysis in each stage of the lifecycle is then discussed. A set of procedures is proposed based on GOOSE (Guidelines for Object Oriented Software Engineering) and TOM (Timed Object Modelling). The paper concludes by considering the application of these techniques in the design and development of a case based reasoning tool-Bridge.
本文讨论了时序分析在整个系统生命周期中的作用。建议对非功能性需求的处理,特别是时间需求,应该像其他系统开发活动一样由生命周期模型来调节。时间分析应该首先应用于需求阶段,并以不同的形式和不同的目标继续进行,直到退役阶段。然后讨论了在生命周期各阶段进行时序分析的可行性和必要性。提出了一套基于面向对象软件工程指南(GOOSE)和定时对象建模(TOM)的过程。最后,本文考虑了这些技术在基于案例的推理工具bridge的设计和开发中的应用。
{"title":"Timing analysis in OO system life-cycles","authors":"T. Naks, L. Motus, J. Holt","doi":"10.1109/ISORC.1998.666804","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666804","url":null,"abstract":"The paper discusses the role of timing analysis through the whole system life cycle. It is suggested that the handling of non functional requirements, especially timing requirements, should be regulated by a life cycle model in the same way as other system development activities. Timing analysis should first be applied at the requirements phase and continued, in different forms and with different objectives, right up until the retirement phase. The feasibility and necessity of timing analysis in each stage of the lifecycle is then discussed. A set of procedures is proposed based on GOOSE (Guidelines for Object Oriented Software Engineering) and TOM (Timed Object Modelling). The paper concludes by considering the application of these techniques in the design and development of a case based reasoning tool-Bridge.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114703310","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
Supporting real-time multimedia applications with distributed object controlled networks 支持实时多媒体应用与分布式对象控制网络
H. Oliver, C. Edwards, F. Tran, J. Stefani, D. Hutchison
The ReTINA project (ACTS AC048) is an industrial collaboration to explore the use of CORBA for the support of real-time multimedia services, from the point of view of network control and from the point of view of middleware services. This paper covers CORBA for network control, and CORBA extensions towards a DPE framework for flexible binding and real-time support.
ReTINA项目(ACTS AC048)是从网络控制和中间件服务的角度出发,探索使用CORBA来支持实时多媒体服务的工业协作。本文介绍了用于网络控制的CORBA,以及用于灵活绑定和实时支持的面向DPE框架的CORBA扩展。
{"title":"Supporting real-time multimedia applications with distributed object controlled networks","authors":"H. Oliver, C. Edwards, F. Tran, J. Stefani, D. Hutchison","doi":"10.1109/ISORC.1998.666763","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666763","url":null,"abstract":"The ReTINA project (ACTS AC048) is an industrial collaboration to explore the use of CORBA for the support of real-time multimedia services, from the point of view of network control and from the point of view of middleware services. This paper covers CORBA for network control, and CORBA extensions towards a DPE framework for flexible binding and real-time support.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123788462","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}
引用次数: 3
State restoration in a COTS-based N-modular architecture 基于cots的n模块架构中的状态恢复
A. Bondavalli, F. Giandomenico, F. Grandoni, David Powell, C. Rabéjac
Mechanisms for restoring the state of a channel in an N-modular redundant architecture are necessary to prevent redundancy attrition due to transient faults and to allow failed channels to be brought back on line after repair. This paper considers software-implemented mechanisms for state restoration (SR) in a generic fault-tolerant architecture in which both the underlying hardware and operating system are commercial off-the-shelf (COTS) components. State restoration involves copying the values of state variables from the active channel(s) across to the joining channel. Concurrent updating of state variables by application tasks is considered. Two state restoration schemes are considered: Running SR and Recursive SR. In the former, each state variable is copied exactly once while concurrent updates are written through to the joining channel. In the latter state variables are copied once and then recopied recursively until no concurrent updates are detected.
在n模块冗余架构中,恢复通道状态的机制是必要的,以防止由于瞬态故障造成的冗余损耗,并允许故障通道在修复后恢复在线。本文考虑了一种通用容错体系结构中状态恢复(SR)的软件实现机制,其中底层硬件和操作系统都是商用现货(COTS)组件。状态恢复包括将状态变量的值从活动通道复制到连接通道。考虑了应用程序任务对状态变量的并发更新。考虑了两种状态恢复方案:运行SR和递归SR。在前者中,每个状态变量只复制一次,同时将并发更新写入连接通道。在后一种状态中,变量被复制一次,然后递归地重新复制,直到没有检测到并发更新。
{"title":"State restoration in a COTS-based N-modular architecture","authors":"A. Bondavalli, F. Giandomenico, F. Grandoni, David Powell, C. Rabéjac","doi":"10.1109/ISORC.1998.666787","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666787","url":null,"abstract":"Mechanisms for restoring the state of a channel in an N-modular redundant architecture are necessary to prevent redundancy attrition due to transient faults and to allow failed channels to be brought back on line after repair. This paper considers software-implemented mechanisms for state restoration (SR) in a generic fault-tolerant architecture in which both the underlying hardware and operating system are commercial off-the-shelf (COTS) components. State restoration involves copying the values of state variables from the active channel(s) across to the joining channel. Concurrent updating of state variables by application tasks is considered. Two state restoration schemes are considered: Running SR and Recursive SR. In the former, each state variable is copied exactly once while concurrent updates are written through to the joining channel. In the latter state variables are copied once and then recopied recursively until no concurrent updates are detected.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126988093","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
Real time in a TLA-based theory of reactive systems 基于tla的反应系统实时性理论
R. Kurki-Suonio, Mika Katara
A practical theory for operational specification of reactive systems is described. Reasoning on temporal properties is made possible by it already at high levels of abstraction, and rigorous refinement towards implementation is supported. The paper discusses how the underlying logic, execution model, and refinement methods fit together, and how object-orientation, distribution, and real time are supported. A closer look is taken on the specification of real-time properties by illustrating the approach by a logically layered specification of simple mobile robot control software.
描述了反应系统运行规范的实用理论。它已经在高层次的抽象中对时间属性进行了推理,并且支持对实现进行严格的细化。本文讨论了底层逻辑、执行模型和细化方法如何结合在一起,以及如何支持面向对象、分布和实时。通过简单移动机器人控制软件的逻辑分层规范来说明方法,进一步了解实时属性的规范。
{"title":"Real time in a TLA-based theory of reactive systems","authors":"R. Kurki-Suonio, Mika Katara","doi":"10.1109/ISORC.1998.666788","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666788","url":null,"abstract":"A practical theory for operational specification of reactive systems is described. Reasoning on temporal properties is made possible by it already at high levels of abstraction, and rigorous refinement towards implementation is supported. The paper discusses how the underlying logic, execution model, and refinement methods fit together, and how object-orientation, distribution, and real time are supported. A closer look is taken on the specification of real-time properties by illustrating the approach by a logically layered specification of simple mobile robot control software.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127518922","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}
引用次数: 3
A purpose-oriented access control model for object-based systems 面向目标的基于对象系统的访问控制模型
M. Yasuda, T. Tachikawa, M. Takizawa
Distributed applications are modelled in an object-based model like CORBA. Here, the system is a collection of objects. The objects are manipulated only through operations supported by themselves. The purpose-oriented model is proposed where an access rule shows for what each subject s manipulates an object o by an operation t of o so as to keep the information flow legal. The purpose of s to access o by t is modelled to be what operation u of s invokes t to manipulate o. That is, the purpose-oriented access rule is specified in the form (s:u, o:t). In the object-based system, on receipt of a request op from an object o/sub 1/, an object o/sub 2/ computes op and then sends back the response of op to o/sub 1/. Here, if the request and the response carry data, the data in o/sub 1/ and o/sub 2/ is exchanged among o/sub 1/ and o/sub 2/. Furthermore, the operations are nested in the object-based system. Even if each purpose-oriented rule between a pair of objects satisfies the information flow relation, some data in one object may illegally flow to another object through the nested invocation of operations. In this paper, we discuss what information flow is legal in the nested invocations in the purpose-oriented model of the object-based system.
分布式应用程序在像CORBA这样的基于对象的模型中建模。在这里,系统是对象的集合。对象只能通过自身支持的操作进行操作。提出了面向目的的模型,其中访问规则显示每个主体通过操作t = 0来操作对象,以保持信息流的合法性。s通过t访问o的目的被建模为s的操作u调用t来操作o的目的,也就是说,面向目的的访问规则以(s:u, o:t)的形式指定。在基于对象的系统中,当接收到来自对象o/sub 1/的请求op时,对象o/sub 2/计算op,然后将op的响应发送给对象o/sub 1/。在这里,如果请求和响应携带数据,则o/sub 1/和o/sub 2/中的数据在o/sub 1/和o/sub 2/之间交换。此外,这些操作嵌套在基于对象的系统中。即使一对对象之间的每个面向目的的规则都满足信息流关系,一个对象中的某些数据也可能通过嵌套的操作调用非法地流向另一个对象。在本文中,我们讨论了在基于对象系统的面向目的模型的嵌套调用中,哪些信息流是合法的。
{"title":"A purpose-oriented access control model for object-based systems","authors":"M. Yasuda, T. Tachikawa, M. Takizawa","doi":"10.1109/ISORC.1998.666783","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666783","url":null,"abstract":"Distributed applications are modelled in an object-based model like CORBA. Here, the system is a collection of objects. The objects are manipulated only through operations supported by themselves. The purpose-oriented model is proposed where an access rule shows for what each subject s manipulates an object o by an operation t of o so as to keep the information flow legal. The purpose of s to access o by t is modelled to be what operation u of s invokes t to manipulate o. That is, the purpose-oriented access rule is specified in the form (s:u, o:t). In the object-based system, on receipt of a request op from an object o/sub 1/, an object o/sub 2/ computes op and then sends back the response of op to o/sub 1/. Here, if the request and the response carry data, the data in o/sub 1/ and o/sub 2/ is exchanged among o/sub 1/ and o/sub 2/. Furthermore, the operations are nested in the object-based system. Even if each purpose-oriented rule between a pair of objects satisfies the information flow relation, some data in one object may illegally flow to another object through the nested invocation of operations. In this paper, we discuss what information flow is legal in the nested invocations in the purpose-oriented model of the object-based system.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128097619","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}
引用次数: 31
Objects collection management in multidimensional DBMS data model 多维DBMS数据模型中的对象集合管理
T. Lim, S. Lee
A multidimensional DBMS (MDBMS) data model is a nested relational DBMS (RDBMS) that has been made available since 1970. A multidimensional DBMS data model could model real world problems more naturally, such as one to many parent to children table relationship, variable length record and length field and a rich set of data management functionality. The paper considers collection object type design in a multidimensional DBMS data model. It presents database terms used between a relational DBMS, a multidimensional DBMS and an object oriented DBMS. The benefits, management and optimisation of the multidimensional DBMS are presented. The paper also presents discussions on class management, inheritance mapping, object management and implementation of object collection. It suggests improvements to the object collection implementation and continues work on distributed object management utilising a multidimensional DBMS.
多维DBMS (MDBMS)数据模型是自1970年以来可用的嵌套关系DBMS (RDBMS)。多维DBMS数据模型可以更自然地对现实世界中的问题建模,例如一对多的父对子表关系、变长记录和长度字段以及一组丰富的数据管理功能。本文研究了多维DBMS数据模型中的集合对象类型设计。它介绍了关系DBMS、多维DBMS和面向对象DBMS之间使用的数据库术语。介绍了多维数据库管理系统的优点、管理和优化。本文还讨论了类管理、继承映射、对象管理和对象集合的实现。它建议对对象集合实现进行改进,并继续利用多维DBMS进行分布式对象管理。
{"title":"Objects collection management in multidimensional DBMS data model","authors":"T. Lim, S. Lee","doi":"10.1109/ISORC.1998.666779","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666779","url":null,"abstract":"A multidimensional DBMS (MDBMS) data model is a nested relational DBMS (RDBMS) that has been made available since 1970. A multidimensional DBMS data model could model real world problems more naturally, such as one to many parent to children table relationship, variable length record and length field and a rich set of data management functionality. The paper considers collection object type design in a multidimensional DBMS data model. It presents database terms used between a relational DBMS, a multidimensional DBMS and an object oriented DBMS. The benefits, management and optimisation of the multidimensional DBMS are presented. The paper also presents discussions on class management, inheritance mapping, object management and implementation of object collection. It suggests improvements to the object collection implementation and continues work on distributed object management utilising a multidimensional DBMS.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115386107","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 First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)
全部 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