首页 > 最新文献

CLEI Electronic Journal最新文献

英文 中文
A Strategy for Selecting Points of Interest on Mobile Devices for Emergency Situations 一种在紧急情况下在移动设备上选择兴趣点的策略
Q4 Mathematics Pub Date : 2018-12-09 DOI: 10.19153/CLEIEJ.16.3.5
Manuel J. Ibarra, Alvaro Monares, S. Ochoa, J. Pino
The need to use mobile technology in urban emergency response processes has recently been identified, given the importance of having relevant information to make decisions in these scenarios. The data visualization on small mobile devices, such as PDAs or smartphones, is a critical aspect to make appropriate and on-time decisions. This criticality particularly occurs due to the small size of their screens to show geographical data. This article presents a strategy to select and display the most relevant “Points of Interest” on a digital map, according to the emergency influence area. This strategy was implemented on the MobileMap tool, and then it was evaluated through simulated emergency situations. Commanders of various Chilean Fire Companies participated in this evaluation.
鉴于掌握相关信息以在这些情况下做出决策的重要性,最近已经确定了在城市应急响应过程中使用移动技术的必要性。PDA或智能手机等小型移动设备上的数据可视化是做出适当和及时决策的关键方面。这种关键性尤其是由于显示地理数据的屏幕尺寸较小。本文提出了一种策略,根据紧急影响区域,在数字地图上选择和显示最相关的“兴趣点”。该策略在MobileMap工具上实施,然后通过模拟紧急情况对其进行评估。智利各消防连的指挥官参加了这次评估。
{"title":"A Strategy for Selecting Points of Interest on Mobile Devices for Emergency Situations","authors":"Manuel J. Ibarra, Alvaro Monares, S. Ochoa, J. Pino","doi":"10.19153/CLEIEJ.16.3.5","DOIUrl":"https://doi.org/10.19153/CLEIEJ.16.3.5","url":null,"abstract":"\u0000 \u0000 \u0000The need to use mobile technology in urban emergency response processes has recently been identified, given the importance of having relevant information to make decisions in these scenarios. The data visualization on small mobile devices, such as PDAs or smartphones, is a critical aspect to make appropriate and on-time decisions. This criticality particularly occurs due to the small size of their screens to show geographical data. This article presents a strategy to select and display the most relevant “Points of Interest” on a digital map, according to the emergency influence area. This strategy was implemented on the MobileMap tool, and then it was evaluated through simulated emergency situations. Commanders of various Chilean Fire Companies participated in this evaluation. \u0000 \u0000 \u0000","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46169864","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
Adaptive Description of ATM Traffic Flows ATM业务流的自适应描述
Q4 Mathematics Pub Date : 2018-09-23 DOI: 10.19153/CLEIEJ.5.2.3
Juergen Rochol, Mouriac Halen Diemer
Today, the great challenge in broad band networks, such as ATM, is to support applications that need guaranteed QoS. Efficient resource allocation for connections that need guaranteed QoS is only possible if the application can provide a precise and reliable traffic descriptor that the network can understand. This work presents a methodology to obtain the parameters of the traffic descriptor of an ATM application from an initial sample of the flow. Based on real-time measurements of the flow, we suggest periodic renegotiations of the parameters, every time they vary above or below their predefined limits. We apply this method to a VBR MPEG video flow and demonstrate its performance. Observed results are discussed and some future uses of the methodology are suggested.
目前,宽带网络(如ATM)面临的巨大挑战是支持需要保证QoS的应用程序。只有当应用程序能够提供网络能够理解的精确和可靠的流量描述符时,才有可能为需要保证QoS的连接进行有效的资源分配。这项工作提出了一种从流的初始样本中获得ATM应用程序的流量描述符参数的方法。根据流量的实时测量,我们建议在每次参数高于或低于预定义限值时定期重新协商参数。将该方法应用于VBR MPEG视频流中,并对其性能进行了验证。对观测结果进行了讨论,并对该方法的未来应用提出了建议。
{"title":"Adaptive Description of ATM Traffic Flows","authors":"Juergen Rochol, Mouriac Halen Diemer","doi":"10.19153/CLEIEJ.5.2.3","DOIUrl":"https://doi.org/10.19153/CLEIEJ.5.2.3","url":null,"abstract":"\u0000 \u0000 \u0000Today, the great challenge in broad band networks, such as ATM, is to support applications that need guaranteed QoS. Efficient resource allocation for connections that need guaranteed QoS is only possible if the application can provide a precise and reliable traffic descriptor that the network can understand. This work presents a methodology to obtain the parameters of the traffic descriptor of an ATM application from an initial sample of the flow. Based on real-time measurements of the flow, we suggest periodic renegotiations of the parameters, every time they vary above or below their predefined limits. We apply this method to a VBR MPEG video flow and demonstrate its performance. Observed results are discussed and some future uses of the methodology are suggested. \u0000 \u0000 \u0000","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43526577","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 Fuzzy Model for Function Point Analysis to Development and Enhancement Project Assessments 开发与改进项目评价中功能点分析的模糊模型
Q4 Mathematics Pub Date : 2018-09-23 DOI: 10.19153/cleiej.5.2.4
Osias de Souza Lima Júnior, Pedro Porfírio Muniz Farias, Arnaldo Dias Belchior
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process that represents the dimension of a project or an application, each function is classified according to its relative functional complexity. Various studies already propose to extend FPA, mainly aimed at achieving greater precision in the point assessment of systems of greater algorithmic complexity. This work proposes the use of concepts and properties from fuzzy set theory to extend FPA to FFPA (Fuzzy Function Point Analysis). Fuzzy theory seeks to build a formal quantitative structure capable of emulating the imprecision of human knowledge. With the function points generated by FFPA, derived values such as costs and terms of development can be more precisely determined.
功能点分析(FPA)是评估软件系统项目或软件系统规模最常用的技术之一。在表示项目或应用程序维度的点计数过程中,每个功能根据其相对功能复杂性进行分类。各种研究已经建议扩展FPA,主要目的是在算法复杂度更高的系统中实现更高的点评估精度。本工作提出使用模糊集合理论的概念和性质将FPA扩展到FFPA(模糊功能点分析)。模糊理论试图建立一种能够模拟人类知识的不精确性的形式化定量结构。通过FFPA生成的功能点,可以更精确地确定成本和开发条件等派生值。
{"title":"A Fuzzy Model for Function Point Analysis to Development and Enhancement Project Assessments","authors":"Osias de Souza Lima Júnior, Pedro Porfírio Muniz Farias, Arnaldo Dias Belchior","doi":"10.19153/cleiej.5.2.4","DOIUrl":"https://doi.org/10.19153/cleiej.5.2.4","url":null,"abstract":"\u0000 \u0000 \u0000Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process that represents the dimension of a project or an application, each function is classified according to its relative functional complexity. Various studies already propose to extend FPA, mainly aimed at achieving greater precision in the point assessment of systems of greater algorithmic complexity. This work proposes the use of concepts and properties from fuzzy set theory to extend FPA to FFPA (Fuzzy Function Point Analysis). Fuzzy theory seeks to build a formal quantitative structure capable of emulating the imprecision of human knowledge. With the function points generated by FFPA, derived values such as costs and terms of development can be more precisely determined. \u0000 \u0000 \u0000","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"67759528","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
BMM: A Business Modeling Method For Information Systems Development BMM:用于信息系统开发的业务建模方法
Q4 Mathematics Pub Date : 2018-08-13 DOI: 10.19153/cleiej.7.2.3
Jonás Montilva C, Judith Barrios A
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a comprehensive definition of its requirements. However, when these methods are applied to the enterprise context, it is very unclear what an application domain means. To solve this problem, we elaborate the notion of business system and propose a method based on such notion for modeling application domains of Enterprise Information Systems (EIS). This method helps EIS development teams to get comprehensive knowledge about EIS application domains. This knowledge is expressed in terms of the fundamental concepts of a business system: goals, technologies, business rules, business processes, business objects, actors, job structure, and events. The method is described in terms of three methodological components: a product model, a process model, and a team model. This structure facilitates the explanation, understanding and application of the method.
大多数用于开发软件和信息系统的现代方法的一个重要前提是,对应用程序领域的良好理解对于全面定义其需求至关重要。然而,当这些方法应用到企业上下文中时,应用程序域的含义就非常不清楚了。为了解决这一问题,本文阐述了业务系统的概念,并提出了一种基于业务系统概念的企业信息系统应用领域建模方法。该方法帮助EIS开发团队获得关于EIS应用领域的全面知识。这些知识是用业务系统的基本概念来表示的:目标、技术、业务规则、业务流程、业务对象、参与者、工作结构和事件。该方法是根据三个方法学组件来描述的:产品模型、过程模型和团队模型。这种结构有利于方法的解释、理解和应用。
{"title":"BMM: A Business Modeling Method For Information Systems Development","authors":"Jonás Montilva C, Judith Barrios A","doi":"10.19153/cleiej.7.2.3","DOIUrl":"https://doi.org/10.19153/cleiej.7.2.3","url":null,"abstract":"\u0000 \u0000 \u0000An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a comprehensive definition of its requirements. However, when these methods are applied to the enterprise context, it is very unclear what an application domain means. To solve this problem, we elaborate the notion of business system and propose a method based on such notion for modeling application domains of Enterprise Information Systems (EIS). This method helps EIS development teams to get comprehensive knowledge about EIS application domains. This knowledge is expressed in terms of the fundamental concepts of a business system: goals, technologies, business rules, business processes, business objects, actors, job structure, and events. The method is described in terms of three methodological components: a product model, a process model, and a team model. This structure facilitates the explanation, understanding and application of the method. \u0000 \u0000 \u0000","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"67759147","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 ISO 9001:2000 Certification Model in SMEs 中小企业的iso9001:2000认证模式
Q4 Mathematics Pub Date : 2018-07-28 DOI: 10.19153/cleiej.8.1.7
Raimundo Sales Neto e Azevedo, Arnaldo Dias Belchior, Marum Simão Filho, Flávio Lenz César Lenz César
This work describes a model for certification ISO 9001:2000 process of a software company. The Quality Management System (QMS) implementation in the company guided the fundamental processes of the software development, the organizational processes and the support processes, structuring all the practices in the company and extending its vision in relation to their own products, processes, collaborators and clients. The certification process was conducted through a set of structured activities based upon ISO/IEC 12207, in contrast to the logical sequence of implementation items in ISO 9001. As a result, this work provided greater agility in the implementation process of the QMS in the software company.
本文描述了一个软件公司ISO 9001:2000认证过程的模型。质量管理体系(QMS)在公司的实施指导了软件开发的基本过程、组织过程和支持过程,构建了公司的所有实践,并将其视野扩展到他们自己的产品、过程、合作者和客户。认证过程是通过一套基于ISO/IEC 12207的结构化活动进行的,与ISO 9001中实施项目的逻辑顺序形成对比。因此,这项工作在软件公司的质量管理体系的实现过程中提供了更大的灵活性。
{"title":"A ISO 9001:2000 Certification Model in SMEs","authors":"Raimundo Sales Neto e Azevedo, Arnaldo Dias Belchior, Marum Simão Filho, Flávio Lenz César Lenz César","doi":"10.19153/cleiej.8.1.7","DOIUrl":"https://doi.org/10.19153/cleiej.8.1.7","url":null,"abstract":"\u0000 \u0000 \u0000This work describes a model for certification ISO 9001:2000 process of a software company. The Quality Management System (QMS) implementation in the company guided the fundamental processes of the software development, the organizational processes and the support processes, structuring all the practices in the company and extending its vision in relation to their own products, processes, collaborators and clients. The certification process was conducted through a set of structured activities based upon ISO/IEC 12207, in contrast to the logical sequence of implementation items in ISO 9001. As a result, this work provided greater agility in the implementation process of the QMS in the software company. \u0000 \u0000 \u0000","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"67759273","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
Preface to the December 2014 issue 2014年12月刊前言
Q4 Mathematics Pub Date : 2014-12-01 DOI: 10.19153/cleiej.17.3.0
H. Cancela
This issue of CLEIej combines regular papers and papers selected from events. The first four papers in this issue are extended and revised versions of a selected few papers presented at CIbSE 2013, the XVI Ibero-American Conference on Software Engineering, which took place at Montevideo, Uruguay, in April 2013. These papers were selected by invited editors Luca Cernuzzi Nelly Condori, Diego Vallespir and Martín Solari. The fith paper in this issue is a regular contribution. Finally, we find a selection of works presented at CIESC 2013, the XXI Iberoamerican Congress on Higher Education in Computing, which took place at Naiguatá, Venezuela, in October 2013. This set of six papers were selected by the Program Chairs of the congress, Silvana Roncagliolo and Jonás Montilva, who also provided a short introduction to their selection.
本期《CLEIej》结合了常规论文和事件选编论文。本期的前四篇论文是2013年4月在乌拉圭蒙得维的亚举行的第16届伊比利亚-美洲软件工程会议CIbSE 2013上发表的几篇论文的扩展和修订版本。这些论文是由特邀编辑Luca Cernuzzi, Nelly Condori, Diego Vallespir和Martín Solari挑选的。本期的第五篇论文是定期投稿。最后,我们找到了2013年10月在委内瑞拉奈瓜at举行的第21届伊比利亚美洲高等教育大会(CIESC 2013)上发表的作品选集。这一套六篇论文是由大会的项目主席Silvana Roncagliolo和Jonás Montilva选出的,他们还简要介绍了他们的选择。
{"title":"Preface to the December 2014 issue","authors":"H. Cancela","doi":"10.19153/cleiej.17.3.0","DOIUrl":"https://doi.org/10.19153/cleiej.17.3.0","url":null,"abstract":"This issue of CLEIej combines regular papers and papers selected from events. The first four papers in this issue are extended and revised versions of a selected few papers presented at CIbSE 2013, the XVI Ibero-American Conference on Software Engineering, which took place at Montevideo, Uruguay, in April 2013. These papers were selected by invited editors Luca Cernuzzi Nelly Condori, Diego Vallespir and Martín Solari. The fith paper in this issue is a regular contribution. Finally, we find a selection of works presented at CIESC 2013, the XXI Iberoamerican Congress on Higher Education in Computing, which took place at Naiguatá, Venezuela, in October 2013. This set of six papers were selected by the Program Chairs of the congress, Silvana Roncagliolo and Jonás Montilva, who also provided a short introduction to their selection.","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"9 1","pages":"1-1"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"67758817","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
Curriculum Integration by Projects: Opportunities and Constraints A Case Study in Systems Engineering 项目课程整合:机会与限制:系统工程个案研究
Q4 Mathematics Pub Date : 2014-12-01 DOI: 10.19153/CLEIEJ.17.3.10
S. Mora, M. Coto
The Universidad Nacional in Costa Rica is making significant efforts to improve the professional performance of graduates in order to respond to society and industry needs. In particular, the School of Informatics has been exploring the opportunities to implement, through the use of a pedagogy oriented to problems and projects, a curricular integration between diverse areas of knowledge in the curriculum. From this perspective and with the aim of integrating the areas of programming, databases and systems engineering, an initial exploratory study was carried out with faculty members and a group of students from the fourth level of the curriculum. The findings show several limitations, such as mismatches between the course contents, lack of faculty commitment to collaborative work and student resistance. They also show the need of establishing strategies to create, from the early years of the curriculum, the necessary conditions to promote a positive attitude towards curricular integration processes and therefore overcome, at least partially, the identified limitations.
哥斯达黎加国立大学正在作出重大努力,提高毕业生的专业表现,以满足社会和工业界的需要。特别是,信息学院一直在探索机会,通过使用面向问题和项目的教学法,在课程中不同知识领域之间进行课程整合。从这个角度出发,并以整合程序设计、数据库和系统工程等领域为目的,与教员和一组来自课程第四级的学生进行了初步的探索性研究。调查结果显示了一些局限性,例如课程内容不匹配,教师缺乏对合作作业的承诺以及学生的抵制。它们还表明需要制定战略,从课程的最初几年开始创造必要的条件,以促进对课程整合过程的积极态度,从而至少部分地克服已查明的限制。
{"title":"Curriculum Integration by Projects: Opportunities and Constraints A Case Study in Systems Engineering","authors":"S. Mora, M. Coto","doi":"10.19153/CLEIEJ.17.3.10","DOIUrl":"https://doi.org/10.19153/CLEIEJ.17.3.10","url":null,"abstract":"The Universidad Nacional in Costa Rica is making significant efforts to improve the professional performance of graduates in order to respond to society and industry needs. In particular, the School of Informatics has been exploring the opportunities to implement, through the use of a pedagogy oriented to problems and projects, a curricular integration between diverse areas of knowledge in the curriculum. From this perspective and with the aim of integrating the areas of programming, databases and systems engineering, an initial exploratory study was carried out with faculty members and a group of students from the fourth level of the curriculum. The findings show several limitations, such as mismatches between the course contents, lack of faculty commitment to collaborative work and student resistance. They also show the need of establishing strategies to create, from the early years of the curriculum, the necessary conditions to promote a positive attitude towards curricular integration processes and therefore overcome, at least partially, the identified limitations.","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"17 1","pages":"11-11"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"67758981","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
Business Process Verification: The Application of Model Checking and Timed Automata 业务流程验证:模型检查和时间自动机的应用
Q4 Mathematics Pub Date : 2014-08-01 DOI: 10.19153/CLEIEJ.17.2.2
M. Morales, E. Luis
The most important result to standardize the notation for graphical representation of Business Processes (BPs) is the Business Process Model and Notation (BPMN). Despite the BPs modeled with BPMN being able to support business designers, BPMN models are not appropriate to support the analysis phase. BPMN models have no formal semantics to conduct qualitative analysis (validation and verification). In this work is presented how Model Checking (MC) verification technique for software and Timed Automata (TA) formal language are integrated within a formal verification approach to check BPs modeled with BPMN. Also, are introduced a set of guideline to transform BPMN models into TA. The use of our approach allow to business analysts and designers to perform evaluation (i.e., qualitative analysis) of BPs, based on the formal specification of BP–task model with TA. The application of the approach is aimed to evaluate the behavior of the BP–task model with respect to business performance indicators (for instance, service time, waiting time or queue size) derived from business needs, as is shown in an instance of an enterprise–project related to Customer Relationship Management.
标准化业务流程图形表示的表示法的最重要结果是业务流程模型和表示法。尽管用BPMN建模的bp能够支持业务设计人员,但BPMN模型并不适合支持分析阶段。BPMN模型没有进行定性分析(确认和验证)的形式化语义。在这项工作中,介绍了如何将软件的模型检查(MC)验证技术和时间自动机(TA)形式化语言集成到形式化验证方法中,以检查用BPMN建模的bp。同时,介绍了一套将BPMN模型转换为TA的指导原则。使用我们的方法,业务分析人员和设计人员可以基于带有TA的bp任务模型的正式规范,对bp进行评估(即定性分析)。该方法的应用旨在评估bp -任务模型在业务性能指标(例如,服务时间、等待时间或队列大小)方面的行为,这些指标来源于业务需求,如与客户关系管理相关的企业项目实例所示。
{"title":"Business Process Verification: The Application of Model Checking and Timed Automata","authors":"M. Morales, E. Luis","doi":"10.19153/CLEIEJ.17.2.2","DOIUrl":"https://doi.org/10.19153/CLEIEJ.17.2.2","url":null,"abstract":"The most important result to standardize the notation for graphical representation of Business Processes (BPs) is the Business Process Model and Notation (BPMN). Despite the BPs modeled with BPMN being able to support business designers, BPMN models are not appropriate to support the analysis phase. BPMN models have no formal semantics to conduct qualitative analysis (validation and verification). In this work is presented how Model Checking (MC) verification technique for software and Timed Automata (TA) formal language are integrated within a formal verification approach to check BPs modeled with BPMN. Also, are introduced a set of guideline to transform BPMN models into TA. The use of our approach allow to business analysts and designers to perform evaluation (i.e., qualitative analysis) of BPs, based on the formal specification of BP–task model with TA. The application of the approach is aimed to evaluate the behavior of the BP–task model with respect to business performance indicators (for instance, service time, waiting time or queue size) derived from business needs, as is shown in an instance of an enterprise–project related to Customer Relationship Management.","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"17 1","pages":"3-3"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"67758759","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 Supervised Classification Approach for Detecting Packets Originated in a HTTP-based Botnet 基于http的僵尸网络中数据包检测的监督分类方法
Q4 Mathematics Pub Date : 2013-12-01 DOI: 10.19153/CLEIEJ.16.3.2
Felix Brezo, José Gaviria de la Puerta, Xabier Ugarte-Pedrero, I. Santos, P. G. Bringas
The possibilities that the management of a vast amount of computers and/or networks oer is attracting an increasing number of malware writers. In this document, the authors propose a methodology thought to detect malicious botnet trac, based on the analysis of the packets that ow within the network. This objective is achieved by means of the extraction of the static characteristics of packets, which are lately analysed using supervised machine learning techniques focused on trac labelling so as to proactively face the huge volume of information nowadays lters work with.
管理大量计算机和/或网络的可能性正在吸引越来越多的恶意软件编写者。在本文档中,作者提出了一种基于对网络中传输的数据包的分析来检测恶意僵尸网络跟踪的方法。这一目标是通过提取数据包的静态特征来实现的,这些特征最近使用集中在跟踪标签上的监督机器学习技术进行分析,以便主动面对如今信件处理的大量信息。
{"title":"A Supervised Classification Approach for Detecting Packets Originated in a HTTP-based Botnet","authors":"Felix Brezo, José Gaviria de la Puerta, Xabier Ugarte-Pedrero, I. Santos, P. G. Bringas","doi":"10.19153/CLEIEJ.16.3.2","DOIUrl":"https://doi.org/10.19153/CLEIEJ.16.3.2","url":null,"abstract":"The possibilities that the management of a vast amount of computers and/or networks oer is attracting an increasing number of malware writers. In this document, the authors propose a methodology thought to detect malicious botnet trac, based on the analysis of the packets that ow within the network. This objective is achieved by means of the extraction of the static characteristics of packets, which are lately analysed using supervised machine learning techniques focused on trac labelling so as to proactively face the huge volume of information nowadays lters work with.","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"16 1","pages":"2-2"},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"67758458","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 Data Pre-Processing Method for Software Effort Estimation Using Case-Based Reasoning 基于案例推理的软件工作量估算数据预处理方法
Q4 Mathematics Pub Date : 2013-12-01 DOI: 10.19153/CLEIEJ.16.3.7
Katia Cristina A. Damaceno Borges, I. F. B. Tronto, Renato de Aquino Lopes, J. D. S. D. Silva
Software effort estimates is an important part of s oftware development work and provides essential input to project feasibility analyses, bi dding, budgeting and planning. Analogy-based estimates models emerge as a promising approach, with comparable accuracy to arithmetic methods, and it is potentially easier to understand and apply. Studies show all the models are sensitive to the quality and availability data, thu s requiring a systematic data treatment. In this paper, it is proposed a data pre-processing method for use in software effort estimate. The results of it on applying on applying Case Based Reasoning - CBR that enables us to enhance the precision of the estimates.
软件工作量评估是软件开发工作的重要组成部分,并为项目可行性分析、预算编制和计划提供必要的输入。基于类比的估计模型是一种很有前途的方法,具有与算术方法相当的精度,并且可能更容易理解和应用。研究表明,所有模型都对质量和可用性数据敏感,因此需要系统的数据处理。本文提出了一种用于软件工作量估算的数据预处理方法。基于案例推理(Case Based Reasoning, CBR)的应用结果使我们能够提高估计的精度。
{"title":"A Data Pre-Processing Method for Software Effort Estimation Using Case-Based Reasoning","authors":"Katia Cristina A. Damaceno Borges, I. F. B. Tronto, Renato de Aquino Lopes, J. D. S. D. Silva","doi":"10.19153/CLEIEJ.16.3.7","DOIUrl":"https://doi.org/10.19153/CLEIEJ.16.3.7","url":null,"abstract":"Software effort estimates is an important part of s oftware development work and provides essential input to project feasibility analyses, bi dding, budgeting and planning. Analogy-based estimates models emerge as a promising approach, with comparable accuracy to arithmetic methods, and it is potentially easier to understand and apply. Studies show all the models are sensitive to the quality and availability data, thu s requiring a systematic data treatment. In this paper, it is proposed a data pre-processing method for use in software effort estimate. The results of it on applying on applying Case Based Reasoning - CBR that enables us to enhance the precision of the estimates.","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"16 1","pages":"7-7"},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"67759031","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
期刊
CLEI Electronic Journal
全部 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