Modeling and Reasoning about Service Behaviors and Their Compositions-Reference-Cited by-同舟云学术

Modeling and Reasoning about Service Behaviors and Their Compositions

Published:2010 Issue: Volume: Page:82-96
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Čaušević Aida,Seceleanu Cristina,Pettersson Paul

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16561-0_14

Reference20 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994), citeseer.nj.nec.com/alur94theory.html

2. Lecture Notes in Computer Science;R. Alur,2001

3. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: BPEL4WS, Business Process Execution Language for Web Services Version 1.1. IBM (2003)

4. Badban, B., Leue, S., Smaus, J.-G.: Automated predicate abstraction for real-time models. EPTCS 10, 36 (2009), doi:10.4204/EPTCS.10.3

5. Causevic, A., Seceleanu, C., Pettersson, P.: Formal reasoning of resource-aware services. Technical Report ISSN 1404-3041 ISRN MDH-MRTC-245/2010-1-SE, Mälardalen University (June 2010)

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

1. Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014

2. Checking Correctness of Services Modeled as Priced Timed Automata;Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies;2012