Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services-Reference-Cited by-同舟云学术

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services

Published:2009 Issue: Volume: Page:333-347
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Rajan Hridesh,Tao Jia,Shaner Steve,Leavens Gary T.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00590-9_24

Reference44 articles.

1. Papazoglou, M.P., Georgakopoulos, D.: Service-oriented computing: Introduction. Commun. ACM 46(10), 24–28 (2003)

2. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1. Technical report, World Wide Web Consortium (March 2001)

3. Barth, A., Mitchell, J., Datta, A., Sundaram, S.: Privacy and utility in business processes. In: CSF 2007, pp. 279–294 (2007)

4. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for Java. SIGSOFT Softw. Eng. Notes 31(3), 1–38 (2006)

5. Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of web service compositions. In: ICWS 2006, pp. 63–71 (2006)

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

1. A Two-Component Language for Adaptation: Design, Semantics and Program Analysis;IEEE Transactions on Software Engineering;2016-06-01

2. Specifying and Verifying Advanced Control Features;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016