首页 > 最新文献

2012 Sixth International Conference on Research Challenges in Information Science (RCIS)最新文献

英文 中文
Human genome conceptual modeling: An ontological framework for the design and implementation of genomic Information Systems 人类基因组概念建模:基因组信息系统设计与实现的本体论框架
Ainoha Martin Mayordomo
The objective of the work presented in this paper is to design and develop an Information System that integrates genome information currently scattered in different repositories. The comprehension of biological and concretely genomic concepts is an extremely attractive research topic due to the needs of experts. The system has been developed following a conceptual-model and ontological description based methodology. This work provides a conceptual model to represent, in a formal way, genome knowledge and a ontological description with high-level detail to describe some aspects that conceptual modeling can not cover. To keep information regarding the changes to an evolving environment a versioning system is necessary. On the other hand when the conceptual model is established, it is implemented in a database. The database acts as a unified repository of integrated information that will allow biologists to perform efficient recovery tasks. Lastly, a loading module will be implemented, using an ETL (extraction, transformation and load) strategy, in order to integrate data from relevant variation repositories.
本文提出的工作目标是设计和开发一个信息系统,将目前分散在不同存储库中的基因组信息集成在一起。由于专家的需要,对生物学和具体基因组概念的理解是一个极具吸引力的研究课题。该系统是按照概念模型和本体描述为基础的方法开发的。这项工作提供了一个概念模型,以形式化的方式表示基因组知识,并提供了一个具有高层次细节的本体论描述,以描述概念建模无法涵盖的一些方面。为了在不断发展的环境中保存有关更改的信息,版本控制系统是必要的。另一方面,当概念模型建立后,在数据库中实现。该数据库作为集成信息的统一存储库,将允许生物学家执行有效的恢复任务。最后,将使用ETL(提取、转换和加载)策略实现加载模块,以便集成来自相关变体存储库的数据。
{"title":"Human genome conceptual modeling: An ontological framework for the design and implementation of genomic Information Systems","authors":"Ainoha Martin Mayordomo","doi":"10.1109/RCIS.2012.6240461","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240461","url":null,"abstract":"The objective of the work presented in this paper is to design and develop an Information System that integrates genome information currently scattered in different repositories. The comprehension of biological and concretely genomic concepts is an extremely attractive research topic due to the needs of experts. The system has been developed following a conceptual-model and ontological description based methodology. This work provides a conceptual model to represent, in a formal way, genome knowledge and a ontological description with high-level detail to describe some aspects that conceptual modeling can not cover. To keep information regarding the changes to an evolving environment a versioning system is necessary. On the other hand when the conceptual model is established, it is implemented in a database. The database acts as a unified repository of integrated information that will allow biologists to perform efficient recovery tasks. Lastly, a loading module will be implemented, using an ETL (extraction, transformation and load) strategy, in order to integrate data from relevant variation repositories.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115084194","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
XSLT streamability analysis with recursive schemas 使用递归模式的XSLT流性分析
Pavel Labath
We present an algorithm which checks whether a restricted XSLT stylesheet can be applied to documents conforming to a given schema using the Simple Streaming XML Transducer algorithm of Dvořáková et al. [1], [2]. Our contribution consists in extending the set of admissible schemas by allowing the choice constructor and recursive element definitions. We thoroughly analyze every part of the algorithm, prove its correctness and determine the worst case complexity bounds.
我们提出了一种算法,该算法使用Dvořáková等人的Simple Streaming XML Transducer算法检查受限制的XSLT样式表是否可以应用于符合给定模式的文档[1],[2]。我们的贡献包括通过允许选择构造函数和递归元素定义来扩展可接受的模式集。我们对算法的各个部分进行了深入的分析,证明了算法的正确性,并确定了最坏情况下的复杂度界限。
{"title":"XSLT streamability analysis with recursive schemas","authors":"Pavel Labath","doi":"10.1109/RCIS.2012.6240419","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240419","url":null,"abstract":"We present an algorithm which checks whether a restricted XSLT stylesheet can be applied to documents conforming to a given schema using the Simple Streaming XML Transducer algorithm of Dvořáková et al. [1], [2]. Our contribution consists in extending the set of admissible schemas by allowing the choice constructor and recursive element definitions. We thoroughly analyze every part of the algorithm, prove its correctness and determine the worst case complexity bounds.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116564101","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
Modeling intentionality as an opening to the world 将意向性建模为对世界的开放
Yves Chaumette
One meaning of intentionality is opening to the world. Whereas relationships are usually described as links between two objects, opening is expectation for something yet undefined. Intentionality is said to grasp things in the movement of their appearance and movement is thus integrated in a hanging-on link. This paper as part of a doctoral thesis work aims to propose a mathematical structure and a model to capture intentionality as an opening. The model is based on the concept of whorl. Examples of such openings are given to revisit goal diagrams and artifact life cycles.
意向性的一个含义是向世界开放。关系通常被描述为两个对象之间的联系,而开放则是对尚未定义的事物的期望。意向性被认为是在事物表象的运动中把握事物,因此运动被整合在一个悬挂的环节中。本文作为博士论文工作的一部分,旨在提出一个数学结构和一个模型来捕捉意向性作为一个开端。该模型基于螺旋的概念。我们给出了这样的例子来重新审视目标图和工件生命周期。
{"title":"Modeling intentionality as an opening to the world","authors":"Yves Chaumette","doi":"10.1109/RCIS.2012.6240452","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240452","url":null,"abstract":"One meaning of intentionality is opening to the world. Whereas relationships are usually described as links between two objects, opening is expectation for something yet undefined. Intentionality is said to grasp things in the movement of their appearance and movement is thus integrated in a hanging-on link. This paper as part of a doctoral thesis work aims to propose a mathematical structure and a model to capture intentionality as an opening. The model is based on the concept of whorl. Examples of such openings are given to revisit goal diagrams and artifact life cycles.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124056979","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
Towards automated education demand-offer information monitoring: The information extraction 面向自动化教育需求提供信息监控:信息提取
Peteris Rudzajs
Dynamically changing work environment in knowledge economy causes the changes in knowledge requirements for labor. Therefore it becomes more and more important to be constantly aware of what education is currently demanded and what education is currently offered. The IT solution is vital to process various information sources, extract education information, and provide analysis mechanisms in automated manner. The education information extraction is detailed in this paper in the context of Education demand and offer information monitoring system by providing the workflow for semi-automatic skills extraction from the university course descriptions using developed term suggestion method.
知识经济时代工作环境的动态变化引起了对劳动力知识要求的变化。因此,不断了解目前需要什么样的教育以及目前提供什么样的教育变得越来越重要。IT解决方案对于处理各种信息源、提取教育信息以及以自动化的方式提供分析机制至关重要。本文从教育需求和教学信息监控系统的角度出发,提出了基于术语建议方法的大学课程描述半自动技能提取的工作流程。
{"title":"Towards automated education demand-offer information monitoring: The information extraction","authors":"Peteris Rudzajs","doi":"10.1109/RCIS.2012.6240464","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240464","url":null,"abstract":"Dynamically changing work environment in knowledge economy causes the changes in knowledge requirements for labor. Therefore it becomes more and more important to be constantly aware of what education is currently demanded and what education is currently offered. The IT solution is vital to process various information sources, extract education information, and provide analysis mechanisms in automated manner. The education information extraction is detailed in this paper in the context of Education demand and offer information monitoring system by providing the workflow for semi-automatic skills extraction from the university course descriptions using developed term suggestion method.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125676253","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
Applying a foundational ontology to analyze means-end links in the i∗ framework 应用基础本体来分析i *框架中的手段-目的链接
Renata Guizzardi, Xavier Franch, G. Guizzardi
The i* community has raised several main dialects and dozens of variations in the definition of the i* language. Differences may be found related not just to the representation of new concepts but to the very core of the i* language. If on the one hand this is caused by large adoption of the framework in the academic setting, on the other hand, it also poses some threats. For example, novices have trouble learning how to use the language, and besides these inconsistencies prevent i* from being largely adopted in business settings. Based on positive results from previous work related to conceptual modeling languages, we believe that foundational ontologies may present a promising solution for this problem. Foundational ontologies may help clarifying the semantics of core i* constructs and provide practical guidelines for their use. Last, they may serve as the basis to propose a normative definition of the framework. In this paper, we develop this idea, first by justifying the use of foundational ontologies and, in particular, the UFO ontology. Then, we raise some problems found in the i* literature. And then, we show the outcomes of adopting an ontological approach for the specific case of the i* framework. We focus here on one of the most characteristic i* construct, namely the means-end link.
i*社区提出了几种主要的方言和几十种不同的i*语言定义。差异不仅与新概念的表示有关,而且与i*语言的核心有关。如果这一方面是由于该框架在学术环境中的大量采用造成的,另一方面,它也带来了一些威胁。例如,初学者很难学习如何使用这种语言,除此之外,这些不一致性也阻碍了它在商业环境中的广泛采用。基于先前与概念建模语言相关的工作的积极结果,我们相信基础本体可能为这个问题提供了一个有希望的解决方案。基础本体可能有助于澄清核心i*结构的语义,并为其使用提供实用指南。最后,它们可以作为提出框架的规范性定义的基础。在本文中,我们发展了这个想法,首先通过证明使用基础本体,特别是UFO本体。然后,我们提出了一些在i*文献中发现的问题。然后,我们展示了对i*框架的具体情况采用本体论方法的结果。我们在这里关注最具特征的i*结构之一,即手段-目的链接。
{"title":"Applying a foundational ontology to analyze means-end links in the i∗ framework","authors":"Renata Guizzardi, Xavier Franch, G. Guizzardi","doi":"10.1109/RCIS.2012.6240425","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240425","url":null,"abstract":"The i* community has raised several main dialects and dozens of variations in the definition of the i* language. Differences may be found related not just to the representation of new concepts but to the very core of the i* language. If on the one hand this is caused by large adoption of the framework in the academic setting, on the other hand, it also poses some threats. For example, novices have trouble learning how to use the language, and besides these inconsistencies prevent i* from being largely adopted in business settings. Based on positive results from previous work related to conceptual modeling languages, we believe that foundational ontologies may present a promising solution for this problem. Foundational ontologies may help clarifying the semantics of core i* constructs and provide practical guidelines for their use. Last, they may serve as the basis to propose a normative definition of the framework. In this paper, we develop this idea, first by justifying the use of foundational ontologies and, in particular, the UFO ontology. Then, we raise some problems found in the i* literature. And then, we show the outcomes of adopting an ontological approach for the specific case of the i* framework. We focus here on one of the most characteristic i* construct, namely the means-end link.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127959832","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}
引用次数: 32
Web 2.0 patterns: A model-driven engineering approach Web 2.0模式:一种模型驱动的工程方法
Ana Rosa Guzman, V. Clemente, Francisco Valverde, José Ignacio Panach
Web Engineering methods, specifically Model-driven Engineering (MDE) ones, are not yet ready to cope with user involvement features that Web 2.0 is demanding. In this work, Web 2.0 patterns are introduced using conceptual models that represent both interaction and functionality, since in Web 2.0 applications both features are intertwined to support the user involvement concern. This work also drafts how Web 2.0 patterns can be integrated into models of a model-driven Web Engineering method.
Web工程方法,特别是模型驱动工程(MDE)方法,还没有准备好应对Web 2.0所要求的用户参与特性。在本文中,使用表示交互和功能的概念模型介绍了Web 2.0模式,因为在Web 2.0应用程序中,这两个特性是相互交织的,以支持用户参与问题。这项工作还草拟了如何将Web 2.0模式集成到模型驱动的Web工程方法的模型中。
{"title":"Web 2.0 patterns: A model-driven engineering approach","authors":"Ana Rosa Guzman, V. Clemente, Francisco Valverde, José Ignacio Panach","doi":"10.1109/RCIS.2012.6240420","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240420","url":null,"abstract":"Web Engineering methods, specifically Model-driven Engineering (MDE) ones, are not yet ready to cope with user involvement features that Web 2.0 is demanding. In this work, Web 2.0 patterns are introduced using conceptual models that represent both interaction and functionality, since in Web 2.0 applications both features are intertwined to support the user involvement concern. This work also drafts how Web 2.0 patterns can be integrated into models of a model-driven Web Engineering method.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134108617","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
QSQL2: Query language support for logic-based similarity conditions on probabilistic databases QSQL2:对概率数据库上基于逻辑的相似条件的查询语言支持
S. Lehrack, S. Saretz, I. Schmitt
ProQua is a new probabilistic database system which combines information retrieval concepts with database technologies. In contrast to other state-of-the-art probabilistic database systems ProQua supports logic-based and weighted similarity conditions within its query language by a generic similarity operator. In this work we introduce the ProQua query language QSQL2 by presenting its syntax, semantics and query capabilities. Furthermore, we briefly discuss the main components of ProQua.
ProQua是一种将信息检索概念与数据库技术相结合的新型概率数据库系统。与其他最先进的概率数据库系统相比,ProQua通过通用相似性操作符在其查询语言中支持基于逻辑的加权相似性条件。本文介绍了ProQua查询语言QSQL2的语法、语义和查询功能。此外,我们简要讨论了ProQua的主要组成部分。
{"title":"QSQL2: Query language support for logic-based similarity conditions on probabilistic databases","authors":"S. Lehrack, S. Saretz, I. Schmitt","doi":"10.1109/RCIS.2012.6240438","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240438","url":null,"abstract":"ProQua is a new probabilistic database system which combines information retrieval concepts with database technologies. In contrast to other state-of-the-art probabilistic database systems ProQua supports logic-based and weighted similarity conditions within its query language by a generic similarity operator. In this work we introduce the ProQua query language QSQL2 by presenting its syntax, semantics and query capabilities. Furthermore, we briefly discuss the main components of ProQua.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134242088","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
Interactive use of inductive approach for analyzing and developing conceptual structures 互动使用归纳方法分析和发展概念结构
I. Birzniece
Inductive learning algorithms learns classification from training examples and uses induced classifier for dealing with new instances. The use of conceptual data structures for classifier's input is making this task more complicated and classifier may meet the difficulties in class prediction. To broaden applicability of inductive learning based classifiers a collaborative approach between the system and human expert would be useful. The proposed interactive system in uncertain conditions can ask for human advice and improve its knowledge base with the rule derived from this interaction. Interactive inductive learning based classification system is proposed for helping to compare university study courses semi-automatically.
归纳学习算法从训练样本中学习分类,并使用归纳分类器处理新实例。使用概念数据结构作为分类器的输入使得这项任务变得更加复杂,分类器可能会遇到类预测的困难。为了扩大基于归纳学习的分类器的适用性,系统和人类专家之间的协作方法将是有用的。所提出的交互系统在不确定条件下可以向人类寻求建议,并通过这种交互产生的规则来改进其知识库。为了实现大学学习课程的半自动比较,提出了一种基于交互式归纳学习的分类系统。
{"title":"Interactive use of inductive approach for analyzing and developing conceptual structures","authors":"I. Birzniece","doi":"10.1109/RCIS.2012.6240453","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240453","url":null,"abstract":"Inductive learning algorithms learns classification from training examples and uses induced classifier for dealing with new instances. The use of conceptual data structures for classifier's input is making this task more complicated and classifier may meet the difficulties in class prediction. To broaden applicability of inductive learning based classifiers a collaborative approach between the system and human expert would be useful. The proposed interactive system in uncertain conditions can ask for human advice and improve its knowledge base with the rule derived from this interaction. Interactive inductive learning based classification system is proposed for helping to compare university study courses semi-automatically.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132114690","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
Map-TBS: Map process enactment traces and analysis Map- tbs:绘制流程制定跟踪和分析图
Charlotte Hug, R. Deneckère, C. Salinesi
Map formalism allows specifying processes with a high level of variability. However, this means many variation points, and therefore we need guidance to enact maps by customizing them. Traditional guidance consists in raising decision points to navigate in a map. The limit is that many decision points are raised at the same time, and the user (who enacts the map) does not know which decision to make first. Another kind of guidance, yet to be explored, consists in providing recommendations to the user. Such recommendations can be drawn from collections of profiles collected from map enactment traces using techniques from the data mining domain. This paper proposes a trace management system adapted to maps that was designed to support recommendation-based guidance. The paper shows how data mining algorithms can be used to find profile clusters in a collection of map enactment traces, used then to provide recommendations to the users.
映射形式化允许指定具有高度可变性的过程。然而,这意味着许多变化点,因此我们需要通过定制它们来制定地图的指导。传统的引导包括提出决策点以在地图中导航。限制是同时提出了许多决策点,并且用户(制定地图的人)不知道首先做出哪个决策。另一种有待探索的指导方式是向用户提供建议。这些建议可以从使用数据挖掘领域的技术从地图制定轨迹收集的配置文件集合中得出。本文提出了一种适合地图的跟踪管理系统,该系统旨在支持基于推荐的指导。本文展示了如何使用数据挖掘算法在地图制定痕迹的集合中找到轮廓聚类,然后使用这些聚类向用户提供建议。
{"title":"Map-TBS: Map process enactment traces and analysis","authors":"Charlotte Hug, R. Deneckère, C. Salinesi","doi":"10.1109/RCIS.2012.6240435","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240435","url":null,"abstract":"Map formalism allows specifying processes with a high level of variability. However, this means many variation points, and therefore we need guidance to enact maps by customizing them. Traditional guidance consists in raising decision points to navigate in a map. The limit is that many decision points are raised at the same time, and the user (who enacts the map) does not know which decision to make first. Another kind of guidance, yet to be explored, consists in providing recommendations to the user. Such recommendations can be drawn from collections of profiles collected from map enactment traces using techniques from the data mining domain. This paper proposes a trace management system adapted to maps that was designed to support recommendation-based guidance. The paper shows how data mining algorithms can be used to find profile clusters in a collection of map enactment traces, used then to provide recommendations to the users.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122021814","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Dealing with trust and control: A meta-model for trustworthy information systems development 处理信任和控制:可信赖信息系统开发的元模型
Michalis Pavlidis, H. Mouratidis, Shareeful Islam, P. Kearney
Information systems exist in every aspect of our life and our society depends on them enormously. Despite this reliance, these systems are often unreliable, prone to errors, and pose vulnerabilities for potential security attacks. We are often faced with a choice between using a valuable (or even an essential) system, which is not fully trustworthy, or else forgoing the services it provides. Developing a trustworthy software system is a challenging task. The system's overall trustworthiness depends on trust relationships that are usually assumed and not properly analysed during the analysis and design of the system. The lack of appropriate analysis of such trust relationships, or the lack of appropriate justification of relevant trust assumptions, usually results in systems that can potentially fail to fully achieve those functionalities that depend on such trust relationships. In this paper, we present a meta-model for a modelling language that allows developers to capture possible trust relationships and to reason about them. The meta-model includes a set of trust based concepts, which support the development of trustworthy systems. A case study from the UK health care sector is used to illustrate the usefulness of the meta-model.
信息系统存在于我们生活的方方面面,我们的社会极大地依赖于它们。尽管有这种依赖,但这些系统通常是不可靠的,容易出错,并为潜在的安全攻击提供漏洞。我们经常面临这样的选择:是使用一个有价值的(甚至是必不可少的)系统,它不是完全值得信赖的,还是放弃它提供的服务。开发一个值得信赖的软件系统是一项具有挑战性的任务。系统的整体可信度取决于在系统分析和设计过程中通常假设的信任关系,而没有对其进行适当的分析。缺乏对这种信任关系的适当分析,或者缺乏对相关信任假设的适当证明,通常会导致系统可能无法完全实现依赖于这种信任关系的那些功能。在本文中,我们提出了一种建模语言的元模型,它允许开发人员捕获可能的信任关系并对它们进行推理。元模型包括一组基于信任的概念,这些概念支持可信系统的开发。一个来自英国卫生保健部门的案例研究被用来说明元模型的有用性。
{"title":"Dealing with trust and control: A meta-model for trustworthy information systems development","authors":"Michalis Pavlidis, H. Mouratidis, Shareeful Islam, P. Kearney","doi":"10.1109/RCIS.2012.6240441","DOIUrl":"https://doi.org/10.1109/RCIS.2012.6240441","url":null,"abstract":"Information systems exist in every aspect of our life and our society depends on them enormously. Despite this reliance, these systems are often unreliable, prone to errors, and pose vulnerabilities for potential security attacks. We are often faced with a choice between using a valuable (or even an essential) system, which is not fully trustworthy, or else forgoing the services it provides. Developing a trustworthy software system is a challenging task. The system's overall trustworthiness depends on trust relationships that are usually assumed and not properly analysed during the analysis and design of the system. The lack of appropriate analysis of such trust relationships, or the lack of appropriate justification of relevant trust assumptions, usually results in systems that can potentially fail to fully achieve those functionalities that depend on such trust relationships. In this paper, we present a meta-model for a modelling language that allows developers to capture possible trust relationships and to reason about them. The meta-model includes a set of trust based concepts, which support the development of trustworthy systems. A case study from the UK health care sector is used to illustrate the usefulness of the meta-model.","PeriodicalId":130476,"journal":{"name":"2012 Sixth International Conference on Research Challenges in Information Science (RCIS)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115632056","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
期刊
2012 Sixth International Conference on Research Challenges in Information Science (RCIS)
全部 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