Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services

Author:

Kraemer Frank Alexander,Herrmann Peter,Bræk Rolv

Publisher

Springer Berlin Heidelberg

Reference39 articles.

1. Sanders, R.T., Castejón, H.N., Kraemer, F.A., Bræk, R.: Using UML 2.0 Collaborations for Compositional Service Specification. In: ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems (2005)

2. Rossebø, J.E.Y., Bræk, R.: Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. In: Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES 2006), pp. 206–215. IEEE Computer Society Press, Los Alamitos (2006)

3. Castejón, H.N., Bræk, R.: A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. In: ICSE’s 5th Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006) (2006)

4. Object Management Group: Unified Modeling Language: Superstructure Version 2.0 (2005)

5. Lecture Notes in Computer Science;R. Bræk,2005

Cited by 11 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems;Robotic Systems;2020

2. Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems;Advances in Web Technologies and Engineering;2019

3. Formal Model-Based Development in Industrial Automation with Reactive Blocks;Software Technologies: Applications and Foundations;2016

4. Model-Based Engineering and Spatiotemporal Analysis of Transport Systems;Communications in Computer and Information Science;2016

5. Behavioral Singletons to Consistently Handle Global States of Security Patterns;Distributed Applications and Interoperable Systems;2012

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3