首页 > 最新文献

Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003最新文献

英文 中文
Ad hoc software interfacing: enterprise application integration (EAI) when middleware is overkill 特别软件接口:当中间件被过度使用时,企业应用程序集成(EAI)
A. Reyes, José R. Espino, Vijai Mohan, M. Nadkar
Enterprise application integration (EAI) is cooperation of disparate systems and components to implement business rules in a distributed environment. "Systems and components" can be computer-aided design (CAD) or software engineering (CASE) tools, enterprise databases, COTS applications, or in-house software. Ad hoc software interfacing (AHSI) is a special kind of EAI. A tradeoff analysis classifies an EAI problem as an AHSI problem when middleware solutions are seen as heavy-handed, i.e., the planned EAI is not expected to become broad enough to justify the generality of a middleware solution or the client is unwilling to pay for a unified data model. AHSI seeks to "wire" extant software applications as components in new, larger software applications. We call applications-as-components "appliponents". AHSI seeks to minimize appliponent modification to the greatest extent possible. We demonstrate solutions to AHSI problems using XML toolkits, domain-specific language toolkits, and Microsoft BizTalk Server.
企业应用程序集成(EAI)是异类系统和组件在分布式环境中实现业务规则的合作。“系统和组件”可以是计算机辅助设计(CAD)或软件工程(CASE)工具、企业数据库、COTS应用程序或内部软件。自组织软件接口(AHSI)是一种特殊的EAI。权衡分析将EAI问题归类为AHSI问题,当中间件解决方案被认为过于笨拙时,也就是说,计划的EAI不会变得足够广泛,不足以证明中间件解决方案的通用性,或者客户不愿意为统一的数据模型付费。AHSI试图将现有的软件应用程序“连接”为新的、更大的软件应用程序中的组件。我们称应用程序即组件为“应用程序”。AHSI力求最大限度地减少器械的修改。我们使用XML工具包、特定于领域的语言工具包和Microsoft BizTalk Server演示AHSI问题的解决方案。
{"title":"Ad hoc software interfacing: enterprise application integration (EAI) when middleware is overkill","authors":"A. Reyes, José R. Espino, Vijai Mohan, M. Nadkar","doi":"10.1109/CMPSAC.2003.1245397","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245397","url":null,"abstract":"Enterprise application integration (EAI) is cooperation of disparate systems and components to implement business rules in a distributed environment. \"Systems and components\" can be computer-aided design (CAD) or software engineering (CASE) tools, enterprise databases, COTS applications, or in-house software. Ad hoc software interfacing (AHSI) is a special kind of EAI. A tradeoff analysis classifies an EAI problem as an AHSI problem when middleware solutions are seen as heavy-handed, i.e., the planned EAI is not expected to become broad enough to justify the generality of a middleware solution or the client is unwilling to pay for a unified data model. AHSI seeks to \"wire\" extant software applications as components in new, larger software applications. We call applications-as-components \"appliponents\". AHSI seeks to minimize appliponent modification to the greatest extent possible. We demonstrate solutions to AHSI problems using XML toolkits, domain-specific language toolkits, and Microsoft BizTalk Server.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130101715","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 flexible framework for replication in distributed systems 在分布式系统中用于复制的灵活框架
E. Im, B. C. Neuman
The goal of the work described in this paper was to build a flexible framework for different replication mechanisms in distributed systems that would be suitable for a wide variety of users and applications. A framework was developed that supports multiple replication mechanisms, allows different objects to be maintained with different replication mechanisms, and enables application programmers to provide their own replication mechanisms. It will be argued that this framework allowed the needs of diverse users and applications in large distributed systems to be met. Our work has produced two significant contributions. First, after an examination of replication mechanisms used in distributed systems, a flexible framework that supports multiple replication mechanisms together was designed and developed. Second, following an examination of different levels of replication between replicas, a unified framework for them was produced. This multi-level replication allows the framework to work well with mobile computing by placing different replicas on mobile sites.
本文描述的工作目标是为分布式系统中的不同复制机制构建一个灵活的框架,该框架将适用于各种各样的用户和应用程序。开发了一个支持多种复制机制的框架,允许使用不同的复制机制维护不同的对象,并使应用程序程序员能够提供自己的复制机制。有人会说,这个框架允许满足大型分布式系统中不同用户和应用程序的需求。我们的工作产生了两项重大贡献。首先,在研究了分布式系统中使用的复制机制之后,设计并开发了一个灵活的框架,可以同时支持多种复制机制。其次,在检查了副本之间不同级别的复制之后,为它们生成了一个统一的框架。通过在移动站点上放置不同的副本,这种多级复制允许框架很好地与移动计算一起工作。
{"title":"A flexible framework for replication in distributed systems","authors":"E. Im, B. C. Neuman","doi":"10.1109/CMPSAC.2003.1245384","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245384","url":null,"abstract":"The goal of the work described in this paper was to build a flexible framework for different replication mechanisms in distributed systems that would be suitable for a wide variety of users and applications. A framework was developed that supports multiple replication mechanisms, allows different objects to be maintained with different replication mechanisms, and enables application programmers to provide their own replication mechanisms. It will be argued that this framework allowed the needs of diverse users and applications in large distributed systems to be met. Our work has produced two significant contributions. First, after an examination of replication mechanisms used in distributed systems, a flexible framework that supports multiple replication mechanisms together was designed and developed. Second, following an examination of different levels of replication between replicas, a unified framework for them was produced. This multi-level replication allows the framework to work well with mobile computing by placing different replicas on mobile sites.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121323039","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
Conceptual modeling of mobile object systems: language constructs for distinguishing between mobile and stationary subsystems 移动对象系统的概念建模:用于区分移动和固定子系统的语言结构
Peter Ahlbrecht, S. Eckstein, Karl Neumann
A couple of specification and modeling languages dedicated to the particularities of mobile systems have been developed as mobile hardware and software gain wide acceptance. Though these languages facilitate describing systems of mobile objects at different levels of abstraction, they do not allow to distinguish between the ever-mobile units and those which provide the fixed subsystems as the context for the mobile entities. However, as this is an essential distinction for many scenarios, in this article we present some suitable constructs as an extension of an already existing specification language from the area of information retrieval.
随着移动硬件和软件得到广泛接受,一些专门针对移动系统特性的规范和建模语言已经被开发出来。尽管这些语言有助于在不同的抽象层次上描述可移动对象的系统,但它们不允许区分永远可移动的单元和那些提供固定子系统作为可移动实体上下文的单元。然而,由于这是许多场景的本质区别,因此在本文中,我们将介绍一些合适的结构,作为信息检索领域现有规范语言的扩展。
{"title":"Conceptual modeling of mobile object systems: language constructs for distinguishing between mobile and stationary subsystems","authors":"Peter Ahlbrecht, S. Eckstein, Karl Neumann","doi":"10.1109/CMPSAC.2003.1245334","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245334","url":null,"abstract":"A couple of specification and modeling languages dedicated to the particularities of mobile systems have been developed as mobile hardware and software gain wide acceptance. Though these languages facilitate describing systems of mobile objects at different levels of abstraction, they do not allow to distinguish between the ever-mobile units and those which provide the fixed subsystems as the context for the mobile entities. However, as this is an essential distinction for many scenarios, in this article we present some suitable constructs as an extension of an already existing specification language from the area of information retrieval.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126806679","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
Precise specification to compound patterns with ExLePUS 精确规范与ExLePUS复合模式
J. K. Mak, C. Choy, D. Lun
Prior research suggested modeling languages for precise specification of design pattern structures and behaviors. However, seldom has put effort on their integrations as well as their specifications. To provide a first class CASE support to the recognition, verification and application of design patterns as well as their compounds, a precise specification to their leitmotifs is critical. In this paper, we present the essentials of pattern integration and propose an extended version, we name it exLePUS, to a pattern specification language (LePUS) in order to support the specification of these essentials and thus compound patterns. A case study has illustrated how it is used a well-known compound pattern.
先前的研究建议使用建模语言来精确说明设计模式的结构和行为。然而,很少有人把精力放在他们的集成和规范上。为了为设计模式及其化合物的识别、验证和应用提供一流的CASE支持,对其主题的精确规范至关重要。在本文中,我们提出了模式集成的要点,并提出了模式规范语言(LePUS)的扩展版本,我们将其命名为exLePUS,以支持这些要点的规范,从而支持复合模式。一个案例研究说明了如何在一个众所周知的复合模式中使用它。
{"title":"Precise specification to compound patterns with ExLePUS","authors":"J. K. Mak, C. Choy, D. Lun","doi":"10.1109/CMPSAC.2003.1245377","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245377","url":null,"abstract":"Prior research suggested modeling languages for precise specification of design pattern structures and behaviors. However, seldom has put effort on their integrations as well as their specifications. To provide a first class CASE support to the recognition, verification and application of design patterns as well as their compounds, a precise specification to their leitmotifs is critical. In this paper, we present the essentials of pattern integration and propose an extended version, we name it exLePUS, to a pattern specification language (LePUS) in order to support the specification of these essentials and thus compound patterns. A case study has illustrated how it is used a well-known compound pattern.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116650726","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}
引用次数: 7
A cut-based algorithm for reliability analysis of terminal-pair network using OBDD 基于切割的OBDD终端对网络可靠性分析算法
Yung-Ruei Chang, Hung-Yau Lin, Ing-Yi Chen, S. Kuo
In this paper, we propose an algorithm to construct the ordered binary decision diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes isomorphic sub-problems and thus avoids redundant computations. The system reliability could be efficiently computed by the OBDD. Finally, we propose an approach to compute the importance measures for multiple components by traversing the OBDD only once. The correctness and the effectiveness of our approach are demonstrated by experiments on 30 benchmark networks. The experimental results on a 2-by-100 lattice network, which has 2/sup 99/ paths or 10,000 cuts, show an impressive improvement compared to the previous works using the sum of disjoint products method that have exponential complexity. The CPU time of our method, including the calculation of not only the reliability but also the importance measures, for a 100-stage lattice network is only about 0.24 seconds. Thus, this approach is very helpful for the reliability and sensitivity analysis of large networks.
本文提出了一种构造表示终端对网络切函数的有序二元决策图(OBDD)算法。该算法识别同构子问题,避免了冗余计算。利用OBDD可以有效地计算系统的可靠性。最后,我们提出了一种通过只遍历一次OBDD来计算多个组件的重要性度量的方法。在30个基准网络上的实验验证了该方法的正确性和有效性。在2 × 100晶格网络上的实验结果显示,与之前使用具有指数复杂度的不相交积和方法相比,具有2/sup 99/路径或10,000个切割的工作有了令人印象深刻的改进。对于一个100级的晶格网络,该方法的CPU时间(包括可靠性和重要性度量的计算)仅为0.24秒。因此,该方法对大型网络的可靠性和灵敏度分析有很大的帮助。
{"title":"A cut-based algorithm for reliability analysis of terminal-pair network using OBDD","authors":"Yung-Ruei Chang, Hung-Yau Lin, Ing-Yi Chen, S. Kuo","doi":"10.1109/CMPSAC.2003.1245367","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245367","url":null,"abstract":"In this paper, we propose an algorithm to construct the ordered binary decision diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes isomorphic sub-problems and thus avoids redundant computations. The system reliability could be efficiently computed by the OBDD. Finally, we propose an approach to compute the importance measures for multiple components by traversing the OBDD only once. The correctness and the effectiveness of our approach are demonstrated by experiments on 30 benchmark networks. The experimental results on a 2-by-100 lattice network, which has 2/sup 99/ paths or 10,000 cuts, show an impressive improvement compared to the previous works using the sum of disjoint products method that have exponential complexity. The CPU time of our method, including the calculation of not only the reliability but also the importance measures, for a 100-stage lattice network is only about 0.24 seconds. Thus, this approach is very helpful for the reliability and sensitivity analysis of large networks.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115088709","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}
引用次数: 16
Automated metamorphic testing 自动化变形测试
A. Gotlieb, Bernard Botella
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs for which this assumption is unreasonable. Recently, Chen et al. (1998, 2001) proposed to overcome this obstacle by using known relations over the input data and their unknown expected outputs to seek a subclass of faults inside the program. In this paper, we introduce an automatic testing framework able to check these so-called metamorphic relations. The framework makes use of constraint logic programming techniques to find test data that violate a given metamorphic-relation. Circumstances where it can also prove that the program satisfies this relation are presented. The first experimental results we got with a prototype tool build on the top of the test data generator INKA, show that this methodology can be completely automated.
通常的自动测试数据生成技术是基于一个完整的oracle在测试过程中可用的假设。然而,对于某些程序,这种假设是不合理的。最近,Chen等人(1998,2001)提出通过使用输入数据上的已知关系及其未知预期输出来寻找程序内部故障的子类来克服这一障碍。在本文中,我们引入了一个能够检测这些所谓的变质关系的自动测试框架。该框架利用约束逻辑编程技术来查找违反给定变质关系的测试数据。给出了可以证明程序满足这一关系的情形。我们使用基于测试数据生成器INKA的原型工具获得的第一个实验结果表明,该方法可以完全自动化。
{"title":"Automated metamorphic testing","authors":"A. Gotlieb, Bernard Botella","doi":"10.1109/CMPSAC.2003.1245319","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245319","url":null,"abstract":"Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs for which this assumption is unreasonable. Recently, Chen et al. (1998, 2001) proposed to overcome this obstacle by using known relations over the input data and their unknown expected outputs to seek a subclass of faults inside the program. In this paper, we introduce an automatic testing framework able to check these so-called metamorphic relations. The framework makes use of constraint logic programming techniques to find test data that violate a given metamorphic-relation. Circumstances where it can also prove that the program satisfies this relation are presented. The first experimental results we got with a prototype tool build on the top of the test data generator INKA, show that this methodology can be completely automated.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117085049","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}
引用次数: 114
Protecting distributed software upgrades that involve message-passing 保护涉及消息传递的分布式软件升级
A. Tai, K. Tso, W. Sanders
We present in this paper an extension of the message-driven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to provide the framework with the capability of protecting distributed software upgrades that involve message-passing interface changes. To achieve this goal, we propose an approach to clustering the components involved in software upgrades and those involved in message-passing interface changes, such that from outside the cluster all those components can be perceived collectively as one virtual low-confidence component. Moreover, we develop a confidence-driven mechanism that enables combined use of sender- and receiver-side message logging for efficient, fine-grained error containment and recovery. The paper provides a detailed algorithm description.
我们在本文中提出了我们为机载保护软件升级开发的消息驱动信任驱动框架的扩展。这项工作的目的是为框架提供保护涉及消息传递接口更改的分布式软件升级的能力。为了实现这一目标,我们提出了一种方法,将涉及软件升级的组件和涉及消息传递接口更改的组件聚集在一起,这样,从集群外部,所有这些组件都可以被视为一个虚拟的低置信度组件。此外,我们开发了一种信任驱动的机制,该机制支持组合使用发送端和接收端消息日志记录,以实现高效、细粒度的错误遏制和恢复。本文给出了详细的算法描述。
{"title":"Protecting distributed software upgrades that involve message-passing","authors":"A. Tai, K. Tso, W. Sanders","doi":"10.1109/CMPSAC.2003.1245369","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245369","url":null,"abstract":"We present in this paper an extension of the message-driven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to provide the framework with the capability of protecting distributed software upgrades that involve message-passing interface changes. To achieve this goal, we propose an approach to clustering the components involved in software upgrades and those involved in message-passing interface changes, such that from outside the cluster all those components can be perceived collectively as one virtual low-confidence component. Moreover, we develop a confidence-driven mechanism that enables combined use of sender- and receiver-side message logging for efficient, fine-grained error containment and recovery. The paper provides a detailed algorithm description.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"480 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122743939","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
A graph grammar approach to software architecture verification and transformation 软件架构验证和转换的图语法方法
Jun Kong, Kang Zhang, Jing Dong, G. Song
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy to understand and are convenient to use, they are not amendable to automated verification and transformation. This paper provides graph grammars for architecture and UML class diagrams. These grammars enable a high level of abstraction for the general organization of a class of software architectures, and form a basis for various analysis and transformations. In this approach, software verification is performed through a syntax analyzer. Architecture transformation is achieved by applying predefined transformation rules.
软件架构和设计通常由非正式的图建模和表示,例如架构图和UML图。虽然这些图形符号很容易理解并且方便使用,但是它们不能用于自动验证和转换。本文为体系结构和UML类图提供了图形语法。这些语法为一类软件体系结构的一般组织提供了高层次的抽象,并形成了各种分析和转换的基础。在这种方法中,软件验证是通过语法分析器执行的。架构转换是通过应用预定义的转换规则来实现的。
{"title":"A graph grammar approach to software architecture verification and transformation","authors":"Jun Kong, Kang Zhang, Jing Dong, G. Song","doi":"10.1109/CMPSAC.2003.1245385","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245385","url":null,"abstract":"Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy to understand and are convenient to use, they are not amendable to automated verification and transformation. This paper provides graph grammars for architecture and UML class diagrams. These grammars enable a high level of abstraction for the general organization of a class of software architectures, and form a basis for various analysis and transformations. In this approach, software verification is performed through a syntax analyzer. Architecture transformation is achieved by applying predefined transformation rules.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115478436","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}
引用次数: 26
A cooperative framework for inter-organizational workflow system 组织间工作流系统的协作框架
Shung-Bin Yan, Feng-Jian Wang
Workflow management systems (WfMSs) are accepted worldwide due to their capability to model and control business processes. With WfMS, enterprises can improve work efficiency and react to the emergent situation quickly. However, most WfMSs adopt the centralized architecture in an organization so that they usually lack of a cooperative communication mechanism across different organizations. In this paper, we propose a cooperative framework for inter-organizational workflow systems. The framework consists of an inter-workflow meta-model, CA-PLAN (Cooperative Agentflow Process LANguage), and a prototype system based on Agentflow, a system developed in our laboratory. The cooperation mechanism between WfMSs in CA-PLAN is modeled as a Remote Call Process (RCP) paradigm. A process service is a mechanism that defines a process to participate in an inter-organizational process among different WfMSs and specifies the associated arguments in and out. A remote process is a proxy mechanism that refers to a process service on another WfMS. RCP provides the mechanism by which the process service and the remote process communicate and pass information back and forth and process monitor mechanism. The mechanism, also allowing dynamic changes and reconfiguration, can adapt dynamic and competitive business environment. Through RCP, the cooperative process across organizations becomes simple, faster, and flexible.
工作流管理系统(WfMSs)由于其建模和控制业务流程的能力而被全世界所接受。利用WfMS,企业可以提高工作效率,快速应对突发情况。然而,大多数wfms在组织中采用集中式体系结构,因此它们通常缺乏跨不同组织的协作通信机制。在本文中,我们提出了一个组织间工作流系统的协作框架。该框架由一个工作流间元模型CA-PLAN (Cooperative Agentflow Process LANguage)和一个基于Agentflow的原型系统组成,该系统是我们实验室开发的。CA-PLAN中WfMSs之间的合作机制被建模为远程调用过程(RCP)范式。流程服务是一种机制,它定义了在不同wfms之间参与组织间流程的流程,并指定了进出的相关参数。远程进程是一种代理机制,它引用另一个WfMS上的进程服务。RCP提供了进程服务和远程进程之间进行通信和来回传递信息的机制以及进程监控机制。该机制允许动态变化和重构,能够适应动态竞争的商业环境。通过RCP,跨组织的合作过程变得简单、快速和灵活。
{"title":"A cooperative framework for inter-organizational workflow system","authors":"Shung-Bin Yan, Feng-Jian Wang","doi":"10.1109/CMPSAC.2003.1245323","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245323","url":null,"abstract":"Workflow management systems (WfMSs) are accepted worldwide due to their capability to model and control business processes. With WfMS, enterprises can improve work efficiency and react to the emergent situation quickly. However, most WfMSs adopt the centralized architecture in an organization so that they usually lack of a cooperative communication mechanism across different organizations. In this paper, we propose a cooperative framework for inter-organizational workflow systems. The framework consists of an inter-workflow meta-model, CA-PLAN (Cooperative Agentflow Process LANguage), and a prototype system based on Agentflow, a system developed in our laboratory. The cooperation mechanism between WfMSs in CA-PLAN is modeled as a Remote Call Process (RCP) paradigm. A process service is a mechanism that defines a process to participate in an inter-organizational process among different WfMSs and specifies the associated arguments in and out. A remote process is a proxy mechanism that refers to a process service on another WfMS. RCP provides the mechanism by which the process service and the remote process communicate and pass information back and forth and process monitor mechanism. The mechanism, also allowing dynamic changes and reconfiguration, can adapt dynamic and competitive business environment. Through RCP, the cooperative process across organizations becomes simple, faster, and flexible.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"239 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121166734","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}
引用次数: 17
Scalable multilateral communication technique for large-scale information systems 大规模信息系统的可扩展多边通信技术
K. Ragab, N. Kaji, K. Moriyama, K. Mori
Autonomous community information systems (ACIS) is a proposition made to contend with the extreme dynamism in the large-scale information system. ACIS is a decentralized bilateral-hierarchy architecture that forms a community of individual end-users (community members) having the same interests and demands in somewhere, at specified time. It allows the community members to mutually cooperate and share information without loading up any single node excessively. In this paper, an autonomous decentralized community communication technique is proposed to assure a flexible, scalable and a multilateral communication among the community members. The main ideas behind this communication technique are: content-code communication (communication service-based) for flexibility and multilateral benefits communication for scalable and productive cooperation among members. All members communicate productively for the satisfaction of all the community members. The scalability of the system's response time regardless of the number of the community members has been shown by simulation. Thus, the autonomous decentralized community communication technique reveals great results of the response time with continuous increasing in the total number of members.
自治社区信息系统(ACIS)是为了应对大规模信息系统的极端动态性而提出的命题。ACIS是一种分散的双边层次结构体系结构,它形成了一个由在特定时间在某个地方具有相同兴趣和需求的单个最终用户(社区成员)组成的社区。它允许社区成员相互合作和共享信息,而不会过度加载任何单个节点。本文提出了一种自治的去中心化社区通信技术,以保证社区成员之间的灵活、可扩展和多边通信。这种通信技术背后的主要思想是:实现灵活性的内容代码通信(基于通信服务的通信)和实现成员之间可扩展和富有成效的合作的多边利益通信。所有的成员为了社区成员的满意而进行富有成效的沟通。仿真结果表明,无论社区成员的数量多少,系统的响应时间都具有可扩展性。因此,自治的去中心化社区通信技术随着成员总数的不断增加,在响应时间上显示出了很大的效果。
{"title":"Scalable multilateral communication technique for large-scale information systems","authors":"K. Ragab, N. Kaji, K. Moriyama, K. Mori","doi":"10.1109/CMPSAC.2003.1245345","DOIUrl":"https://doi.org/10.1109/CMPSAC.2003.1245345","url":null,"abstract":"Autonomous community information systems (ACIS) is a proposition made to contend with the extreme dynamism in the large-scale information system. ACIS is a decentralized bilateral-hierarchy architecture that forms a community of individual end-users (community members) having the same interests and demands in somewhere, at specified time. It allows the community members to mutually cooperate and share information without loading up any single node excessively. In this paper, an autonomous decentralized community communication technique is proposed to assure a flexible, scalable and a multilateral communication among the community members. The main ideas behind this communication technique are: content-code communication (communication service-based) for flexibility and multilateral benefits communication for scalable and productive cooperation among members. All members communicate productively for the satisfaction of all the community members. The scalability of the system's response time regardless of the number of the community members has been shown by simulation. Thus, the autonomous decentralized community communication technique reveals great results of the response time with continuous increasing in the total number of members.","PeriodicalId":173397,"journal":{"name":"Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121414538","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}
引用次数: 10
期刊
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003
全部 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