首页 > 最新文献

CLEI Electron. J.最新文献

英文 中文
Ontology and XML-based Specifications for Collaborative B2B Relationships 协作B2B关系的本体和基于xml的规范
Pub Date : 2018-08-21 DOI: 10.19153/cleiej.7.1.5
M. L. Caliusco, M. Galli, O. Chiotti
A collaborative B2B relationship implies jointly executing business processes. This relationship demands a complete access to available information and knowledge to support decision-making activities between trading partners. To support information interchange between enterprises in collaborative B2B e- commerce there are some XML-based standards technologies, like RosettaNet, ebXML and OAGIS. However, XML does not express semantics by itself. So, these standards only provide an infrastructure to support the information interchange. They are suitable to integrate information but not to support decision-making activities where a common understanding of the information is needed. In this paper we analyze the integration of these standards with ontology to describe the meaning of the information and knowledge interchanged between trading partners to jointly execute business processes. Furthermore, we define the main components of an ontology development environment to support the entire ontology lifecycle.
协作式B2B关系意味着共同执行业务流程。这种关系要求完全获得现有的信息和知识,以支持贸易伙伴之间的决策活动。为了支持协同B2B电子商务中企业间的信息交换,有一些基于xml的标准技术,如RosettaNet、ebXML和OAGIS。但是,XML本身并不表示语义。因此,这些标准仅提供支持信息交换的基础设施。它们适用于整合信息,但不适用于支持需要对信息有共同理解的决策活动。本文分析了这些标准与本体的集成,以描述贸易伙伴之间交换的信息和知识的含义,以共同执行业务流程。此外,我们定义了本体开发环境的主要组件,以支持整个本体生命周期。
{"title":"Ontology and XML-based Specifications for Collaborative B2B Relationships","authors":"M. L. Caliusco, M. Galli, O. Chiotti","doi":"10.19153/cleiej.7.1.5","DOIUrl":"https://doi.org/10.19153/cleiej.7.1.5","url":null,"abstract":"\u0000 \u0000 \u0000A collaborative B2B relationship implies jointly executing business processes. This relationship demands a complete access to available information and knowledge to support decision-making activities between trading partners. To support information interchange between enterprises in collaborative B2B e- commerce there are some XML-based standards technologies, like RosettaNet, ebXML and OAGIS. However, XML does not express semantics by itself. So, these standards only provide an infrastructure to support the information interchange. They are suitable to integrate information but not to support decision-making activities where a common understanding of the information is needed. In this paper we analyze the integration of these standards with ontology to describe the meaning of the information and knowledge interchanged between trading partners to jointly execute business processes. Furthermore, we define the main components of an ontology development environment to support the entire ontology lifecycle. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130909681","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}
引用次数: 8
A development platform and execution environment for mobile applications 移动应用程序的开发平台和执行环境
Pub Date : 2018-08-21 DOI: 10.19153/cleiej.7.1.4
G. Sandoval
Small computing devices are everywhere changing the way people communicate and interact, however applications for these devices are developed more or less with the same tools used for conventional computer applications. Developers of handheld computer applications can find few options for development. In this paper we present MADEE a development and execution environment for mobile information systems running on handheld computers. This environment allows the implementation of mobile information systems faster and easier than using conventional developing tools, including support for conventional computer applications.
小型计算设备无处不在地改变着人们交流和交互的方式,然而,为这些设备开发的应用程序或多或少都是使用与传统计算机应用程序相同的工具开发的。手持计算机应用程序的开发人员可以找到很少的开发选择。本文提出了一个在手持机上运行的移动信息系统的开发和执行环境。这种环境使得移动信息系统的实现比使用传统的开发工具更快、更容易,包括对传统计算机应用程序的支持。
{"title":"A development platform and execution environment for mobile applications","authors":"G. Sandoval","doi":"10.19153/cleiej.7.1.4","DOIUrl":"https://doi.org/10.19153/cleiej.7.1.4","url":null,"abstract":"\u0000 \u0000 \u0000Small computing devices are everywhere changing the way people communicate and interact, however applications for these devices are developed more or less with the same tools used for conventional computer applications. Developers of handheld computer applications can find few options for development. In this paper we present MADEE a development and execution environment for mobile information systems running on handheld computers. This environment allows the implementation of mobile information systems faster and easier than using conventional developing tools, including support for conventional computer applications. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132159765","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}
引用次数: 9
Conceptual Microarchitectures for Hydrologic Simulation Models 水文模拟模型的概念微架构
Pub Date : 2018-08-21 DOI: 10.19153/cleiej.7.1.6
A. Urciuolo, R. Iturraspe, A. Parsón
Mathmatical Hydrologic models simulate real world environmental processes through different strategies. Each process is calculated by means of methods that utilize physical parameters for representing the real world system. some parameters are obtained from tables, some of them are optimized and others may be calculated using environmental variables. Although the domain software provides a wide range of models, there is not a conceptual architecture that allows the maintenance of the vast knowledge about simulation strategies and parameters collected in environmental management organizations, facilitating the flexible simulation scenarios configuration. The present work shows how to face this problem by means of conceptual analysis models organized in the scope of a general architecture.It's also possible for the given architecture, to analyze and define microarchitectures for software components releated to particular problems.In the present work, conceptual microarchitectures are definesd to construct a knowlegde level for hydrologic models systems starting from a general conceptual Environmental Information Systems architecture. To get the required flexibility for the conceptual and design models, high-level components are identified and different kinds of patterns are applied. 
数学水文模型通过不同的策略模拟现实世界的环境过程。每个过程都是通过利用物理参数来表示真实世界系统的方法来计算的。有些参数从表中获得,有些参数经过优化,其他参数可以使用环境变量计算。虽然领域软件提供了广泛的模型,但没有一个概念架构允许维护在环境管理组织中收集的关于仿真策略和参数的大量知识,从而促进灵活的仿真场景配置。目前的工作展示了如何通过在一般体系结构范围内组织的概念分析模型来面对这个问题。对于给定的体系结构,分析和定义与特定问题相关的软件组件的微体系结构也是可能的。在目前的工作中,定义了概念微架构,以从一般概念环境信息系统架构开始构建水文模型系统的知识水平。为了获得概念模型和设计模型所需的灵活性,需要识别高级组件,并应用不同类型的模式。
{"title":"Conceptual Microarchitectures for Hydrologic Simulation Models","authors":"A. Urciuolo, R. Iturraspe, A. Parsón","doi":"10.19153/cleiej.7.1.6","DOIUrl":"https://doi.org/10.19153/cleiej.7.1.6","url":null,"abstract":"\u0000 \u0000 \u0000Mathmatical Hydrologic models simulate real world environmental processes through different strategies. Each process is calculated by means of methods that utilize physical parameters for representing the real world system. some parameters are obtained from tables, some of them are optimized and others may be calculated using environmental variables. Although the domain software provides a wide range of models, there is not a conceptual architecture that allows the maintenance of the vast knowledge about simulation strategies and parameters collected in environmental management organizations, facilitating the flexible simulation scenarios configuration. The present work shows how to face this problem by means of conceptual analysis models organized in the scope of a general architecture.It's also possible for the given architecture, to analyze and define microarchitectures for software components releated to particular problems.In the present work, conceptual microarchitectures are definesd to construct a knowlegde level for hydrologic models systems starting from a general conceptual Environmental Information Systems architecture. To get the required flexibility for the conceptual and design models, high-level components are identified and different kinds of patterns are applied.  \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"403 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132540465","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
An ontology-based technique for the specification of domain and user models in multi-agent domain 基于本体的多智能体域和用户模型规范技术
Pub Date : 2018-08-16 DOI: 10.19153/cleiej.7.1.7
R. Girardi, C. Faria
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of reusable software artifacts. This work describes GRAMO, an ontology-based technique for the specification of domain and user models in Multi-Agent Domain Engineering. ONTODUM, an ontology-based tool supporting GRAMO is also introduced. ONTODUM represents the knowledge of GRAMO. Some case studies developed to evaluate GRAMO are also briefly described.
由于本体对概念的泛化和专门化以及它们提供的明确的术语的便利,因此本体被用于表示可重用的软件工件。本文描述了GRAMO,一种基于本体的技术,用于多智能体领域工程中领域和用户模型的规范。介绍了基于本体的支持GRAMO的ONTODUM工具。ONTODUM代表GRAMO的知识。还简要介绍了为评价GRAMO而进行的一些案例研究。
{"title":"An ontology-based technique for the specification of domain and user models in multi-agent domain","authors":"R. Girardi, C. Faria","doi":"10.19153/cleiej.7.1.7","DOIUrl":"https://doi.org/10.19153/cleiej.7.1.7","url":null,"abstract":"\u0000 \u0000 \u0000Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of reusable software artifacts. This work describes GRAMO, an ontology-based technique for the specification of domain and user models in Multi-Agent Domain Engineering. ONTODUM, an ontology-based tool supporting GRAMO is also introduced. ONTODUM represents the knowledge of GRAMO. Some case studies developed to evaluate GRAMO are also briefly described. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124707287","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
Pump Scheduling Optimization Using Asynchronous Parallel 基于异步并行的泵调度优化
Pub Date : 2018-08-16 DOI: 10.19153/cleiej.7.2.2
C. V. Lücken, B. Barán, Aldo Sotelo
Optimizing the pump-scheduling is an interesting proposal to achieve cost reductions in water distribution pumping stations. As systems grow, pump-scheduling becomes a very difficult task. In order to attack harder pump-scheduling problems, this work proposes the use of parallel asynchronous evolutionary algorithms as a tool to aid in solving an optimal pump-scheduling problem. In particular, this work considers a pump-scheduling problem having four objectives to be minimized: electric energy cost, maintenance cost, maximum power peak, and level variation in a reservoir. Parallel and sequential versions of different evolutionary algorithms for multi- objective optimization were implemented and their results compared using a set of experimental metrics. Analysis of metric results shows that our parallel asynchronous implementation of evolutionary algorithms is effective in searching for solutions among a wide range of alternative optimal pump schedules to choose from.
优化水泵调度是降低配水泵站成本的一个有趣的建议。随着系统的发展,泵调度成为一项非常困难的任务。为了解决更难的泵调度问题,本工作提出使用并行异步进化算法作为工具来帮助解决最优泵调度问题。特别地,本工作考虑了一个泵调度问题,该问题有四个目标要最小化:电能成本、维护成本、最大功率峰值和水库水位变化。采用并行和顺序两种不同的多目标优化进化算法,并使用一组实验指标对其结果进行了比较。对度量结果的分析表明,我们的进化算法的并行异步实现在广泛的备选最佳泵调度中搜索解决方案是有效的。
{"title":"Pump Scheduling Optimization Using Asynchronous Parallel","authors":"C. V. Lücken, B. Barán, Aldo Sotelo","doi":"10.19153/cleiej.7.2.2","DOIUrl":"https://doi.org/10.19153/cleiej.7.2.2","url":null,"abstract":"\u0000 \u0000 \u0000Optimizing the pump-scheduling is an interesting proposal to achieve cost reductions in water distribution pumping stations. As systems grow, pump-scheduling becomes a very difficult task. In order to attack harder pump-scheduling problems, this work proposes the use of parallel asynchronous evolutionary algorithms as a tool to aid in solving an optimal pump-scheduling problem. In particular, this work considers a pump-scheduling problem having four objectives to be minimized: electric energy cost, maintenance cost, maximum power peak, and level variation in a reservoir. Parallel and sequential versions of different evolutionary algorithms for multi- objective optimization were implemented and their results compared using a set of experimental metrics. Analysis of metric results shows that our parallel asynchronous implementation of evolutionary algorithms is effective in searching for solutions among a wide range of alternative optimal pump schedules to choose from. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128994656","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}
引用次数: 27
A Component-based Product Line for Workflow Management Systems 基于组件的工作流管理系统产品线
Pub Date : 2018-08-13 DOI: 10.19153/cleiej.7.2.5
I. Gimenes, F.R. Lazilha, E. Junior, L. Barroca
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions were made to represent variability across the process. The domain of workflow management systems has been shown to be appropriate to the application of the product line approach as there are a standard architecture and models established by a regulatory board, the Workflow Management Coalition. In addition, there is a demand for similar workflow management systems but with some different features. The product line architecture was evaluated with Rapide simulation tools. The evaluation was based on selected scenarios, thus, avoiding implementation issues. The strategy that has been used to populate the architecture and experiment with the product line is shown. In particular, the design of the workflow execution manager component is described.
本文提出了一个基于组件的工作流管理系统产品线。采用催化法进行生产线设计。扩展是为了表示整个过程的可变性。工作流管理系统领域已被证明适合产品线方法的应用,因为有一个由监管委员会——工作流管理联盟建立的标准体系结构和模型。此外,还需要类似但功能不同的工作流管理系统。使用Rapide仿真工具对产品线架构进行了评估。评估基于选定的场景,因此避免了实现问题。展示了用于填充体系结构和对产品线进行实验的策略。重点介绍了工作流执行管理器组件的设计。
{"title":"A Component-based Product Line for Workflow Management Systems","authors":"I. Gimenes, F.R. Lazilha, E. Junior, L. Barroca","doi":"10.19153/cleiej.7.2.5","DOIUrl":"https://doi.org/10.19153/cleiej.7.2.5","url":null,"abstract":"This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions were made to represent variability across the process. The domain of workflow management systems has been shown to be appropriate to the application of the product line approach as there are a standard architecture and models established by a regulatory board, the Workflow Management Coalition. In addition, there is a demand for similar workflow management systems but with some different features. The product line architecture was evaluated with Rapide simulation tools. The evaluation was based on selected scenarios, thus, avoiding implementation issues. The strategy that has been used to populate the architecture and experiment with the product line is shown. In particular, the design of the workflow execution manager component is described.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122031781","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
TM-Builder: An Ontology Builder based on XML Topic Maps TM-Builder:一个基于XML主题图的本体构建器
Pub Date : 2018-08-05 DOI: 10.19153/cleiej.7.2.4
G. Librelotto, J. Ramalho, P. Henriques
Everyday a huge number of new information resources are linked to the web. This way the web is growing very fast, making search tasks more and more difficult with worse results. To solve the problem several initiatives were undertaken and a new area of research and development emerged: the one called Semantic Web.When we refer to the semantic web we are thinking about a network of concepts. Each concept has a group of related resources and can be related to other concepts; we can then use this concept network to navigate among web resources or simply among information resources. From the undertaken initiatives one became an ISO standard: Topic Maps ISO 13250. The aim of this paper is to introduce a Topic Map (TM) Builder, that is a processor that extracts topics and relations from instances of a family of XML documents.A TM-Builder is strongly dependent on the resources structure. So, to extract a topic map for different collections of information resources (sets of documents with different structures) we have to implement several TM-Builders, one for each collection. This is not very easy! To overcome this inconvenient we have created an XML abstraction layer for TM-Builders that enables us to specify the topic map we want to build from a concrete family of resources, in order to generate automatically the intended extractor. To describe that process, i.e. the extraction of knowledge from XML documents to produce a TM, we present a language to specify topic maps for a class of XML documents, that we call XSTM (XML Specification for Topic Maps). We also discuss a XSL processor that automatically generates the Extractor from its formal specification written in XSTM, the XSTM-P.
每天都有大量的新信息资源被链接到网络上。这种方式使得网络发展非常迅速,使得搜索任务变得越来越困难,结果也越来越糟糕。为了解决这个问题,我们采取了一些措施,并出现了一个新的研究和开发领域:语义网。当我们提到语义网时,我们想到的是一个概念网络。每个概念都有一组相关资源,可以与其他概念相关;然后,我们可以使用这个概念网络在网络资源之间或简单地在信息资源之间导航。从承担的倡议中,一个成为ISO标准:主题地图ISO 13250。本文的目的是介绍一个Topic Map (TM) Builder,它是一个处理器,可以从一系列XML文档的实例中提取主题和关系。TM-Builder强烈依赖于资源结构。因此,要为不同的信息资源集合(具有不同结构的文档集)提取主题图,我们必须实现几个tm - builder,每个集合一个。这并不容易!为了克服这个不便,我们为TM-Builders创建了一个XML抽象层,它使我们能够指定我们想要从一个具体的资源家族中构建的主题图,以便自动生成预期的提取器。为了描述这个过程,即从XML文档中提取知识以生成TM,我们提供了一种语言来为一类XML文档指定主题图,我们称之为XSTM(主题图的XML规范)。我们还讨论了一个XSL处理器,它从用XSTM编写的正式规范(XSTM- p)自动生成Extractor。
{"title":"TM-Builder: An Ontology Builder based on XML Topic Maps","authors":"G. Librelotto, J. Ramalho, P. Henriques","doi":"10.19153/cleiej.7.2.4","DOIUrl":"https://doi.org/10.19153/cleiej.7.2.4","url":null,"abstract":"\u0000 \u0000 \u0000Everyday a huge number of new information resources are linked to the web. This way the web is growing very fast, making search tasks more and more difficult with worse results. To solve the problem several initiatives were undertaken and a new area of research and development emerged: the one called Semantic Web.When we refer to the semantic web we are thinking about a network of concepts. Each concept has a group of related resources and can be related to other concepts; we can then use this concept network to navigate among web resources or simply among information resources. From the undertaken initiatives one became an ISO standard: Topic Maps ISO 13250. \u0000The aim of this paper is to introduce a Topic Map (TM) Builder, that is a processor that extracts topics and relations from instances of a family of XML documents.A TM-Builder is strongly dependent on the resources structure. So, to extract a topic map for different collections of information resources (sets of documents with different structures) we have to implement several TM-Builders, one for each collection. This is not very easy! To overcome this inconvenient we have created an XML abstraction layer for TM-Builders that enables us to specify the topic map we want to build from a concrete family of resources, in order to generate automatically the intended extractor. \u0000To describe that process, i.e. the extraction of knowledge from XML documents to produce a TM, we present a language to specify topic maps for a class of XML documents, that we call XSTM (XML Specification for Topic Maps). We also discuss a XSL processor that automatically generates the Extractor from its formal specification written in XSTM, the XSTM-P. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121720621","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}
引用次数: 12
Facilitating the Verification of Diffusing Computations and Their Applications 促进扩散计算的验证及其应用
Pub Date : 2018-08-04 DOI: 10.19153/cleiej.8.1.2
T. Vos, S. Swierstra
We study a class of distributed algorithms, generally known by the name of diffusing computa- tions, that play an important role in all kinds distributed and/or database applications to perform tasks like termination detection, leader election, or propagation of information with feedback. We construct a highly parameterized abstract algorithm and shown that many existing algorithms and their applications can be obtained from this abstract algorithm by instantiating the parameters appropriately and/or refining some of its actions. Subsequently, we show that this use of param- eterization and re-usability of notation and proof leads to a reduction of the effort and cost of developing and verifying distributed diffusing computations. More specific, we show that proving the correctness of any application now boils down to verifying an application-specific safety prop- erty and reusing the termination and safety proofs of the underlying abstract algorithm.
我们研究了一类分布式算法,通常被称为扩散计算,它在各种分布式和/或数据库应用程序中发挥重要作用,以执行诸如终止检测,领导者选举或带有反馈的信息传播等任务。我们构造了一个高度参数化的抽象算法,并证明了许多现有的算法及其应用可以通过适当地实例化参数和/或改进它的一些动作来获得。随后,我们证明了这种参数化和符号和证明的可重用性的使用可以减少开发和验证分布式扩散计算的工作量和成本。更具体地说,我们表明证明任何应用程序的正确性现在归结为验证特定于应用程序的安全属性和重用底层抽象算法的终止和安全证明。
{"title":"Facilitating the Verification of Diffusing Computations and Their Applications","authors":"T. Vos, S. Swierstra","doi":"10.19153/cleiej.8.1.2","DOIUrl":"https://doi.org/10.19153/cleiej.8.1.2","url":null,"abstract":"\u0000 \u0000 \u0000We study a class of distributed algorithms, generally known by the name of diffusing computa- tions, that play an important role in all kinds distributed and/or database applications to perform tasks like termination detection, leader election, or propagation of information with feedback. We construct a highly parameterized abstract algorithm and shown that many existing algorithms and their applications can be obtained from this abstract algorithm by instantiating the parameters appropriately and/or refining some of its actions. Subsequently, we show that this use of param- eterization and re-usability of notation and proof leads to a reduction of the effort and cost of developing and verifying distributed diffusing computations. More specific, we show that proving the correctness of any application now boils down to verifying an application-specific safety prop- erty and reusing the termination and safety proofs of the underlying abstract algorithm. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127913439","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
ISAM: a Software Architecture for Pervasive Computing ISAM:普适计算的软件架构
Pub Date : 2018-08-01 DOI: 10.19153/cleiej.8.1.3
A. Yamin, J. Barbosa, Iara Augustin, C. Geyer
The Mobile Computing is a vision of future that promises to modify the way people work and interact today. It has emerged as a new field, distinct from conventional distributed computing by its focus on mobility and its consequence. The physical and logical mobility allows the creation of applications with news requirements: built-in mobility, adaptability and flexibility. So, software production for this global mobility is complex. Challenges include designing applications which service levels and available resources are unpredictable, and the behavior is variable in time and space. To provide a system architecture that simplifies the task of implementing the mobile applications with adaptive behavior is the objective of the ongoing ISAM Project. In order to achieve its goal, ISAM uses as strategies: (a) integrated environment that provides a programming paradigm and its execution environment; (b) uniform treatment of adaptation through multilevel collaborative model, in which both the system and the application contribute for that. The scheduling process – the core of ISAM architecture, manages this collaboration. Introducing HoloLanguage abstractions that express adaptability makes the control of adaptation by part of application. So, adaptation is not fully transparent to applications. In this paper, we present the main decisions used for designing the ISAM Architecture. We also introduce a first taxonomy for mobile applications with adaptive behavior.
移动计算是对未来的展望,它有望改变人们今天工作和互动的方式。它已经成为一个新的领域,有别于传统的分布式计算,因为它关注移动性及其后果。物理和逻辑的移动性允许创建具有新需求的应用程序:内置移动性、适应性和灵活性。因此,针对这种全球流动性的软件生产是复杂的。挑战包括设计服务水平和可用资源不可预测、行为随时间和空间变化的应用程序。提供一个系统架构,简化实现具有自适应行为的移动应用程序的任务,是正在进行的ISAM项目的目标。为了实现其目标,ISAM采用以下策略:(a)提供编程范例及其执行环境的综合环境;(b)通过多层协作模式统一处理适应问题,系统和应用都为此作出贡献。调度过程——ISAM架构的核心——管理这种协作。引入表达适应性的全息语言抽象,实现了应用程序部分对适应性的控制。因此,适应性对应用程序来说并不是完全透明的。在本文中,我们提出了用于设计ISAM体系结构的主要决策。我们还介绍了具有自适应行为的移动应用程序的第一种分类。
{"title":"ISAM: a Software Architecture for Pervasive Computing","authors":"A. Yamin, J. Barbosa, Iara Augustin, C. Geyer","doi":"10.19153/cleiej.8.1.3","DOIUrl":"https://doi.org/10.19153/cleiej.8.1.3","url":null,"abstract":"\u0000 \u0000 \u0000The Mobile Computing is a vision of future that promises to modify the way people work and interact today. It has emerged as a new field, distinct from conventional distributed computing by its focus on mobility and its consequence. The physical and logical mobility allows the creation of applications with news requirements: built-in mobility, adaptability and flexibility. So, software production for this global mobility is complex. Challenges include designing applications which service levels and available resources are unpredictable, and the behavior is variable in time and space. To provide a system architecture that simplifies the task of implementing the mobile applications with adaptive behavior is the objective of the ongoing ISAM Project. In order to achieve its goal, ISAM uses as strategies: (a) integrated environment that provides a programming paradigm and its execution environment; (b) uniform treatment of adaptation through multilevel collaborative model, in which both the system and the application contribute for that. The scheduling process – the core of ISAM architecture, manages this collaboration. Introducing HoloLanguage abstractions that express adaptability makes the control of adaptation by part of application. So, adaptation is not fully transparent to applications. In this paper, we present the main decisions used for designing the ISAM Architecture. We also introduce a first taxonomy for mobile applications with adaptive behavior. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115041166","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}
引用次数: 4
Maximum Diversity Problem. A Multi-Objective Approach 最大分集问题。多目标方法
Pub Date : 2018-08-01 DOI: 10.19153/CLEIEJ.21.2.2
Katherine Dahiana Vera Escobar, Fabio López-Pires, B. Barán, Fernando Sandoya
The Maximum Diversity (MD) problem is the process of selecting a subset of elements where the diversity among selected elements is maximized. Several diversity measures were already studied in the literature, optimizing the problem considered in a pure mono-objective approach. This work presents for the first time multi-objective approaches for the MD problem, considering the simultaneous optimization of the following five diversity measures: (i) Max-Sum, (ii) Max-Min, (iii) Max-MinSum, (iv) Min-Diff and (v) Min-P-center. Two different optimization models are proposed: (i) Multi-Objective Maximum Diversity (MMD) model, where the number of elements to be selected is defined a-priori, and (ii) Multi-Objective Maximum Average Diversity (MMAD) model, where the number of elements to be selected is also a decision variable. To solve the formulated problems, a Multi-Objective Evolutionary Algorithm (MOEA) is presented. Experimental results demonstrate that the proposed MOEA found good quality solutions, i.e. between 98.85% and 100% of the optimal Pareto front when considering the hypervolume for comparison purposes.
最大多样性(MD)问题是选择一个元素子集的过程,其中所选元素之间的多样性最大化。文献中已经研究了几种多样性措施,优化了纯单目标方法中考虑的问题。这项工作首次提出了MD问题的多目标方法,考虑了以下五个多样性度量的同时优化:(i) Max-Sum, (ii) Max-Min, (iii) Max-MinSum, (iv) Min-Diff和(v) Min-P-center。提出了两种不同的优化模型:(i)多目标最大多样性(MMD)模型,其中需要选择的元素数量是先验定义的;(ii)多目标最大平均多样性(MMAD)模型,其中需要选择的元素数量也是一个决策变量。为了解决上述问题,提出了一种多目标进化算法(MOEA)。实验结果表明,当考虑hypervolume进行比较时,所提出的MOEA找到了良好的质量解,即在最优Pareto front的98.85%到100%之间。
{"title":"Maximum Diversity Problem. A Multi-Objective Approach","authors":"Katherine Dahiana Vera Escobar, Fabio López-Pires, B. Barán, Fernando Sandoya","doi":"10.19153/CLEIEJ.21.2.2","DOIUrl":"https://doi.org/10.19153/CLEIEJ.21.2.2","url":null,"abstract":"The Maximum Diversity (MD) problem is the process of selecting a subset of elements where the diversity among selected elements is maximized. Several diversity measures were already studied in the literature, optimizing the problem considered in a pure mono-objective approach. This work presents for the first time multi-objective approaches for the MD problem, considering the simultaneous optimization of the following five diversity measures: (i) Max-Sum, (ii) Max-Min, (iii) Max-MinSum, (iv) Min-Diff and (v) Min-P-center. Two different optimization models are proposed: (i) Multi-Objective Maximum Diversity (MMD) model, where the number of elements to be selected is defined a-priori, and (ii) Multi-Objective Maximum Average Diversity (MMAD) model, where the number of elements to be selected is also a decision variable. To solve the formulated problems, a Multi-Objective Evolutionary Algorithm (MOEA) is presented. Experimental results demonstrate that the proposed MOEA found good quality solutions, i.e. between 98.85% and 100% of the optimal Pareto front when considering the hypervolume for comparison purposes.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125831527","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
期刊
CLEI Electron. J.
全部 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