2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises最新文献_第6页

OPM Model-Driven Animated Simulation with Computational Interface to Matlab OPM模型驱动动画仿真与Matlab计算接口

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.32

Sergey Bolshchikov, Aharon Renick, S. Mazor, Judith Somekh, D. Dori

{"title":"OPM Model-Driven Animated Simulation with Computational Interface to Matlab","authors":"Sergey Bolshchikov, Aharon Renick, S. Mazor, Judith Somekh, D. Dori","doi":"10.1109/WETICE.2011.32","DOIUrl":"https://doi.org/10.1109/WETICE.2011.32","url":null,"abstract":"Modeling plays an increasingly important role in the life-cycle of systems, starting from the design stage, as well as important in the process of studying an unfamiliar, existing system. Complex systems are difficult to model, making it harder for users to deeply understand their intricate behavior. Moreover, in many cases the system may exhibit complex computational and stochastic behavior, critical to truly representing the system. Despite existing modeling methodologies contain behavioral diagrams aimed to describe the systems' changes over time, they are still static and majority of them do not fully reflect the behavior of systems in spatio-temporal space in a manner that is close to conceived reality. Similarly, these methodologies do not offer an ability to fully model the quantitative aspects of the system, or offer such ability at the expense of simplicity or generality of the methodology. We offer two complementing concepts, Vivid OPM and OPM Matlab Layer, which address the dynamic display and quantitative aspects by enhancing Object Process Methodology (OPM) to better reflect these aspects while keeping the holism and simplicity of OPM.","PeriodicalId":274311,"journal":{"name":"2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130069925","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

Cooperative Knowledge Discovery & Data Mining Track Report - CKDD 2011 合作知识发现与数据挖掘跟踪报告

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.66

Mohand Tahar Kechadi, I. Savvas

引用次数: 0

The Complex Semantic Space Model 复杂语义空间模型

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.65

H. Zhuge

引用次数: 13

Petri Net Modeling and Verification of Transactional Workflows 事务工作流的Petri网建模与验证

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.72

Kais Klai, Walid Gaaloul

{"title":"Petri Net Modeling and Verification of Transactional Workflows","authors":"Kais Klai, Walid Gaaloul","doi":"10.1109/WETICE.2011.72","DOIUrl":"https://doi.org/10.1109/WETICE.2011.72","url":null,"abstract":"The increasing use of Workflow Management Systems (WfMS) in companies expresses their undeniable importance to improve the efficiency of their processes and their execution costs. However, with the technological improvements and the continuous increasing market pressures and requirements, collaborative information systems are becoming more and more complex, involving numerous interacting business objects. Consequently, in spite of their obvious potential, WfMS show some limitations to ensure a correct and reliable execution. Therefore, there is a growing interest for verification techniques which help to provide reliable transactional workflow behavior and thereafter prevent workflow execution failures. In this paper, we propose a Petri net driven approach to validate workflow transactional behavior to subsequently improve and correct related recovery mechanisms. The transactional behavior verification is done at design time to validate the transactional behavior consistency and help designers to provide correct recovery mechanisms. By using Petri nets and Temporal Logic formalisms to specify and check the transactional behavior consistency, the approach we present in this paper provides a logical foundation to ensure workflow execution reliability.","PeriodicalId":274311,"journal":{"name":"2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133615104","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 Principled Approach to Eventual Consistency 达到最终一致性的原则性方法

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.76

M. Shapiro

{"title":"A Principled Approach to Eventual Consistency","authors":"M. Shapiro","doi":"10.1109/WETICE.2011.76","DOIUrl":"https://doi.org/10.1109/WETICE.2011.76","url":null,"abstract":"Replicating shared data is a fundamental mechanism in large-scale distributed systems, but suffers from a fundamental tension between scalability and data consistency. Eventual consistency sidesteps the (foreground) synchronisation bottleneck, but remains ad-hoc, error-prone, and difficult to prove correct. We present a promising new approach that is simple, scales almost indefinitely, and provably ensures eventual consistency: A CRDT is a data type that demonstrates some simple properties, viz. that its concurrent operations commute, or that its states form a semi-lattice. Any CRDT provably converges, provided all replicas eventually receive all operations. A CRDT requires no synchronisation: an update can execute immediately, irrespective of network latency, faults, or disconnection; it is highly scalable and fault-tolerant. The approach is necessarily limited since any task requiring consensus is out of reach. Nonetheless, many interesting and useful data types can be designed as a CRDT. We previously published the Treedoc CRDT, a sequence data type suited to concurrent editing tasks (as in a p2p wiki). This talk presents a portfolio of generally useful, non-trivial, composable CRDTs, including variations on counters, registers, sets, maps (key-value stores), graphs and sequences. This research is part of a systematic and principled study of CRDTs, to discover their power and limitations, and to better understand the underlying mechanisms and requirements. The challenges ahead include scaling garbage collection and integrating occasional non-commuting operations.","PeriodicalId":274311,"journal":{"name":"2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"50 18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124041422","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

Towards Configuration Support for Collaborative Simulator Development - A Product Line Approach in Model Based Systems Engineering 面向协同模拟器开发的配置支持——基于模型的系统工程中的产品线方法

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.74

H. Andersson, M. Carlsson, J. Ölvander

{"title":"Towards Configuration Support for Collaborative Simulator Development - A Product Line Approach in Model Based Systems Engineering","authors":"H. Andersson, M. Carlsson, J. Ölvander","doi":"10.1109/WETICE.2011.74","DOIUrl":"https://doi.org/10.1109/WETICE.2011.74","url":null,"abstract":"In development and support of complex products such as power plants, automotive vehicles, or aircrafts, modeling and simulation has become an important activity as a basis for knowledge capture. Simulation is used in several steps of the product lifecycle; for evaluation of early design, for system verification, and for user training. With emerging techniques such as tools for high-level modeling, multi-core computing, and visualization, the number of useful models is growing. This paper focuses on reuse of multipurpose models and configuration support in a product line context. A configurator prototype system is presented. The simulator set created from validated models is considered to be a secondary product line. The product set which the simulation models represent is considered to be the primary product line. The Saab Gripen fighter aircraft, together with simulators in which the aircraft behavior, performance, and handling qualities are represented, is used to exemplify application. Integration principles of the systems for simulator configuration, Software Configuration Management, and Product Data Management (PDM) are studied. Preliminary results show that a configurator tool can be used, but there is need to map structures between the simulation and PDM domains.","PeriodicalId":274311,"journal":{"name":"2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129000588","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

Sam Dog: A Java Sandbox Using a Cascading Access Control List Approach Sam Dog:使用级联访问控制列表方法的Java沙盒

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.24

F. C. Teixeira, M. J. Santana, R. Santana, S. Bruschi, J. C. Estrella

引用次数: 1

Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011 自适应和可重构面向服务和基于组件的应用和体系结构跟踪报告

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.70

K. Drira, M. Jmaiel

引用次数: 0

Resisting Collusion by Game in Culture Web 用游戏抵制文化网络中的合谋

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-27 DOI: 10.1109/WETICE.2011.45

Yu Bao, Tianjie Cao, Guosun Zeng

引用次数: 73

Web Service Micro-Container for Service-based Applications in Cloud Environments 云环境中基于服务的应用的Web服务微容器

2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2011-06-01 DOI: 10.1109/WETICE.2011.51

Mohamed Mohamed, Sami Yangui, S. Moalla, S. Tata

引用次数: 26