Specification and Verification for Grid Component-Based Applications: From Models to Tools-Reference-Cited by-同舟云学术

Specification and Verification for Grid Component-Based Applications: From Models to Tools

Published:2009 Issue: Volume: Page:180-203
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
language:
Short-container-title:

Author:

Cansado Antonio,Madelaine Eric

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04167-9_10

Reference33 articles.

1. Szyperski, C.: Component Software, 2nd edn. Addison-Wesley, Reading (2002)

2. Lecture Notes in Computer Science;E. Bruneton,2004

3. CoreGRID, Programming Model Institute: Basic features of the grid component model (assessed). Technical report, CoreGRID, Programming Model Virtual Institute, Deliverable D.PM.04 (2006), http://www.coregrid.net/mambo/images/stories/Deliverables/d.pm.04.pdf

4. Oquendo, F.: π-ADL: An Architecture Description Language based on the Higher Order Typed π-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes 26(3) (2004)

5. Groote, J., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The Formal Specification Language mCRL2. In: Proc. Methods for Modelling Software Systems (2007)

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

1. IoT composition based on self-controlled services;Journal of Ambient Intelligence and Humanized Computing;2020-03-04

2. Verification of Concurrent Design Patterns with Data;Lecture Notes in Computer Science;2019

3. A Theory for the Composition of Concurrent Processes;Formal Techniques for Distributed Objects, Components, and Systems;2016

4. Integrated Environment for Verifying and Running Distributed Components;Fundamental Approaches to Software Engineering;2016

5. Management of service compositionbased on self-controlled components;Journal of Internet Services and Applications;2015-07-25