The open information systems journal最新文献_第3页

The Design and Implementation of Transparent Application-LayerFiltering Platform 透明应用层过滤平台的设计与实现

The open information systems journal Pub Date : 2008-03-17 DOI: 10.2174/1874133900802010001

YihJiun Lee, Wei Lai

引用次数: 0

Establishing Multi-level Security in Mobile Data Access 在移动数据访问中建立多级安全

The open information systems journal Pub Date : 2007-09-13 DOI: 10.2174/1874133900701010019

M. Khan, C. Papadopoulos

引用次数: 0

Assisting Groupware Development with Model Checking - Case Studies from Cooperative Work in the WWW 用模型检查协助群件开发——来自WWW协同工作的案例研究

The open information systems journal Pub Date : 2007-07-30 DOI: 10.2174/1874133900701010001

C. Papadopoulos

{"title":"Assisting Groupware Development with Model Checking - Case Studies from Cooperative Work in the WWW","authors":"C. Papadopoulos","doi":"10.2174/1874133900701010001","DOIUrl":"https://doi.org/10.2174/1874133900701010001","url":null,"abstract":"Efficient collaboration entails significant benefits for modern enterprises. Recent advances in Internet technology allow physically dispersed groups to bypass the obstacles raised by geographical distances, so the development of Internet based groupware may extend collaboration to a global scale. As groupware applications grow larger and more diverse, however, it becomes difficult to anticipate their correctness. In this paper, we address this difficulty within the context of group awareness, which we regard both as a communication issue and a user-interface one. The main contribution of our research is the use of symbolic model checking for verifying group awareness in collaborative work across the WWW. This involves the specification of two related protocols with temporal logic and the development of a methodology for encoding temporal formulae into the language of a symbolic model checker, which eliminates the need to draw state-transition diagrams. Taking then advantage of the model checker's ability to produce counterexamples, we discover drawbacks in these protocols and propose thereon a number of improvements, which aim to transform the WWW into a reliable collaborative environment.","PeriodicalId":90365,"journal":{"name":"The open information systems journal","volume":"1 1","pages":"1-18"},"PeriodicalIF":0.0,"publicationDate":"2007-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68052830","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 multiple-theory analysis of a diffusion of information technology case 一个信息技术扩散案例的多理论分析

The open information systems journal Pub Date : 2001-01-01 DOI: 10.1046/j.1365-2575.2001.00106.x

R. Baskerville, J. Pries-Heje

引用次数: 73

Norm-based agency for designing collaborative information systems 基于规范的协同信息系统设计机构

The open information systems journal Pub Date : 2001-01-01 DOI: 10.1046/j.1365-2575.2001.00102.x

Kecheng Liu, Lily Sun, A. Dix, M. Narasipuram

{"title":"Norm-based agency for designing collaborative information systems","authors":"Kecheng Liu, Lily Sun, A. Dix, M. Narasipuram","doi":"10.1046/j.1365-2575.2001.00102.x","DOIUrl":"https://doi.org/10.1046/j.1365-2575.2001.00102.x","url":null,"abstract":"Information systems are organizations in which signs are created, processed and consumed. In order to fulfil the organizational goals and objectives, its members must understand their responsibilities and authorities, and must act co-operatively. The key to this organization and co-ordination lies in norms, which define responsibilities and authorities for each human agent, and establish regularities of behaviour. In the context of co-operative work, where ‘intelligent’ software agents are involved, to understand the norms of behaviour of various human agents becomes critical. Software agents can perform some tasks autonomously on the user’s behalf. Such delegation involves a set of complicated philosophical and legal issues. After discussion on delineation of various boundaries of responsibility and authorities, this paper addresses norms and normative behaviour of human agents within an organization. It discusses the taxonomies of norms and a method of norm specification, with examples. Finally it presents an approach of norm-based agency for designing collaborative information systems and a case study of an insurance claim for illustration.","PeriodicalId":90365,"journal":{"name":"The open information systems journal","volume":"141 1","pages":"229-248"},"PeriodicalIF":0.0,"publicationDate":"2001-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73063537","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}

引用次数: 28

Executive Information Systems: Emergence, Development & Impact 行政信息系统:出现、发展与影响

The open information systems journal Pub Date : 1992-10-01 DOI: 10.1111/j.1365-2575.1992.tb00084.x

V. P. Lane

引用次数: 20

Modelling Support in Information Systems Development Gerard M. Wijers 信息系统开发中的建模支持

The open information systems journal Pub Date : 1992-07-01 DOI: 10.1111/j.1365-2575.1992.tb00079.x

A. Sutcliffe

引用次数: 0