发布求助
文献互助 智能选刊 最新文献

2007 Eleventh International IEEE EDOC Conference Workshop最新文献

筛选
英文 中文
An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy 基于SEAM的合金系统分层模型实例及其形式化
2007 Eleventh International IEEE EDOC Conference Workshop Pub Date : 2007-10-15 DOI: 10.1109/EDOCW.2007.3
A. Wegmann, Lam-Son Lê, I. Rychkova, Gil Regev
{"title":"An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy","authors":"A. Wegmann, Lam-Son Lê, I. Rychkova, Gil Regev","doi":"10.1109/EDOCW.2007.3","DOIUrl":"https://doi.org/10.1109/EDOCW.2007.3","url":null,"abstract":"SEAM is an enterprise architecture method based on RM-ODP part 2. In this paper, we present an example of a SEAM hierarchical model where the behavioral part is formalized in Alloy. We introduce four kinds of actions and their relationships to properties that specify object state. We show that the Alloy formalization enables us to check that the SEAM model conforms to the required aspects of the universe of discourse.","PeriodicalId":181454,"journal":{"name":"2007 Eleventh International IEEE EDOC Conference Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116775963","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
Evaluating Ontologies: Towards a Cognitive Measure of Quality 评价本体论:走向质量的认知度量
2007 Eleventh International IEEE EDOC Conference Workshop Pub Date : 2007-10-15 DOI: 10.1109/EDOCW.2007.11
Jennifer Fang, Joerg Evermann
{"title":"Evaluating Ontologies: Towards a Cognitive Measure of Quality","authors":"Jennifer Fang, Joerg Evermann","doi":"10.1109/EDOCW.2007.11","DOIUrl":"https://doi.org/10.1109/EDOCW.2007.11","url":null,"abstract":"Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated business process modelling languages against upper-level ontologies on the assumption that these ontologies are adequate representations of the general process domain. In this paper, we present a method to test this assumption. Our method is based on principles of cognitive psychology and demonstrated using the BWW and SUMO upper-level ontologies.","PeriodicalId":181454,"journal":{"name":"2007 Eleventh International IEEE EDOC Conference Workshop","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117056776","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}
引用次数: 53
Business Process and Business Rule Modeling: A Representational Analysis 业务流程和业务规则建模:具象分析
2007 Eleventh International IEEE EDOC Conference Workshop Pub Date : 2007-10-15 DOI: 10.1109/EDOCW.2007.8
M. Muehlen, M. Indulska, Gerrit Kamp
{"title":"Business Process and Business Rule Modeling: A Representational Analysis","authors":"M. Muehlen, M. Indulska, Gerrit Kamp","doi":"10.1109/EDOCW.2007.8","DOIUrl":"https://doi.org/10.1109/EDOCW.2007.8","url":null,"abstract":"Process modeling and rule modeling languages are both used to document organizational policies and procedures. However, little work has been done to understand their synergies and overlap. Understanding the relationship between the two modeling types would allow organizations to maximize synergies and reduce their modeling effort. In this paper we use the well-established Bunge-Wand-Weber (BWW) representation theory to compare the representation capabilities of both types of languages. We perform a representational analysis of two rule modeling languages, viz., SRML and SBVR. We compare their representation capabilities with those of four popular conceptual business process modeling languages, and focus on the aspects of maximum ontological completeness and minimum ontological overlap. The outcome of this study shows that no single language is internally complete with respect to the BWW representation model and that a combination of two languages, viz. SRML and BPMN, is better suited for process modeling than any single modeling language.","PeriodicalId":181454,"journal":{"name":"2007 Eleventh International IEEE EDOC Conference Workshop","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127974969","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}
引用次数: 54
An Ontology Based Architecture for eGovernment Environments 基于本体的电子政务环境体系结构
2007 Eleventh International IEEE EDOC Conference Workshop Pub Date : 2007-10-15 DOI: 10.1109/EDOCW.2007.4
L. A. Sabucedo, L. Anido-Rifón
{"title":"An Ontology Based Architecture for eGovernment Environments","authors":"L. A. Sabucedo, L. Anido-Rifón","doi":"10.1109/EDOCW.2007.4","DOIUrl":"https://doi.org/10.1109/EDOCW.2007.4","url":null,"abstract":"Current fashion systems to interconnect large software architectures are moving toward SOA based solutions. This new paradigm for designing system can be improved, in our opinion, by using semantics. Semantics can a play a main role in boosting interoperability thanks to current technologies to express knowledge and to describe semantic Web services (SWS). This paper tackles the provision of a Software Architecture for eGovernment by means of LifeEvents, a semantic modeling tool to describe services in the domain deeply discussed in the paper.","PeriodicalId":181454,"journal":{"name":"2007 Eleventh International IEEE EDOC Conference Workshop","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132462437","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
Sometimes Less is More: Are Process Modeling Languages Overly Complex? 有时少即是多:过程建模语言是否过于复杂?
2007 Eleventh International IEEE EDOC Conference Workshop Pub Date : 2007-10-15 DOI: 10.1109/EDOCW.2007.30
M. Muehlen, J. Recker, M. Indulska
{"title":"Sometimes Less is More: Are Process Modeling Languages Overly Complex?","authors":"M. Muehlen, J. Recker, M. Indulska","doi":"10.1109/EDOCW.2007.30","DOIUrl":"https://doi.org/10.1109/EDOCW.2007.30","url":null,"abstract":"Modern business process modeling languages such as BPMN or EPC provide users with more constructs to represent real world situations than their predecessors such as IDEF or Petri Nets. But this apparent increase in expressiveness is accompanied by an increase in language complexity. In practice many organizations choose to only use a subset of the available modeling constructs. Using a well established ontology-based theory of representation, we analyze how this voluntary restriction affects the expressiveness and complexity of the resulting modeling vocabulary. We compare our empirical findings with two notation sets of the popular language BPMN - the core and full set. Our findings indicate that users are willing to accept ambiguity among modeling constructs and that the full element set of BPMN adds little expressiveness at the expense of considerably decreased ontological clarity. The findings are a first step towards an understanding of an optimal cost-effectiveness ratio for process modeling languages both in theory and practice.","PeriodicalId":181454,"journal":{"name":"2007 Eleventh International IEEE EDOC Conference Workshop","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125201887","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}
引用次数: 37
Facilitating the Semantic Discovery of eGovernment Services: The SemanticGov Portal 促进电子政府服务的语义发现:Semantic gov门户网站
2007 Eleventh International IEEE EDOC Conference Workshop Pub Date : 2007-10-15 DOI: 10.1109/EDOCW.2007.12
Nikos Loutas, Vassilios Peristeras, S. Goudos, K. Tarabanis
{"title":"Facilitating the Semantic Discovery of eGovernment Services: The SemanticGov Portal","authors":"Nikos Loutas, Vassilios Peristeras, S. Goudos, K. Tarabanis","doi":"10.1109/EDOCW.2007.12","DOIUrl":"https://doi.org/10.1109/EDOCW.2007.12","url":null,"abstract":"In this paper we propose a way to facilitate the issue of discovering the eGovernment services that address a citizen's need. This approach is implemented in an application, which we call a semantic portal. The semantic portal is part of our SemanticGov project architecture. The portal's components and its architecture are presented and explained. The portal's conceptual modeling is based on the generic public service object model of governance enterprise architecture (GEA) while Web service modeling ontology (WSMO) is used as the semantic Web services framework for application implementation. . We describe the ontologies required using the Web service modeling language (WSML). The reasoning tasks are performed accordingly using a WSML reasoner. Goals are WSMO elements that describe aspects related to user desires. The input to the application consists of information regarding the user's profile, i.e. age, marital status etc., while the output is a concrete WSMO Goal that expresses the citizen's need. This Goal is forwarded to the discovery engine, which has to discover all the services that address this Goal and return them to the citizen.","PeriodicalId":181454,"journal":{"name":"2007 Eleventh International IEEE EDOC Conference Workshop","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134316861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Towards Robust and Adaptive Semantic-Based Compliance Auditing 实现健壮和自适应的基于语义的遵从性审计
2007 Eleventh International IEEE EDOC Conference Workshop Pub Date : 2007-10-15 DOI: 10.1109/EDOCW.2007.33
F. Yip, A. K. K. Wong, N. Parameswaran, P. Ray
{"title":"Towards Robust and Adaptive Semantic-Based Compliance Auditing","authors":"F. Yip, A. K. K. Wong, N. Parameswaran, P. Ray","doi":"10.1109/EDOCW.2007.33","DOIUrl":"https://doi.org/10.1109/EDOCW.2007.33","url":null,"abstract":"Compliance management (CM) is the management process that an organization implements to ensure organizational compliance with relevant requirements and expectations. Compliance auditing (CA) is a child-process of CM where compliance rules and policies are individually checked against the organization to determine the level of compliance achieved by the organization. In this paper, we arrange organizational knowledge and facts within OWL ontologies and model compliance rules as adaptive semantic-based rules for compliance audit automation. We study the issues of uncertainty and inconsistency in compliance and propose an adaptive human-like strategy for mimicking conventional compliance auditing.","PeriodicalId":181454,"journal":{"name":"2007 Eleventh International IEEE EDOC Conference Workshop","volume":"13 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130583592","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
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信