首页 > 最新文献

2008 12th Enterprise Distributed Object Computing Conference Workshops最新文献

英文 中文
Case Study on Human/System Interaction Specification using UML for ODP 基于UML的ODP人机交互规范案例研究
Pub Date : 2008-09-16 DOI: 10.1109/EDOCW.2008.21
Hiroshi Miyazaki, Akira Tanaka
The technological developments in networking solutions, information and communication services create the basis for the provisioning of complex, real-time services. This paper addresses the charging and billing of such advanced services. Customers of complex real-time services want real-time billing information to manage their expenses while using such services. Similarly, service providers want to manage their financial risks. Determining the actual charge during a service session implies that most of the billing processes need to be executed in near real-time. Advanced services will be composed of services provided by various 3rd party providers residing in different domains. Hence, charging and billing of advanced services requires a billing system capable of composing charging and billing information from providers in different domains on a near real-time basis. We present an architecture for such a real-time, multi-domain billing system. This paper presents an enterprise model for real-time inter-domain billing, comprising the role of the end-user, subscriber, the service provider, the 3rd party provider, and the billing provider. The model builds on the RM-ODP Enterprise Viewpoint, the eTOM and the Shared Information/Data model (SID). Key words: inter-domain billing, real-time, service composition
网络解决方案、信息和通信服务方面的技术发展为提供复杂的实时服务奠定了基础。本文讨论了这种高级服务的收费和计费问题。使用复杂实时服务的客户需要实时计费信息,以便在使用此类服务时管理费用。同样,服务提供商也希望管理他们的财务风险。确定服务会话期间的实际费用意味着大多数计费流程需要近乎实时地执行。高级服务将由驻留在不同域中的各种第三方提供商提供的服务组成。因此,高级服务的收费和计费需要一个能够以近乎实时的方式组合来自不同领域提供者的收费和计费信息的计费系统。我们提出了这样一个实时、多域计费系统的架构。本文提出了一个实时跨域计费的企业模型,该模型包括终端用户、订阅者、服务提供者、第三方提供者和计费提供者的角色。该模型建立在RM-ODP企业视点、eTOM和共享信息/数据模型(SID)之上。关键词:域间计费,实时性,业务组合
{"title":"Case Study on Human/System Interaction Specification using UML for ODP","authors":"Hiroshi Miyazaki, Akira Tanaka","doi":"10.1109/EDOCW.2008.21","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.21","url":null,"abstract":"The technological developments in networking solutions, information and communication services create the basis for the provisioning of complex, real-time services. This paper addresses the charging and billing of such advanced services. Customers of complex real-time services want real-time billing information to manage their expenses while using such services. Similarly, service providers want to manage their financial risks. Determining the actual charge during a service session implies that most of the billing processes need to be executed in near real-time. Advanced services will be composed of services provided by various 3rd party providers residing in different domains. Hence, charging and billing of advanced services requires a billing system capable of composing charging and billing information from providers in different domains on a near real-time basis. We present an architecture for such a real-time, multi-domain billing system. This paper presents an enterprise model for real-time inter-domain billing, comprising the role of the end-user, subscriber, the service provider, the 3rd party provider, and the billing provider. The model builds on the RM-ODP Enterprise Viewpoint, the eTOM and the Shared Information/Data model (SID). Key words: inter-domain billing, real-time, service composition","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122060984","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
Improvement model for collaborative networked organizations 协同网络化组织的改进模型
Pub Date : 2008-09-16 DOI: 10.1109/EDOCW.2008.36
J. Withalm, Walter Wölfel
Small and medium enterprises (SMEs) have huge improvement potential both in domain and in collaboration/interoperability capabilities. Before implementing respective improvement measures it's necessary to assess the performance in specific process areas which we divide in domain (e.g. tourism) and collaboration oriented ones. Both in enterprise collaboration (EC) and in enterprise interoperability (EI) the behavior of organizations regarding interoperability must be improved.
中小型企业(sme)在领域和协作/互操作性能力方面都有巨大的改进潜力。在实施各自的改进措施之前,有必要评估我们划分为领域(例如旅游)和面向协作的特定过程域的性能。在企业协作(EC)和企业互操作性(EI)中,必须改进有关互操作性的组织行为。
{"title":"Improvement model for collaborative networked organizations","authors":"J. Withalm, Walter Wölfel","doi":"10.1109/EDOCW.2008.36","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.36","url":null,"abstract":"Small and medium enterprises (SMEs) have huge improvement potential both in domain and in collaboration/interoperability capabilities. Before implementing respective improvement measures it's necessary to assess the performance in specific process areas which we divide in domain (e.g. tourism) and collaboration oriented ones. Both in enterprise collaboration (EC) and in enterprise interoperability (EI) the behavior of organizations regarding interoperability must be improved.","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"1 18","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131639481","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
A Comparison Study of Viewpoint Approaches in Service Enterprise Architecture 服务企业架构中视点方法的比较研究
Pub Date : 2008-09-16 DOI: 10.1109/EDOCW.2008.4
B. Traverson
Management on inter-enterprise collaborations (business networks) still face grand challenges especially in terms of managing interoperability of nonfunctional properties (NFPs) at various levels (technical, semantic, pragmatic). This paper identifies three categories of nonfunctional properties (collaborative for business level, contractual for communication issues, extrafunctional for computational dependability) and describes how facilities are provided in the Pilarcos architecture for declaring, negotiating and enforcing agreed nonfunctional properties on collaborating business services and their joint activities.
企业间协作(业务网络)的管理仍然面临着巨大的挑战,特别是在管理不同级别(技术、语义、实用)的非功能属性(NFPs)的互操作性方面。本文确定了三种非功能性属性(业务级别的协作性,通信问题的契约性,计算可靠性的非功能性),并描述了Pilarcos体系结构中如何提供工具,用于在协作业务服务及其联合活动上声明、协商和执行商定的非功能性属性。
{"title":"A Comparison Study of Viewpoint Approaches in Service Enterprise Architecture","authors":"B. Traverson","doi":"10.1109/EDOCW.2008.4","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.4","url":null,"abstract":"Management on inter-enterprise collaborations (business networks) still face grand challenges especially in terms of managing interoperability of nonfunctional properties (NFPs) at various levels (technical, semantic, pragmatic). This paper identifies three categories of nonfunctional properties (collaborative for business level, contractual for communication issues, extrafunctional for computational dependability) and describes how facilities are provided in the Pilarcos architecture for declaring, negotiating and enforcing agreed nonfunctional properties on collaborating business services and their joint activities.","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132351696","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}
引用次数: 5
An SCA-Based Middleware Platform for Mobile Devices 基于sca的移动设备中间件平台
Pub Date : 2008-09-16 DOI: 10.1109/EDOCW.2008.17
Daniel Romero, Carlos Parra, L. Seinturier, L. Duchien, R. Casallas
In pervasive environments, users can potentially access a variety of services through their mobile devices. However, in order to use the new services, we need to adapt the functionality of these devices. To achieve it, we propose to load a bootstrap into them that is able to communicate with the services. However this bootstrap has to be adapted due to the diversity of services offered in the environment, which are heterogeneous regarding aspects such as communication and discovery. Our bootstrap has two layers: the application layer and the middleware layer. This paper focuses in the middleware layer. We propose an architecture based on the service component architecture (SCA). The architecture eases the reconfiguration of the components at runtime to support different communication mechanisms and service discovery protocols. Besides, using SCA, we can add new functionality to the middleware platform that can be provided by remote applications (SCA or not).
在普及环境中,用户可以通过他们的移动设备访问各种服务。然而,为了使用新的服务,我们需要调整这些设备的功能。为了实现这一点,我们建议在它们中加载一个能够与服务通信的引导程序。然而,由于环境中提供的服务的多样性,这种引导必须进行调整,这些服务在通信和发现等方面是异构的。我们的引导有两层:应用层和中间件层。本文的重点是中间件层。我们提出了一个基于服务组件体系结构(SCA)的体系结构。该体系结构简化了运行时组件的重新配置,以支持不同的通信机制和服务发现协议。此外,使用SCA,我们可以向中间件平台添加可以由远程应用程序(无论是否使用SCA)提供的新功能。
{"title":"An SCA-Based Middleware Platform for Mobile Devices","authors":"Daniel Romero, Carlos Parra, L. Seinturier, L. Duchien, R. Casallas","doi":"10.1109/EDOCW.2008.17","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.17","url":null,"abstract":"In pervasive environments, users can potentially access a variety of services through their mobile devices. However, in order to use the new services, we need to adapt the functionality of these devices. To achieve it, we propose to load a bootstrap into them that is able to communicate with the services. However this bootstrap has to be adapted due to the diversity of services offered in the environment, which are heterogeneous regarding aspects such as communication and discovery. Our bootstrap has two layers: the application layer and the middleware layer. This paper focuses in the middleware layer. We propose an architecture based on the service component architecture (SCA). The architecture eases the reconfiguration of the components at runtime to support different communication mechanisms and service discovery protocols. Besides, using SCA, we can add new functionality to the middleware platform that can be provided by remote applications (SCA or not).","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129692283","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
Normative Ontologies for Data-Centric Business Process Management 以数据为中心的业务流程管理的规范本体
Pub Date : 2008-09-16 DOI: 10.1109/EDOCW.2008.47
I. Poernomo, T. Umarov
This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications. We apply a model-driven approach. We begin with business requirement specifications, consisting of an ontology and an associated set of normative rules, that define the ways in which business processes can interact. We then transform this specification into a Petri Net workflow model and, separately, an Event B specification. The former models can be submitted to further behavioural analysis to ensure, for instance, satisfaction of liveness and safety properties. The latter specifications are important as we can use theorem proving techniques to check and refine data representation with respect to process evolution. An important property of the transformation is semantic equivalence between the Petri net model and Event-B model.
本文解决了在业务流程工作流规范中描述和分析数据操作的问题。我们采用模型驱动的方法。我们从业务需求规范开始,它由本体和一组相关的规范规则组成,这些规范规则定义了业务流程可以交互的方式。然后,我们将此规范转换为Petri网工作流模型,并分别转换为Event B规范。以前的模型可以提交给进一步的行为分析,以确保,例如,满足生活和安全属性。后一种规范很重要,因为我们可以使用定理证明技术来检查和细化与过程演化相关的数据表示。该转换的一个重要性质是Petri网模型和Event-B模型之间的语义等价。
{"title":"Normative Ontologies for Data-Centric Business Process Management","authors":"I. Poernomo, T. Umarov","doi":"10.1109/EDOCW.2008.47","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.47","url":null,"abstract":"This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications. We apply a model-driven approach. We begin with business requirement specifications, consisting of an ontology and an associated set of normative rules, that define the ways in which business processes can interact. We then transform this specification into a Petri Net workflow model and, separately, an Event B specification. The former models can be submitted to further behavioural analysis to ensure, for instance, satisfaction of liveness and safety properties. The latter specifications are important as we can use theorem proving techniques to check and refine data representation with respect to process evolution. An important property of the transformation is semantic equivalence between the Petri net model and Event-B model.","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121084016","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
Declarative Specification and Alignment Verification of Services in ITIL ITIL中服务的声明性规范和一致性验证
Pub Date : 2008-09-16 DOI: 10.1109/EDOCW.2008.28
I. Rychkova, Gil Regev, A. Wegmann
IT organizations that wish to implement the best practices recommended by the IT Infrastructure Library (ITIL) need to specify the level of service provided to their customers. The implemented service needs to comply with this specification. We propose a method for describing declarative specifications of services, and of their planned constructions. These specifications can then be used to verify the alignment between the specification and the construction. This method is based on first-order logic and on refinement theory for alignment verification. The alignment verification is automated using the Alloy specification language and the Alloy Analyzer tool. The method is illustrated with the example of a utility emergency service inspired from a real project.
希望实现IT Infrastructure Library (ITIL)推荐的最佳实践的IT组织需要指定向其客户提供的服务级别。实现的服务需要遵守此规范。我们提出了一种描述服务的声明性规范及其计划构造的方法。然后可以使用这些规范来验证规范和结构之间的一致性。该方法基于一阶逻辑和对准验证的精细化理论。使用Alloy规范语言和Alloy Analyzer工具自动进行校准验证。该方法以实际工程中的公用事业应急服务为例进行了说明。
{"title":"Declarative Specification and Alignment Verification of Services in ITIL","authors":"I. Rychkova, Gil Regev, A. Wegmann","doi":"10.1109/EDOCW.2008.28","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.28","url":null,"abstract":"IT organizations that wish to implement the best practices recommended by the IT Infrastructure Library (ITIL) need to specify the level of service provided to their customers. The implemented service needs to comply with this specification. We propose a method for describing declarative specifications of services, and of their planned constructions. These specifications can then be used to verify the alignment between the specification and the construction. This method is based on first-order logic and on refinement theory for alignment verification. The alignment verification is automated using the Alloy specification language and the Alloy Analyzer tool. The method is illustrated with the example of a utility emergency service inspired from a real project.","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"177 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124382404","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
Technology-Independent Modeling of Service Interaction 服务交互的技术独立建模
Pub Date : 2008-09-16 DOI: 10.1109/EDOCW.2008.56
Gerald Weber
Systems based on a service-oriented architecture (SOA) can be implemented with many different technologies, and in particular, they can be implemented with a heterogeneous set of technologies. An enterprise service bus (ESB) is a typical option for bridging the technology boundaries. It is desirable to have technology-independent models of the core services in the IT system. We present here computation-independent models (CIMs) and platform-independent models (PIMs) for service oriented architectures. Our models have the following advantages: Some of the CIMs are closely related to Petri net approaches; the PIMs are expressed in the same formalism as the CIMs; a canonical PIM is easily derived from a CIM; the semantics of the PIMs matches the operation of a typical enterprise service bus architecture. Finally, both CIM and PIM are defined as core semantic data models and can therefore be created with most semantic data modeling tools.
基于面向服务的体系结构(SOA)的系统可以使用许多不同的技术来实现,特别是,它们可以使用异构的技术集来实现。企业服务总线(ESB)是桥接技术边界的典型选项。希望在It系统中拥有与技术无关的核心服务模型。我们在这里介绍面向服务体系结构的计算无关模型(cim)和平台无关模型(pim)。我们的模型具有以下优点:一些cim与Petri网方法密切相关;pim的表达形式与cim相同;规范的PIM很容易从CIM派生出来;pim的语义与典型企业服务总线体系结构的操作相匹配。最后,CIM和PIM都被定义为核心语义数据模型,因此可以使用大多数语义数据建模工具创建。
{"title":"Technology-Independent Modeling of Service Interaction","authors":"Gerald Weber","doi":"10.1109/EDOCW.2008.56","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.56","url":null,"abstract":"Systems based on a service-oriented architecture (SOA) can be implemented with many different technologies, and in particular, they can be implemented with a heterogeneous set of technologies. An enterprise service bus (ESB) is a typical option for bridging the technology boundaries. It is desirable to have technology-independent models of the core services in the IT system. We present here computation-independent models (CIMs) and platform-independent models (PIMs) for service oriented architectures. Our models have the following advantages: Some of the CIMs are closely related to Petri net approaches; the PIMs are expressed in the same formalism as the CIMs; a canonical PIM is easily derived from a CIM; the semantics of the PIMs matches the operation of a typical enterprise service bus architecture. Finally, both CIM and PIM are defined as core semantic data models and can therefore be created with most semantic data modeling tools.","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117040591","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}
引用次数: 5
Monitoring Cross-Site Processes Executed across Heterogeneous WS-BPEL Processors 监视跨异构WS-BPEL处理器执行的跨站点流程
Pub Date : 2008-09-16 DOI: 10.1109/EDOCW.2008.46
Yohsuke Isozaki, Yoshihiro Kanna, Koki Kato, Tsuyoshi Kanai, Daisuke Miyamoto, S. Kikuchi
Monitoring on heterogeneous large-scale business process is crucial for system management. But heterogeneous large-scale business processes cannot be satisfactorily monitored because there is no interoperability among process monitoring functions provided by multiple vendors. We found that monitoring on messages and messaging activities of Web Services Business Process Execution Language (WS-BPEL) processes was suitable for monitoring of heterogeneous large-scale business process. We present a common audit-data format that is designed for monitoring heterogeneous business processes. Additionally, we present the results of monitoring heterogeneous business processes by this common audit-data.
异构大规模业务流程的监控对系统管理至关重要。但是,由于多个供应商提供的流程监控功能之间没有互操作性,因此无法对异构的大规模业务流程进行令人满意的监控。我们发现监视Web服务业务流程执行语言(WS-BPEL)流程的消息和消息传递活动适用于监视异构的大规模业务流程。我们提供了一种通用的审计数据格式,用于监视异构业务流程。此外,我们还提供了通过此通用审计数据监视异构业务流程的结果。
{"title":"Monitoring Cross-Site Processes Executed across Heterogeneous WS-BPEL Processors","authors":"Yohsuke Isozaki, Yoshihiro Kanna, Koki Kato, Tsuyoshi Kanai, Daisuke Miyamoto, S. Kikuchi","doi":"10.1109/EDOCW.2008.46","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.46","url":null,"abstract":"Monitoring on heterogeneous large-scale business process is crucial for system management. But heterogeneous large-scale business processes cannot be satisfactorily monitored because there is no interoperability among process monitoring functions provided by multiple vendors. We found that monitoring on messages and messaging activities of Web Services Business Process Execution Language (WS-BPEL) processes was suitable for monitoring of heterogeneous large-scale business process. We present a common audit-data format that is designed for monitoring heterogeneous business processes. Additionally, we present the results of monitoring heterogeneous business processes by this common audit-data.","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126965604","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
Tools and Infrastructure Facilities for Controlling Non-Functional Properties in Inter-Enterprise in Collaborations 企业间协作中控制非功能属性的工具和基础设施
Pub Date : 2008-09-01 DOI: 10.1109/EDOCW.2008.58
L. Kutvonen
Viewpoint modeling has demonstrated to be an effective approach for specifying complex software systems by means of a set of independent viewpoints and correspondences between them. During its life cycle, a software system continuously evolves, as well as its specification changes to meet new requirements or to adapt to business changes. As a consequence, views and correspondences can be added, modified or removed, which may cause synchronization and consistency problems in the system specifications. In this paper, we explore the use of ASP to represent viewpoints, views and correspondences using its declarative logic and features, and we outline how this approach can be suitable to manage and maintain viewpoint synchronization in evolution scenarios.
视点建模已经被证明是通过一组独立的视点和它们之间的对应关系来指定复杂软件系统的有效方法。在软件系统的生命周期中,软件系统不断发展,其规范也不断变化,以满足新的需求或适应业务变化。因此,可以添加、修改或删除视图和对应,这可能会导致系统规范中的同步和一致性问题。在本文中,我们探索了使用ASP使用其声明性逻辑和特性来表示视点、视图和通信,并概述了这种方法如何适合于管理和维护进化场景中的视点同步。
{"title":"Tools and Infrastructure Facilities for Controlling Non-Functional Properties in Inter-Enterprise in Collaborations","authors":"L. Kutvonen","doi":"10.1109/EDOCW.2008.58","DOIUrl":"https://doi.org/10.1109/EDOCW.2008.58","url":null,"abstract":"Viewpoint modeling has demonstrated to be an effective approach for specifying complex software systems by means of a set of independent viewpoints and correspondences between them. During its life cycle, a software system continuously evolves, as well as its specification changes to meet new requirements or to adapt to business changes. As a consequence, views and correspondences can be added, modified or removed, which may cause synchronization and consistency problems in the system specifications. In this paper, we explore the use of ASP to represent viewpoints, views and correspondences using its declarative logic and features, and we outline how this approach can be suitable to manage and maintain viewpoint synchronization in evolution scenarios.","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124856513","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
期刊
2008 12th Enterprise Distributed Object Computing Conference Workshops
全部 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