首页 > 最新文献

CLEI Electron. J.最新文献

英文 中文
Model-based testing areas, tools and challenges: A tertiary study 基于模型的测试领域、工具和挑战:第三部分的研究
Pub Date : 2019-04-01 DOI: 10.19153/CLEIEJ.22.1.3
Leonardo Villalobos-Arias, Christian Quesada-López, Alexandra Martínez, Marcelo Jenkins
Context: Model-based testing is one of the most studied approaches by secondary studies in the area of software testing. Aggregating knowledge from secondary studies on model- based testing can be useful for both academia and industry. Objective: The goal of this study is to characterize secondary studies in model-based testing, in terms of the areas, tools and challenges they have investigated. Method: We conducted a tertiary study following the guidelines for systematic mapping studies. Our mapping included 22 secondary studies, of which 12 were literature surveys and 10 systematic reviews, over the period 1996–2016. Results: A hierarchy of model-based testing areas and subareas was built based on existing taxonomies as well as data that emerged from the secondary studies themselves. This hierarchy was then used to classify studies, tools, challenges and their tendencies in a unified classification scheme. We found that the two most studied areas are UML models and transition-based notations, both being modeling paradigms. Regarding tendencies of areas in time, we found two areas with constant activity through time, namely, test objectives and model specification. With respect to tools, we only found five studies that compared and classified model-based testing tools. These tools have been classified into common dimensions that mainly refer to the model type and phases of the model-based testing process they support. We reclassified all the tools into the hierarchy of model-based testing areas we proposed, and found that most tools were reported within the modeling paradigm area. With regard to tendencies of tools, we found that tools for testing the functional behavior of software have prevailed over time. Another finding was the shift from tools that support the generation of abstract tests to those that support the generation of executable tests. For analyzing challenges, we used six categories that emerged from the data (based on a grounded analysis): efficacy, availability, complexity, professional skills, investment, cost & effort, and evaluation & empirical evidence. We found that most challenges were related to availability. Besides, we too classified challenges according to our hierarchy of model-based testing areas, and found that most challenges fell in the model specification area. With respect to tendencies in challenges, we found they have moved from complexity of the approaches to the lack of approaches for specific software domains. Conclusions: Only a few systematic reviews on model-based testing could be found, therefore some areas still lack secondary studies, particularly, test execution aspects, language types, model dynamics, as well as some modeling paradigms and generation methods. We thus encourage the community to perform further systematic reviews and mapping studies, following known protocols and reporting procedures, in order to increase the quality and quantity of empirical studies in model-based testing.
背景:基于模型的测试是软件测试领域中二次研究最多的方法之一。从基于模型的测试的二次研究中收集知识对学术界和工业界都很有用。目的:本研究的目的是描述基于模型的测试的二次研究,根据他们所调查的领域、工具和挑战。方法:我们按照系统制图研究的指导方针进行了第三次研究。我们的图谱包括1996年至2016年期间的22项次要研究,其中12项是文献调查,10项是系统综述。结果:基于现有的分类以及从二级研究本身产生的数据,建立了基于模型的测试区域和子区域的层次结构。然后使用该层次结构将研究、工具、挑战及其趋势分类为统一的分类方案。我们发现研究最多的两个领域是UML模型和基于转换的符号,两者都是建模范例。关于区域在时间上的趋势,我们发现两个区域随着时间的推移而不断活动,即测试目标和模型规范。关于工具,我们只发现了五个比较和分类基于模型的测试工具的研究。这些工具被划分为公共维度,这些维度主要涉及它们所支持的基于模型的测试过程的模型类型和阶段。我们将所有工具重新分类到我们提出的基于模型的测试区域的层次结构中,并且发现大多数工具都是在建模范例区域中报告的。关于工具的趋势,我们发现用于测试软件功能行为的工具已经流行了很长时间。另一个发现是从支持生成抽象测试的工具到支持生成可执行测试的工具的转变。为了分析挑战,我们使用了从数据中得出的六个类别(基于基础分析):有效性、可用性、复杂性、专业技能、投资、成本和努力,以及评估和经验证据。我们发现,大多数挑战都与可用性有关。此外,我们也根据基于模型的测试区域的层次结构对挑战进行了分类,发现大多数挑战落在模型规范区域。关于挑战的趋势,我们发现它们已经从方法的复杂性转移到缺乏针对特定软件领域的方法。结论:在基于模型的测试方面,只有很少的系统综述,因此一些领域仍然缺乏二次研究,特别是在测试执行方面,语言类型,模型动力学,以及一些建模范例和生成方法。因此,我们鼓励社区按照已知的协议和报告程序进行进一步的系统审查和绘图研究,以提高基于模型的测试的经验研究的质量和数量。
{"title":"Model-based testing areas, tools and challenges: A tertiary study","authors":"Leonardo Villalobos-Arias, Christian Quesada-López, Alexandra Martínez, Marcelo Jenkins","doi":"10.19153/CLEIEJ.22.1.3","DOIUrl":"https://doi.org/10.19153/CLEIEJ.22.1.3","url":null,"abstract":"\u0000 \u0000 \u0000Context: Model-based testing is one of the most studied approaches by secondary studies in the area of software testing. Aggregating knowledge from secondary studies on model- based testing can be useful for both academia and industry. Objective: The goal of this study is to characterize secondary studies in model-based testing, in terms of the areas, tools and challenges they have investigated. Method: We conducted a tertiary study following the guidelines for systematic mapping studies. Our mapping included 22 secondary studies, of which 12 were literature surveys and 10 systematic reviews, over the period 1996–2016. Results: A hierarchy of model-based testing areas and subareas was built based on existing taxonomies as well as data that emerged from the secondary studies themselves. This hierarchy was then used to classify studies, tools, challenges and their tendencies in a unified classification scheme. We found that the two most studied areas are UML models and transition-based notations, both being modeling paradigms. Regarding tendencies of areas in time, we found two areas with constant activity through time, namely, test objectives and model specification. With respect to tools, we only found five studies that compared and classified model-based testing tools. These tools have been classified into common dimensions that mainly refer to the model type and phases of the model-based testing process they support. We reclassified all the tools into the hierarchy of model-based testing areas we proposed, and found that most tools were reported within the modeling paradigm area. With regard to tendencies of tools, we found that tools for testing the functional behavior of software have prevailed over time. Another finding was the shift from tools that support the generation of abstract tests to those that support the generation of executable tests. For analyzing challenges, we used six categories that emerged from the data (based on a grounded analysis): efficacy, availability, complexity, professional skills, investment, cost & effort, and evaluation & empirical evidence. We found that most challenges were related to availability. Besides, we too classified challenges according to our hierarchy of model-based testing areas, and found that most challenges fell in the model specification area. With respect to tendencies in challenges, we found they have moved from complexity of the approaches to the lack of approaches for specific software domains. Conclusions: Only a few systematic reviews on model-based testing could be found, therefore some areas still lack secondary studies, particularly, test execution aspects, language types, model dynamics, as well as some modeling paradigms and generation methods. We thus encourage the community to perform further systematic reviews and mapping studies, following known protocols and reporting procedures, in order to increase the quality and quantity of empirical studies in model-based testing. \u0000 \u0000 ","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125245763","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 Systematic Mapping Study on Privacy by Design in Software Engineering 软件工程中隐私设计的系统映射研究
Pub Date : 2019-04-01 DOI: 10.19153/CLEIEJ.22.1.4
Miguel Morales Trujillo, Gabriel Alberto García-Mireles, Erick Orlando Matla-Cruz, M. Piattini
Protecting personal data in current software systems is a complex issue that requires legal regulations and constraints to manage personal data as well as a methodological support to develop software systems that would safeguard data privacy of their respective users. Privacy by Design (PbD) approach has been proposed to address this issue and has been applied to systems development in a variety of application domains. The aim of this work is to determine the presence of PbD and its extent in software development efforts. A systematic mapping study was conducted in order to identify relevant literature that collects PbD principles and goals in software development as well as methods and/or practices that support privacy aware software development. 53 selected papers address PbD mostly from a theoretical perspective with proposals validation based primarily on experiences or examples. The findings suggest that there is a need to develop privacy-aware methods to be integrated at all stages of software development life cycle and validate them in industrial settings.
在现行的软件系统中保障个人资料是一个复杂的问题,既需要法律规例和约束来管理个人资料,又需要方法上的支持来开发能保障用户资料私隐的软件系统。设计隐私(PbD)方法已被提出用于解决这一问题,并已应用于各种应用领域的系统开发。这项工作的目的是确定PbD的存在及其在软件开发工作中的范围。为了识别相关文献,进行了系统的映射研究,这些文献收集了软件开发中的PbD原则和目标,以及支持隐私意识软件开发的方法和/或实践。53篇选定的论文主要从理论角度讨论PbD,主要基于经验或实例验证建议。研究结果表明,有必要开发隐私意识方法,将其集成到软件开发生命周期的所有阶段,并在工业环境中对其进行验证。
{"title":"A Systematic Mapping Study on Privacy by Design in Software Engineering","authors":"Miguel Morales Trujillo, Gabriel Alberto García-Mireles, Erick Orlando Matla-Cruz, M. Piattini","doi":"10.19153/CLEIEJ.22.1.4","DOIUrl":"https://doi.org/10.19153/CLEIEJ.22.1.4","url":null,"abstract":"Protecting personal data in current software systems is a complex issue that requires legal regulations and constraints to manage personal data as well as a methodological support to develop software systems that would safeguard data privacy of their respective users. Privacy by Design (PbD) approach has been proposed to address this issue and has been applied to systems development in a variety of application domains. The aim of this work is to determine the presence of PbD and its extent in software development efforts. A systematic mapping study was conducted in order to identify relevant literature that collects PbD principles and goals in software development as well as methods and/or practices that support privacy aware software development. 53 selected papers address PbD mostly from a theoretical perspective with proposals validation based primarily on experiences or examples. The findings suggest that there is a need to develop privacy-aware methods to be integrated at all stages of software development life cycle and validate them in industrial settings.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"30 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130534143","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
Do consumers talk about the software in my product? An Exploratory Study of IoT Products on Amazon 消费者会谈论我产品中的软件吗?亚马逊物联网产品探索性研究
Pub Date : 2019-04-01 DOI: 10.19153/CLEIEJ.22.1.1
Kamonphop Srisopha, B. Boehm, Pooyan Behnamghader
Consumer product reviews are an invaluable source of data because they contain a wide range of information that could help requirement engineers to meet user needs. Recent studies have shown that tweets about software applications and reviews on App Stores contain useful information, which enable a more responsive software requirements elicitation. However, all of these studies' subjects are merely software applications. Information on system software, such as embedded software, operating systems, and firmware, are overlooked, unless reviews of a product using them are investigated. Challenges in investigating these reviews could come from the fact that there is a huge volume of data available, as well as the fact that reviews of such products are diverse in nature, meaning that they may contain information mostly on hardware components or broadly on the product as a whole. Motivated by these observations, we conduct an exploratory study using a dataset of 7198 review sentences from 6 Internet of Things (IoT) products. Our qualitative analysis demonstrates that a sufficient quantity of software related information exists in these reviews. In addition, we investigate the performance of two supervised machine learning techniques (Support Vector Machines and Convolutional Neural Networks) for classification of information contained in the reviews. Our results suggest that, with a certain setup, these two techniques can be used to classify the information automatically with high precision and recall.
消费者产品评论是一个无价的数据来源,因为它们包含了广泛的信息,可以帮助需求工程师满足用户需求。最近的研究表明,关于软件应用程序的推文和App store上的评论包含有用的信息,这使得软件需求的反应更加迅速。然而,所有这些研究的对象都仅仅是软件应用程序。关于系统软件的信息,例如嵌入式软件、操作系统和固件,被忽略了,除非对使用它们的产品进行审查。调查这些评论的挑战可能来自这样一个事实,即存在大量可用的数据,以及这些产品的评论本质上是多种多样的,这意味着它们可能包含主要关于硬件组件的信息,也可能包含关于整个产品的广泛信息。基于这些观察结果,我们使用来自6种物联网(IoT)产品的7198个评论句子的数据集进行了一项探索性研究。我们的定性分析表明,在这些评论中存在足够数量的软件相关信息。此外,我们研究了两种监督机器学习技术(支持向量机和卷积神经网络)对评论中包含的信息进行分类的性能。我们的研究结果表明,在一定的设置下,这两种技术可以在较高的准确率和召回率下自动分类信息。
{"title":"Do consumers talk about the software in my product? An Exploratory Study of IoT Products on Amazon","authors":"Kamonphop Srisopha, B. Boehm, Pooyan Behnamghader","doi":"10.19153/CLEIEJ.22.1.1","DOIUrl":"https://doi.org/10.19153/CLEIEJ.22.1.1","url":null,"abstract":"Consumer product reviews are an invaluable source of data because they contain a wide range of information that could help requirement engineers to meet user needs. Recent studies have shown that tweets about software applications and reviews on App Stores contain useful information, which enable a more responsive software requirements elicitation. However, all of these studies' subjects are merely software applications. Information on system software, such as embedded software, operating systems, and firmware, are overlooked, unless reviews of a product using them are investigated. Challenges in investigating these reviews could come from the fact that there is a huge volume of data available, as well as the fact that reviews of such products are diverse in nature, meaning that they may contain information mostly on hardware components or broadly on the product as a whole. Motivated by these observations, we conduct an exploratory study using a dataset of 7198 review sentences from 6 Internet of Things (IoT) products. Our qualitative analysis demonstrates that a sufficient quantity of software related information exists in these reviews. In addition, we investigate the performance of two supervised machine learning techniques (Support Vector Machines and Convolutional Neural Networks) for classification of information contained in the reviews. Our results suggest that, with a certain setup, these two techniques can be used to classify the information automatically with high precision and recall.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133465630","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
The "Code Yourself!" and "¡A Programar!" programming MOOC for teenagers: Reflecting on one and a half years of experience 面向青少年的“自己编程”和“Programar”编程MOOC:一年半经验的反思
Pub Date : 2018-10-05 DOI: 10.19153/cleiej.21.2.9
Inés Friss de Kereki, J. Paulos, A. Manataki
Critical thinking and problem solving are fundamental skills to function successfully in today’s world. When programming, these skills are promoted, developed and deployed. In this context, Universidad ORT Uruguay and The University of Edinburgh co-created in 2015 a MOOC (Massive Open Online Course) that teaches young teenagers how to program. The course was offered simultaneously in two versions: in Spanish, called "¡A Programar!" and in English, called "Code Yourself!", which are available on the Coursera platform. Since its launch in March 2015, more than 161,000 people from 197 countries have registered. Initially it was offered in a "fixed session"; while currently it is offered in an "auto-cohort" mode. In both cases, student surveys indicate that the course has met or exceeded expectations (values above 93%). In this paper, we detail the characteristics of the MOOC, and we analyze and compare the results for the two delivery modes.
批判性思维和解决问题的能力是在当今世界成功运作的基本技能。在编程时,这些技能得到提升、开发和部署。在这种背景下,乌拉圭ORT大学和爱丁堡大学在2015年共同创建了一个大规模开放在线课程(MOOC),教青少年如何编程。该课程同时提供两个版本:西班牙语版本,名为“A Programar!”;英语版本,名为“Code Yourself!”,可在Coursera平台上获得。自2015年3月推出以来,已有来自197个国家的16.1万多人注册。最初是在“固定会议”中提供;而目前它是以“自动队列”模式提供的。在这两种情况下,学生调查表明课程达到或超过预期(值超过93%)。本文详细介绍了MOOC的特点,并对两种交付模式的效果进行了分析和比较。
{"title":"The \"Code Yourself!\" and \"¡A Programar!\" programming MOOC for teenagers: Reflecting on one and a half years of experience","authors":"Inés Friss de Kereki, J. Paulos, A. Manataki","doi":"10.19153/cleiej.21.2.9","DOIUrl":"https://doi.org/10.19153/cleiej.21.2.9","url":null,"abstract":"Critical thinking and problem solving are fundamental skills to function successfully in today’s world. When programming, these skills are promoted, developed and deployed. In this context, Universidad ORT Uruguay and The University of Edinburgh co-created in 2015 a MOOC (Massive Open Online Course) that teaches young teenagers how to program. The course was offered simultaneously in two versions: in Spanish, called \"¡A Programar!\" and in English, called \"Code Yourself!\", which are available on the Coursera platform. Since its launch in March 2015, more than 161,000 people from 197 countries have registered. Initially it was offered in a \"fixed session\"; while currently it is offered in an \"auto-cohort\" mode. In both cases, student surveys indicate that the course has met or exceeded expectations (values above 93%). In this paper, we detail the characteristics of the MOOC, and we analyze and compare the results for the two delivery modes.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"269 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132672518","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
Preface to the August 2018 Issue including selected works from CLEI 2017 plus one regular paper 2018年8月号的前言,包括CLEI 2017的精选作品和一篇常规论文
Pub Date : 2018-10-01 DOI: 10.19153/CLEIEJ.21.2.0
Rodrigo Santos
In this special issue a selection of the best papers presented during the 42thLatin American Conference in Informatics (CLEI 2017) is presented in extendedversions. After a very tough selection process for the Conference, a set of 10paper obtained the best review marks. The authors were invited to submitextended versions that were again blind-reviewed, and finally eight wereaccepted for publication.  A ninth regular paper completes the issue.
在本期特刊中,精选了第42届拉丁美洲信息学会议(CLEI 2017)期间发表的最佳论文,并以扩展版本呈现。经过非常艰苦的评选过程,一组10篇论文获得了最佳评审分数。作者被邀请提交扩展版本,再次进行盲审,最后8位作者被接受发表。第九份常规报纸完成了这个问题。
{"title":"Preface to the August 2018 Issue including selected works from CLEI 2017 plus one regular paper","authors":"Rodrigo Santos","doi":"10.19153/CLEIEJ.21.2.0","DOIUrl":"https://doi.org/10.19153/CLEIEJ.21.2.0","url":null,"abstract":"In this special issue a selection of the best papers presented during the 42thLatin American Conference in Informatics (CLEI 2017) is presented in extendedversions. After a very tough selection process for the Conference, a set of 10paper obtained the best review marks. The authors were invited to submitextended versions that were again blind-reviewed, and finally eight wereaccepted for publication.  A ninth regular paper completes the issue.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126120144","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 Practical q -Gram Index for Text Retrieval Allowing Errors 允许错误的文本检索实用q -Gram索引
Pub Date : 2018-09-25 DOI: 10.19153/cleiej.1.2.3
G. Navarro, Ricardo Baeza-Yates
We propose an indexing technique for approximate text searching, which is practical and powerful, and especially optimized for natural language text. Unlike other indices of this kind, it is able to retrieve any string that approximately matches the search pattern, not only words. Every text substring of a fixed length q is stored in the index, together with pointers to all the text positions where it appears. The search pattern is partitioned into pieces which are searched in the index, and all their occurrences in the text are verified for a complete match. To reduce space requirements, pointers to blocks instead of exact positions can be used, which increases querying costs. We design an algorithm to optimize the pattern partition into pieces so that the total number of verifications is minimized. This is especially well suited for natural language texts, and allows to know in advance the expected cost of the search and the expected relevance of the query to the user. We show experimentally the building time, space requirements and querying time of our index, finding that it is a practical alternative for text retrieval. The retrieval times are reduced from 10% to 60% of the best on-line algorithm.
本文提出了一种实用而强大的近似文本检索索引技术,并对自然语言文本进行了优化。与其他此类索引不同,它能够检索与搜索模式近似匹配的任何字符串,而不仅仅是单词。每个固定长度为q的文本子字符串都存储在索引中,以及指向它出现的所有文本位置的指针。搜索模式被划分为在索引中搜索的部分,并验证它们在文本中的所有出现是否完全匹配。为了减少空间需求,可以使用指向块的指针而不是精确位置,这增加了查询成本。我们设计了一种算法来优化模式划分,从而使验证的总次数最小化。这特别适合于自然语言文本,并允许提前知道搜索的预期成本和查询与用户的预期相关性。实验证明了索引的建立时间、空间要求和查询时间,是一种实用的文本检索方法。检索时间从最佳在线算法的10%减少到60%。
{"title":"A Practical q -Gram Index for Text Retrieval Allowing Errors","authors":"G. Navarro, Ricardo Baeza-Yates","doi":"10.19153/cleiej.1.2.3","DOIUrl":"https://doi.org/10.19153/cleiej.1.2.3","url":null,"abstract":"We propose an indexing technique for approximate text searching, which is practical and powerful, and especially optimized for natural language text. Unlike other indices of this kind, it is able to retrieve any string that approximately matches the search pattern, not only words. Every text substring of a fixed length q is stored in the index, together with pointers to all the text positions where it appears. The search pattern is partitioned into pieces which are searched in the index, and all their occurrences in the text are verified for a complete match. To reduce space requirements, pointers to blocks instead of exact positions can be used, which increases querying costs. We design an algorithm to optimize the pattern partition into pieces so that the total number of verifications is minimized. This is especially well suited for natural language texts, and allows to know in advance the expected cost of the search and the expected relevance of the query to the user. We show experimentally the building time, space requirements and querying time of our index, finding that it is a practical alternative for text retrieval. The retrieval times are reduced from 10% to 60% of the best on-line algorithm.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"99 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130996723","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}
引用次数: 85
Distributed Interoperable Virtual Environments 分布式可互操作的虚拟环境
Pub Date : 2018-09-24 DOI: 10.19153/cleiej.2.2.3
F. V. Deriggi, M. Kubo, A. Sementille, Simone Santos Casolli, C. Kirner
This paper discusses the implementation of three types of network support based on distributed virtual environment communication models using World2World toolkit, CORBA platform, and its CORBA Event Service as well. These supports encompass an integrated communication environment on a network that is suitable for distributed virtual reality applications. Finally, performance analyses from such supports are presented. 
本文讨论了利用World2World工具箱、CORBA平台及其CORBA事件服务实现基于分布式虚拟环境通信模型的三种网络支持。这些支持包括网络上适合分布式虚拟现实应用程序的集成通信环境。最后,给出了这些支撑的性能分析。
{"title":"Distributed Interoperable Virtual Environments","authors":"F. V. Deriggi, M. Kubo, A. Sementille, Simone Santos Casolli, C. Kirner","doi":"10.19153/cleiej.2.2.3","DOIUrl":"https://doi.org/10.19153/cleiej.2.2.3","url":null,"abstract":"This paper discusses the implementation of three types of network support based on distributed virtual environment communication models using World2World toolkit, CORBA platform, and its CORBA Event Service as well. These supports encompass an integrated communication environment on a network that is suitable for distributed virtual reality applications. Finally, performance analyses from such supports are presented. ","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130890503","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
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System MT堆栈:分布式虚拟内存系统中的分页算法和性能
Pub Date : 2018-09-23 DOI: 10.19153/cleiej.5.1.2
M. Morazán, Douglas R. Troeger, Myles Nash
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their pro- grams require. Functional languages have been identified as providing a clear and concise way of programming parallel machines for artificial intelligence tasks. The problems of exporting, creating, and manipulating processes have been thoroughly studied in relation to the paralleliza- tion of functional languages, but none of the necessary support structures needed for the ab- straction, like a distributed memory, have been properly designed. In order to design and im- plement parallel functional languages efficiently, we propose the development of an all-software based distributed virtual memory system de- signed specifically for the memory demands of a functional language. In this paper, we review the MT architecture and briefly survey the related literature that lead to its development. We then present empirical results obtained from observ- ing the paging behavior of the MT stack. Our empirical results suggest that LRU is superior to FIFO as a page replacement policy for MT stack pages. We present a proof that LRU is an opti- ?Partially supported by the Seton Hall University Re- search Council. †Partially supported by NSF grant CDA-9114481. ‡Partially supported by NSF grant HRD-9703600. mal page replacement policy. Based on this proof the MT stack page replacement policy was de- veloped and implemented. We outline the paging algorithm and present an argument of partial cor- rectness. The MT stack page replacement policy is superior to LRU, because it does not incur the expensive time penalties associated with imple- menting LRU in software.
由于并行计算程序需要大量的时间和空间,因此并行计算的进展对人工智能至关重要。函数式语言被认为是为人工智能任务的并行机器编程提供了一种清晰而简洁的方式。导出、创建和操作进程的问题已经与函数式语言的并行化进行了彻底的研究,但是抽象所需的必要支持结构,如分布式内存,都没有得到适当的设计。为了高效地设计和实现并行函数式语言,我们提出了一种基于全软件的分布式虚拟内存系统,该系统是专门针对函数式语言的内存需求而设计的。在本文中,我们回顾了机器翻译体系结构,并简要回顾了导致其发展的相关文献。然后,我们给出了通过观察MT堆栈的分页行为获得的经验结果。我们的实证结果表明,LRU作为MT堆栈页面的页面替换策略优于FIFO。我们提出了LRU是一种理想的证明,并得到了西顿霍尔大学研究委员会的部分支持。†部分由NSF资助CDA-9114481。‡部分由NSF资助HRD-9703600。错误页面替换策略。在此基础上,开发并实现了MT栈页替换策略。我们概述了分页算法,并给出了部分正性的论证。MT堆栈页面替换策略优于LRU,因为它不会产生与在软件中实现LRU相关的昂贵的时间损失。
{"title":"The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System","authors":"M. Morazán, Douglas R. Troeger, Myles Nash","doi":"10.19153/cleiej.5.1.2","DOIUrl":"https://doi.org/10.19153/cleiej.5.1.2","url":null,"abstract":"\u0000 \u0000 \u0000Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their pro- grams require. Functional languages have been identified as providing a clear and concise way of programming parallel machines for artificial intelligence tasks. The problems of exporting, creating, and manipulating processes have been thoroughly studied in relation to the paralleliza- tion of functional languages, but none of the necessary support structures needed for the ab- straction, like a distributed memory, have been properly designed. In order to design and im- plement parallel functional languages efficiently, we propose the development of an all-software based distributed virtual memory system de- signed specifically for the memory demands of a functional language. In this paper, we review the MT architecture and briefly survey the related literature that lead to its development. We then present empirical results obtained from observ- ing the paging behavior of the MT stack. Our empirical results suggest that LRU is superior to FIFO as a page replacement policy for MT stack pages. We present a proof that LRU is an opti- ?Partially supported by the Seton Hall University Re- search Council. †Partially supported by NSF grant CDA-9114481. ‡Partially supported by NSF grant HRD-9703600. mal page replacement policy. Based on this proof the MT stack page replacement policy was de- veloped and implemented. We outline the paging algorithm and present an argument of partial cor- rectness. The MT stack page replacement policy is superior to LRU, because it does not incur the expensive time penalties associated with imple- menting LRU in software. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127811509","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
Methodological Approach for Developing a KMS: A Case Study 开发知识管理体系的方法方法:一个案例研究
Pub Date : 2018-09-23 DOI: 10.19153/cleiej.5.1.1
Anna Grimán, T. Rojas, M. Pérez
This article describes the construction of a Knowledge Management System (KMS) by applying fundamental concepts and principles of Software Engineering, such as process, models, methodology, technology and architectures, among others. They are applied to the field of Knowledge Management as a means of improving the process of developing applications in this domain, in an endeavor to increase its effectiveness. This paper’s main contribution is a methodological approach progressing from knowledge processes to a set of appropriate systems. The use of modeling techniques and technologies that may prove helpful to the Software Engineer are suggested as part of this approach, while the technological, social and organizational aspects to be considered are highlighted. This proposal was evaluated through the development of a Knowledge Management System for a Venezuelan organization – a research center. The evaluation proved the effectiveness of the methodological aspects proposed. These may be of use as inputs for some Learning Software Organizations dedicated to the development of this type of system.
本文通过应用软件工程的基本概念和原则,如过程、模型、方法、技术和体系结构等,描述了知识管理系统(KMS)的构建。它们被应用于知识管理领域,作为改进该领域应用程序开发过程的一种手段,以努力提高其有效性。本文的主要贡献是一种从知识过程到一组适当系统的方法论方法。作为该方法的一部分,建议使用可能对软件工程师有帮助的建模技术和技术,同时强调要考虑的技术、社会和组织方面。通过为一个委内瑞拉组织——一个研究中心——开发一个知识管理系统,对这个建议进行了评估。评价证明了所提出的方法方面的有效性。这些可以作为一些致力于开发这种类型系统的学习软件组织的输入。
{"title":"Methodological Approach for Developing a KMS: A Case Study","authors":"Anna Grimán, T. Rojas, M. Pérez","doi":"10.19153/cleiej.5.1.1","DOIUrl":"https://doi.org/10.19153/cleiej.5.1.1","url":null,"abstract":"\u0000 \u0000 \u0000This article describes the construction of a Knowledge Management System (KMS) by applying fundamental concepts and principles of Software Engineering, such as process, models, methodology, technology and architectures, among others. They are applied to the field of Knowledge Management as a means of improving the process of developing applications in this domain, in an endeavor to increase its effectiveness. \u0000This paper’s main contribution is a methodological approach progressing from knowledge processes to a set of appropriate systems. The use of modeling techniques and technologies that may prove helpful to the Software Engineer are suggested as part of this approach, while the technological, social and organizational aspects to be considered are highlighted. This proposal was evaluated through the development of a Knowledge Management System for a Venezuelan organization – a research center. \u0000The evaluation proved the effectiveness of the methodological aspects proposed. These may be of use as inputs for some Learning Software Organizations dedicated to the development of this type of system. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130018399","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
Analysis Patterns for GIS Data Schema Reuse on Urban Management Applications GIS数据模式在城市管理应用中的重用分析模式
Pub Date : 2018-09-23 DOI: 10.19153/cleiej.5.2.2
J. L. Filho, C. Iochpe, Karla A. V. Borges
An analysis pattern is any part of a requirement analysis specification that can be reused in the design of other information systems as well. Urban management systems (e.g.: Tax Control Systems, Urban Transportation System) are implemented in a similar way for many counties. This paper proposes three analysis patterns that make possible the reuse of geographic database design for urban area planning and management applications, developed in Geographic Information System (GIS).
分析模式是需求分析规范的任何部分,也可以在其他信息系统的设计中重用。城市管理系统(例如:税收控制系统、城市交通系统)在许多县以类似的方式实施。本文提出了三种分析模式,使地理数据库设计在地理信息系统(GIS)中用于城市区域规划和管理应用的重用成为可能。
{"title":"Analysis Patterns for GIS Data Schema Reuse on Urban Management Applications","authors":"J. L. Filho, C. Iochpe, Karla A. V. Borges","doi":"10.19153/cleiej.5.2.2","DOIUrl":"https://doi.org/10.19153/cleiej.5.2.2","url":null,"abstract":"\u0000 \u0000 \u0000An analysis pattern is any part of a requirement analysis specification that can be reused in the design of other information systems as well. Urban management systems (e.g.: Tax Control Systems, Urban Transportation System) are implemented in a similar way for many counties. This paper proposes three analysis patterns that make possible the reuse of geographic database design for urban area planning and management applications, developed in Geographic Information System (GIS). \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122673172","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
期刊
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