首页 > 最新文献

2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)最新文献

英文 中文
An Artifact-Centric Business Process Execution Platform 以工件为中心的业务流程执行平台
Patricio Pérez, Julio Torres-Tello, Seok-Bum Ko
Document is unavailable: This DOI was registered to an article that was not presented by the author(s) at this conference. As per section 8.2.1.B.13 of IEEE's "Publication Services and Products Board Operations Manual," IEEE has chosen to exclude this article from distribution. We regret any inconvenience.
文档不可用:此DOI被注册到一篇未由作者在本次会议上发表的文章上。根据第8.2.1.B节。IEEE的“出版服务和产品委员会操作手册”第13条,IEEE已经选择将这篇文章从分发中排除。给您带来不便,我们深表歉意。
{"title":"An Artifact-Centric Business Process Execution Platform","authors":"Patricio Pérez, Julio Torres-Tello, Seok-Bum Ko","doi":"10.1109/ISCAS.2019.8702737","DOIUrl":"https://doi.org/10.1109/ISCAS.2019.8702737","url":null,"abstract":"Document is unavailable: This DOI was registered to an article that was not presented by the author(s) at this conference. As per section 8.2.1.B.13 of IEEE's \"Publication Services and Products Board Operations Manual,\" IEEE has chosen to exclude this article from distribution. We regret any inconvenience.","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129146258","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}
引用次数: 13
Untangling EA's Long Path of Becoming a Partner for Business Transformation: The Case of Swiss Federal Railways 解析EA成为业务转型合作伙伴的漫长历程:以瑞士联邦铁路为例
Stephan Aier, Simon Weiss, R. Winter, Bernhard Rytz
We analyze the enterprise architecture management (EAM) 'journey' of the Swiss Federal Railways over the last twenty years. Fundamental organizational changes were matched by shifts of EAM's focus from advocating an enterprise-wide perspective over developing the enterprise architecture toolbox to establishing business transformation support. Beyond maturity considerations, insights from this longitudinal case study can be gained from an institutional perspective, i.e., by describing the EAM journey not only as a process of establishing the EAM function, but also as a process that extends EAM effects beyond the boundaries of IT. We identify four principles that guided this process: (1) Consistency of norms and values (2) Focus on reinventing rather than maturing (3) Picking the right EAM 'battles', and (4) Playing on EAM's holistic perspective.
我们分析了企业架构管理(EAM)瑞士联邦铁路公司过去二十年的“旅程”。基本的组织变更与EAM的焦点转移相匹配,从倡导开发企业架构工具箱的企业范围视角到建立业务转换支持。除了对成熟度的考虑之外,从这个纵向案例研究中获得的见解可以从制度的角度来看,也就是说,通过将EAM之旅不仅描述为建立EAM功能的过程,而且描述为将EAM效果扩展到IT边界之外的过程。我们确定了指导这一过程的四个原则:(1)规范和价值观的一致性;(2)专注于重塑而不是成熟;(3)选择正确的EAM“战斗”;(4)从EAM的整体角度出发。
{"title":"Untangling EA's Long Path of Becoming a Partner for Business Transformation: The Case of Swiss Federal Railways","authors":"Stephan Aier, Simon Weiss, R. Winter, Bernhard Rytz","doi":"10.1109/EDOCW.2016.7584394","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584394","url":null,"abstract":"We analyze the enterprise architecture management (EAM) 'journey' of the Swiss Federal Railways over the last twenty years. Fundamental organizational changes were matched by shifts of EAM's focus from advocating an enterprise-wide perspective over developing the enterprise architecture toolbox to establishing business transformation support. Beyond maturity considerations, insights from this longitudinal case study can be gained from an institutional perspective, i.e., by describing the EAM journey not only as a process of establishing the EAM function, but also as a process that extends EAM effects beyond the boundaries of IT. We identify four principles that guided this process: (1) Consistency of norms and values (2) Focus on reinventing rather than maturing (3) Picking the right EAM 'battles', and (4) Playing on EAM's holistic perspective.","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126851959","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
Using Open Data to Support Case Management 使用开放数据支持病例管理
Martin Henkel, E. Perjons, Ulrika Drougge
Public organizations handle many request from citizens, some are routine requests, while others are more complex. To handle requests it is assumed that the case handler and the client share some common grounds, for example that the client and handler have a basic shared understanding of the roles and requirement on them. In this paper we examine how the concept of open data can be used to help the interaction between the client and the case handler. Open data builds upon that public data sources, such as legislations and explanations thereof, is made public. Third parties can then make use of this data and provide tailor-made services for clients. The paper is based on a case study performed at a Swedish municipality, and focus on the potential of open data application for improving the municipalities case handling.
公共机构处理来自公民的许多请求,有些是常规请求,而另一些则更为复杂。为了处理请求,假设案例处理程序和客户端共享一些公共基础,例如,客户端和处理程序对它们的角色和需求有基本的共享理解。在本文中,我们将研究如何使用开放数据的概念来帮助客户端和案例处理程序之间的交互。开放数据建立在公开的公共数据源(如立法及其解释)的基础上。然后,第三方可以利用这些数据为客户提供量身定制的服务。本文基于在瑞典市政当局进行的案例研究,重点关注开放数据应用的潜力,以改善市政当局的案件处理。
{"title":"Using Open Data to Support Case Management","authors":"Martin Henkel, E. Perjons, Ulrika Drougge","doi":"10.1109/EDOCW.2016.7584395","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584395","url":null,"abstract":"Public organizations handle many request from citizens, some are routine requests, while others are more complex. To handle requests it is assumed that the case handler and the client share some common grounds, for example that the client and handler have a basic shared understanding of the roles and requirement on them. In this paper we examine how the concept of open data can be used to help the interaction between the client and the case handler. Open data builds upon that public data sources, such as legislations and explanations thereof, is made public. Third parties can then make use of this data and provide tailor-made services for clients. The paper is based on a case study performed at a Swedish municipality, and focus on the potential of open data application for improving the municipalities case handling.","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"418 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122119348","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
Message from the Demonstration Track 2016 Chairs 来自2016年演示专场的信息
W. Fdhila, Stefan Schulte
NA
{"title":"Message from the Demonstration Track 2016 Chairs","authors":"W. Fdhila, Stefan Schulte","doi":"10.1109/EDOCW.2016.7584370","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584370","url":null,"abstract":"NA","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117016410","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
Location-Aware Path Alignment in Process Mining 过程挖掘中的位置感知路径对齐
P. Blank, M. Maurer, Melanie Siebenhofer, Andreas Rogge-Solti, Stefan Schönig
Location-aware log data is an untapped source of information that promises new business analysis insights. This is in particular the case for business processes that can be linked to sensor data such as RFID or WiFi signals. Technically, this question can be formulated as a special type of alignment problem, which is well known in process mining. In this paper, we formalize the alignment problem for spatio-temporal event data. Our contribution is a novel algorithm that finds sensor IDs that travel together on the basis of their location information. Questions centered around spatio-temporal event logs may include all kinds of movements, such as customers in shops highlighting 'Hot and Cold areas' or tracking of material and goods in a production plant. For this paper, we choose a specific challenge for retail companies, which is to find out if customers are alone or visit the shop together with family or friends. Therefore, the algorithm is tested using positioning-data of a retail shop from the fashion industry. Our results highlight the benefits of location-based process mining by showing its applicability in real scenarios.
位置感知日志数据是一种未开发的信息源,有望提供新的业务分析见解。对于可以链接到传感器数据(如RFID或WiFi信号)的业务流程尤其如此。从技术上讲,这个问题可以表述为一种特殊类型的对准问题,这在过程挖掘中是众所周知的。在本文中,我们形式化了时空事件数据的对齐问题。我们的贡献是一种新的算法,可以根据位置信息找到一起移动的传感器id。以时空事件日志为中心的问题可能包括各种运动,例如商店中的顾客突出“冷热区”或跟踪生产工厂中的材料和货物。在本文中,我们选择了一个针对零售公司的特定挑战,即找出顾客是独自一人还是与家人或朋友一起参观商店。因此,使用时装业零售商店的定位数据对算法进行测试。我们的结果通过展示其在真实场景中的适用性,突出了基于位置的过程挖掘的好处。
{"title":"Location-Aware Path Alignment in Process Mining","authors":"P. Blank, M. Maurer, Melanie Siebenhofer, Andreas Rogge-Solti, Stefan Schönig","doi":"10.1109/EDOCW.2016.7584367","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584367","url":null,"abstract":"Location-aware log data is an untapped source of information that promises new business analysis insights. This is in particular the case for business processes that can be linked to sensor data such as RFID or WiFi signals. Technically, this question can be formulated as a special type of alignment problem, which is well known in process mining. In this paper, we formalize the alignment problem for spatio-temporal event data. Our contribution is a novel algorithm that finds sensor IDs that travel together on the basis of their location information. Questions centered around spatio-temporal event logs may include all kinds of movements, such as customers in shops highlighting 'Hot and Cold areas' or tracking of material and goods in a production plant. For this paper, we choose a specific challenge for retail companies, which is to find out if customers are alone or visit the shop together with family or friends. Therefore, the algorithm is tested using positioning-data of a retail shop from the fashion industry. Our results highlight the benefits of location-based process mining by showing its applicability in real scenarios.","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128903567","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
Social Set Visualizer (SoSeVi) II: Interactive Computational Set Analysis of Big Social Data 社会集可视化工具(SoSeVi) II:大社会数据的交互式计算集分析
Benjamin Flesch, Ravikiran Vatrapu
This paper reports the second iteration of the Social Set Visualizer (SoSeVi), a set theoretical visual analytics dashboard of big social data. In order to further demonstrate its usefulness in large-scale visual analytics tasks of individual and collective behavior of actors in social networks, the current iteration of the Social Set Visualizer (SoSeVi) in version II builds on recent advancements in visualizing set intersections. The development of the SoSeVi dashboard involved cutting-edge open source visual analytics libraries (D3.js) and creation of new visualizations such as of actor mobility across time and space, conversational comets, and more. SoSeVi II introduces means of real-time migration visualization between social sets.
本文报道了Social Set Visualizer (SoSeVi)的第二次迭代,SoSeVi是一个集大社交数据的理论可视化分析仪表板。为了进一步证明其在社交网络中参与者的个人和集体行为的大规模视觉分析任务中的有用性,当前版本II的社会集可视化器(SoSeVi)建立在可视化集交叉点的最新进展之上。SoSeVi仪表板的开发涉及到尖端的开源可视化分析库(D3.js),并创建了新的可视化,例如跨时间和空间的演员移动性、会话彗星等。SoSeVi II引入了社交集之间实时迁移可视化的方法。
{"title":"Social Set Visualizer (SoSeVi) II: Interactive Computational Set Analysis of Big Social Data","authors":"Benjamin Flesch, Ravikiran Vatrapu","doi":"10.1109/EDOCW.2016.7584388","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584388","url":null,"abstract":"This paper reports the second iteration of the Social Set Visualizer (SoSeVi), a set theoretical visual analytics dashboard of big social data. In order to further demonstrate its usefulness in large-scale visual analytics tasks of individual and collective behavior of actors in social networks, the current iteration of the Social Set Visualizer (SoSeVi) in version II builds on recent advancements in visualizing set intersections. The development of the SoSeVi dashboard involved cutting-edge open source visual analytics libraries (D3.js) and creation of new visualizations such as of actor mobility across time and space, conversational comets, and more. SoSeVi II introduces means of real-time migration visualization between social sets.","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114352735","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
Automated Event Driven Dynamic Case Management 自动事件驱动的动态案例管理
Stefan Scheit, T. Ploom, B. O'Reilly, A. Glaser
Workflow automation was first applied for structured processes, for processes which were determined at design time. Decades later case management emerged, workflows which were determined at runtime. Decisions in case management are made by human actors. Case management processing is very labor intensive. How could case management be transferred to a Straight-through processing type workflow which reduces involvement of human actors? This paper focuses on merger of case management with real time analytics which helps to replace human decision makers in the case management process with automated real time decision making while preserving non-deterministic nature of the workflow. Merger of case management with real time big data analytics could be next step in the evolution of the case management. Reference architecture for case management and real time analytics merger is defined. Also a case study is presented which implements defined reference architecture.
工作流自动化首先应用于结构化过程,用于在设计时确定的过程。几十年后,案例管理出现了,在运行时确定工作流。病例管理中的决策是由人类行动者做出的。案件管理过程是非常劳动密集型的。如何将案例管理转移到减少人类参与者参与的直通式处理类型工作流?本文的重点是案例管理与实时分析的融合,这有助于用自动化的实时决策取代案例管理过程中的人工决策者,同时保持工作流的非确定性。案例管理与实时大数据分析的融合可能是案例管理发展的下一步。定义了案例管理和实时分析合并的参考体系结构。同时给出了一个实现已定义参考体系结构的案例研究。
{"title":"Automated Event Driven Dynamic Case Management","authors":"Stefan Scheit, T. Ploom, B. O'Reilly, A. Glaser","doi":"10.1109/EDOCW.2016.7584350","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584350","url":null,"abstract":"Workflow automation was first applied for structured processes, for processes which were determined at design time. Decades later case management emerged, workflows which were determined at runtime. Decisions in case management are made by human actors. Case management processing is very labor intensive. How could case management be transferred to a Straight-through processing type workflow which reduces involvement of human actors? This paper focuses on merger of case management with real time analytics which helps to replace human decision makers in the case management process with automated real time decision making while preserving non-deterministic nature of the workflow. Merger of case management with real time big data analytics could be next step in the evolution of the case management. Reference architecture for case management and real time analytics merger is defined. Also a case study is presented which implements defined reference architecture.","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130202452","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
Message from the SOEA4EE 2016 Workshop Chairs 2016年SOEA4EE研讨会主席致辞
S. Nurcan, Rainer Schmidt
NA
{"title":"Message from the SOEA4EE 2016 Workshop Chairs","authors":"S. Nurcan, Rainer Schmidt","doi":"10.1109/EDOCW.2016.7584373","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584373","url":null,"abstract":"NA","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131649463","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
Ontology-Based Behavioral Constraint Authoring 基于本体的行为约束创作
Christoph Czepa, Huy Tran, Uwe Zdun, T. Tran, E. Weiss, C. Ruhsam
A major approach for formalizing business policies or compliance rules (e.g., stemming from regulatory laws or standards) are behavioral constraints. Flexible business process management approaches such as Adaptive Case Management provide business users the necessary freedom to react to unforeseeable circumstances by ad-hoc changes, but behavioral constraints are often defined and maintained on a technical level which is inaccessible for business users. Consequently, long update cycles of these constraints might result in the enactment of obsolete, incomplete or faulty constraints which hinder the work of the business user instead of supporting it. In this paper, an ontology-based approach for defining and maintaining behavioral constraints in the context of flexible business processes is proposed. The approach aims at enabling business users to take active part in the creation and maintenance of behavioral constraints. The practical applicability of the approach is discussed by means of a realistic scenario on compliance in the context of renovation, repairs, and maintenance of buildings.
形式化业务策略或遵从规则(例如,源于法规或标准)的主要方法是行为约束。灵活的业务流程管理方法(如Adaptive Case management)为业务用户提供了通过临时更改对不可预见的情况作出反应的必要自由,但是行为约束通常是在业务用户无法访问的技术级别上定义和维护的。因此,这些约束的长更新周期可能导致制定过时的、不完整的或有缺陷的约束,从而阻碍业务用户的工作,而不是支持它。本文提出了一种基于本体的方法,用于在灵活的业务流程上下文中定义和维护行为约束。该方法旨在使业务用户能够积极地参与行为约束的创建和维护。本文通过对建筑翻新、维修和维护过程中合规问题的实际情况进行了讨论。
{"title":"Ontology-Based Behavioral Constraint Authoring","authors":"Christoph Czepa, Huy Tran, Uwe Zdun, T. Tran, E. Weiss, C. Ruhsam","doi":"10.1109/EDOCW.2016.7584380","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584380","url":null,"abstract":"A major approach for formalizing business policies or compliance rules (e.g., stemming from regulatory laws or standards) are behavioral constraints. Flexible business process management approaches such as Adaptive Case Management provide business users the necessary freedom to react to unforeseeable circumstances by ad-hoc changes, but behavioral constraints are often defined and maintained on a technical level which is inaccessible for business users. Consequently, long update cycles of these constraints might result in the enactment of obsolete, incomplete or faulty constraints which hinder the work of the business user instead of supporting it. In this paper, an ontology-based approach for defining and maintaining behavioral constraints in the context of flexible business processes is proposed. The approach aims at enabling business users to take active part in the creation and maintenance of behavioral constraints. The practical applicability of the approach is discussed by means of a realistic scenario on compliance in the context of renovation, repairs, and maintenance of buildings.","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131912163","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
SAVE: An Environment for Visual Specification and Verification of IoT SAVE:物联网可视化规范和验证的环境
Yeongbok Choe, Sunghyeon Lee, Moonkun Lee
This paper presents a visual environment, called SAVE, to model IoT systems with dynamic and static properties. Firstly, the dynamic properties, such as operational requirements, of the systems are specified with a process algebra, called δ-Calculus, and, secondly the static properties, such as safety requirements, of the systems are specified with a first-order logic, called GTS Logic. Once specifications are done, the static properties are verified on the dynamic properties by checking whether or not the static properties are valid for the simulation of the systems based on the dynamic properties. SAVE provides a set of visual tools to specify both dynamic and static properties of the systems, simulate the systems based on the dynamic properties, and to verify the static properties on the dynamic properties from the simulation. SAVE is developed on the ADOxx meta-modeling platform. It can be considered one of the most innovative visual tools to model IoT systems for both dynamic and static properties of the systems and to verify the validity of the static properties on the dynamic properties.
本文提出了一个名为SAVE的可视化环境,用于对具有动态和静态属性的物联网系统进行建模。首先,系统的动态特性(如操作要求)用过程代数(称为δ-微积分)指定,其次,系统的静态特性(如安全要求)用一阶逻辑(称为GTS逻辑)指定。规范完成后,通过检查静态属性对于基于动态属性的系统仿真是否有效,在动态属性上验证静态属性。SAVE提供了一组可视化工具来指定系统的动态和静态属性,基于动态属性模拟系统,并在模拟的动态属性上验证静态属性。SAVE是在ADOxx元建模平台上开发的。它可以被认为是最具创新性的可视化工具之一,用于为系统的动态和静态属性建模物联网系统,并验证静态属性对动态属性的有效性。
{"title":"SAVE: An Environment for Visual Specification and Verification of IoT","authors":"Yeongbok Choe, Sunghyeon Lee, Moonkun Lee","doi":"10.1109/EDOCW.2016.7584384","DOIUrl":"https://doi.org/10.1109/EDOCW.2016.7584384","url":null,"abstract":"This paper presents a visual environment, called SAVE, to model IoT systems with dynamic and static properties. Firstly, the dynamic properties, such as operational requirements, of the systems are specified with a process algebra, called δ-Calculus, and, secondly the static properties, such as safety requirements, of the systems are specified with a first-order logic, called GTS Logic. Once specifications are done, the static properties are verified on the dynamic properties by checking whether or not the static properties are valid for the simulation of the systems based on the dynamic properties. SAVE provides a set of visual tools to specify both dynamic and static properties of the systems, simulate the systems based on the dynamic properties, and to verify the static properties on the dynamic properties from the simulation. SAVE is developed on the ADOxx meta-modeling platform. It can be considered one of the most innovative visual tools to model IoT systems for both dynamic and static properties of the systems and to verify the validity of the static properties on the dynamic properties.","PeriodicalId":287808,"journal":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133869739","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}
引用次数: 13
期刊
2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)
全部 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1