A Formal Approach for the Development of Service-Oriented Applications
Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru,, Matei Popovici, Ciprian Dobre
TL;DR
This paper presents a formal methodology for developing service-oriented applications, aiming to improve correctness and reliability through rigorous specification and verification techniques.
Contribution
It introduces a novel formal framework tailored for service-oriented architectures, enhancing development accuracy over traditional approaches.
Findings
Formal framework improves development correctness
Enhances reliability of service-oriented applications
Provides a basis for automated verification
Abstract
Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Applications, in Proc. of 18th International Conference on Control Systems and Computer Science (CSCS-18), Bucharest, Romania, 2011, pp. 804-810, ISSN: 2066-4451, Politehnica Press"
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsService-Oriented Architecture and Web Services