商业信息系统中时间和一致性建模模式

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI:10.1109/ICECCS.2010.43

J. Bryans, J. Fitzgerald, A. Romanovsky, A. Roth

{"title":"商业信息系统中时间和一致性建模模式","authors":"J. Bryans, J. Fitzgerald, A. Romanovsky, A. Roth","doi":"10.1109/ICECCS.2010.43","DOIUrl":null,"url":null,"abstract":"Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current work aims to use Event-B and the Rodin tools to support the specification and design of such systems in a way that integrates well into existing development processes. This paper presents Event-B patterns that may be used to represent recovery from time-bounded inconsistency and illustrates their use in a model derived from industrial applications.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"57 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"Patterns for Modelling Time and Consistency in Business Information Systems\",\"authors\":\"J. Bryans, J. Fitzgerald, A. Romanovsky, A. Roth\",\"doi\":\"10.1109/ICECCS.2010.43\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current work aims to use Event-B and the Rodin tools to support the specification and design of such systems in a way that integrates well into existing development processes. This paper presents Event-B patterns that may be used to represent recovery from time-bounded inconsistency and illustrates their use in a model derived from industrial applications.\",\"PeriodicalId\":120255,\"journal\":{\"name\":\"2010 15th IEEE International Conference on Engineering of Complex Computer Systems\",\"volume\":\"57 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-03-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 15th IEEE International Conference on Engineering of Complex Computer Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICECCS.2010.43\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICECCS.2010.43","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 16

摘要

维护数据的语义一致性是分布式信息系统中的一个重要问题，特别是那些业务可能依赖的信息系统。我们当前的工作目标是使用Event-B和Rodin工具，以一种很好地集成到现有开发过程中的方式来支持此类系统的规范和设计。本文介绍了可用于表示从有时间限制的不一致中恢复的Event-B模式，并说明了它们在源自工业应用程序的模型中的使用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Patterns for Modelling Time and Consistency in Business Information Systems

Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current work aims to use Event-B and the Rodin tools to support the specification and design of such systems in a way that integrates well into existing development processes. This paper presents Event-B patterns that may be used to represent recovery from time-bounded inconsistency and illustrates their use in a model derived from industrial applications.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2010 15th IEEE International Conference on Engineering of Complex Computer Systems

自引率

0.00%

发文量