Skip to main content
Have a personal or library account? Click to login
Towards a Process Calculus for Rest: Current State of the Art Cover

Towards a Process Calculus for Rest: Current State of the Art

Foundations of Computing and Decision Sciences
Volume 40 (2015): Issue 4 (December 2015)
By: ,   and    
Open Access
|Dec 2015
References

References

  1. [1] van der Aalst, W.: Service mining: Using process mining to discover, check, and improve service behavior. IEEE Transactions on Services Computing 99(PrePrints), 1 (2012)
    Search in Google Scholar
  2. [2] van der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Work- flow patterns. Distributed and parallel databases 14(1), 5-51 (2003)
    Open DOISearch in Google Scholar
  3. [3] Baretto, C., Bullard, V.: Web Services Business Process Execution Lan- guage Version 2.0. http://docs.oasis-open.org/wsbpel/2.0/Primer/wsbpel-v2.0-Primer.html (2007)
    Search in Google Scholar
  4. [4] Bergstra, J.A.: Handbook of Process Algebra. Elsevier Science Inc., New York, NY, USA (2001)
    Search in Google Scholar
  5. [5] Bettini, L., De Nicola, R., Loreti, M.: Implementing session centered calculi. In: Proceedings of the 10th International Conference on Coordination Models and Languages. pp. 17-32. COORDINATION’08, Springer-Verlag, Berlin, Heidelberg (2008), http://dl.acm.org/citation.cfm?id=1788954.1788956
    Search in Google Scholar
  6. [6] Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., et al.: SCC: a service centered calculus. In: Web services and formal methods, pp. 38-57. Springer (2006)
    Open DOISearch in Google Scholar
  7. [7] Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Formal Methods for Open Object-Based Distributed Systems, pp. 19-38. Springer (2008)
    Open DOISearch in Google Scholar
  8. [8] Bravetti, M., Gilmore, S., Guidi, C., Tribastone, M.: Replicating web services for scalability. In: Trustworthy Global Computing, pp. 204-221. Springer (2008)
    Open DOISearch in Google Scholar
  9. [9] Brzeziński, J., Danilecki, A., Flotyński, J., Kobusińska, A., Stroiński, A.: ROsWeL Workflow Language: A Declarative, Resource-oriented Approach. New Generation Computing 30(2-3), 141-164 (2012)
    Open DOISearch in Google Scholar
  10. [10] Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for choreography. In: In Proc. of 3rd International Workshop on Dis- tributed and Mobile Collaboration (DMC 2005). IEEE Computer. pp. 107-112. Society Press (2005)
    Search in Google Scholar
  11. [11] Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Coordination Models and Lan- guages. pp. 63-81. Springer (2006)
    Open DOISearch in Google Scholar
  12. [12] Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Coordination Models and Lan- guages. pp. 63-81. Springer (2006)
    Open DOISearch in Google Scholar
  13. [13] Caires, L., Vieira, H.T.: SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 485-491. Springer (2012)
    Open DOISearch in Google Scholar
  14. [14] Dustdar, S., Gombotz, R., Baina, K.: Web Services Interaction Mining. Tech. Rep. TUV-1841-2004-16, Technical University of Vienna, Information Systems Institute, Distributed Systems Group (2004)
    Search in Google Scholar
  15. [15] Dwornikowski, D., Stroiński, A., Brzeziński, J.: Conformance Checking of Com- municating Resource Systems with RAs Calculus. In: Services Computing (SCC), 2015 IEEE International Conference on. pp. 759-764. IEEE (2015)
    Open DOISearch in Google Scholar
  16. [16] Emerson, E.A., Clarke, E.M.: Characterizing correctness properties of parallel programs using fixpoints. Springer (1980)
    Open DOISearch in Google Scholar
  17. [17] Fielding, R., J., R.: Hypertext Transfer Protocol (HTTP/1.1): Semantics and Content (2014)
    Open DOISearch in Google Scholar
  18. [18] Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. Ph.D. thesis, University of California, Irvine (2000)
    Search in Google Scholar
  19. [19] Fokkink, W.: Introduction to Process Algebra. Springer (2000)
    Open DOISearch in Google Scholar
  20. [20] Gelernter, D.: Generative communication in Linda. ACM Transactions on Pro- gramming Languages and Systems (TOPLAS) 7(1), 80-112 (1985)
    Open DOISearch in Google Scholar
  21. [21] Guidi, C., Lucchi, R.: Mobility mechanisms in service oriented computing. In: In: Proc. of 8th International Conference on on Formal Methods for Open Ob- jectBased Distributed Systems. pp. 233-250. Springer (2006)
    Open DOISearch in Google Scholar
  22. [22] Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: Service-Oriented Computing-ICSOC 2006, pp. 327-338. Springer (2006)
    Open DOISearch in Google Scholar
  23. [23] Hadley, M.J.: Web application description language (wadl). Tech. rep., Sun Mi- crosystems,Inc., Mountain View, CA, USA (2006)
    Search in Google Scholar
  24. [24] He, H.: Implementing REST Web Services: Best Practices and Guidelines. http://www.xml.com/pub/a/2004/08/11/rest.html (2004)
    Search in Google Scholar
  25. [25] Hernández, A.G., García, M.N.M.: A formal definition of RESTful semantic web services. In: Proceedings of the First International Workshop on RESTful Design. pp. 39-45. ACM (2010)
    Open DOISearch in Google Scholar
  26. [26] jolie-lang.org: JOLIE: homepage. http://www.jolie-lang.org/ (2013)
    Search in Google Scholar
  27. [27] JOpera.org: JOpera - process support for Web Services. http://www.jopera.org/ (2013)
    Search in Google Scholar
  28. [28] Juric B., M.: A Hands-on Introduction to BPEL (2006), oracle 2006
    Search in Google Scholar
  29. [29] Kitchin, D., Quark, A., Cook, W., Misra, J.: The Orc programming language. In: Formal Techniques for Distributed Systems, pp. 1-25. Springer (2009)
    Open DOISearch in Google Scholar
  30. [30] Klein, U., Namjoshi, K.S.: Formalization and Automated Verification of RESTful Behavior. In: Computer Aided Verification. pp. 541-556. Springer (2011)
    Open DOISearch in Google Scholar
  31. [31] Kopecký, J., Gomadam, K., Vitvar, T.: hrests: An html microformat for de- scribing restful web services. In: Proceedings of the 2008 IEEE/WIC/ACM In- ternational Conference on Web Intelligence and Intelligent Agent Technology - Volume 01. pp. 619-625. WI-IAT ’08, IEEE Computer Society, Washington, DC, USA (2008), http://dx.doi.org/10.1109/WIIAT.2008.379
    Open DOISearch in Google Scholar
  32. [32] Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web servuces (full version). Tech. rep., Univ. Firenze (2006)
    Search in Google Scholar
  33. [33] Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web ser- vices. In: Programming Languages and Systems, pp. 33-47. Springer (2007)
    Open DOISearch in Google Scholar
  34. [34] Lathem, J., Gomadam, K., Sheth, A.P.: Sa-rest and (s)mashups: Adding se- mantics to restful services. In: Proceedings of the International Conference on Semantic Computing. pp. 469-476. ICSC ’07, IEEE Computer Society, Washing- ton, DC, USA (2007)
    Open DOISearch in Google Scholar
  35. [35] Pautasso, C., Zimmermann, O., Leymann, F.: Restful web services vs. big’web services: making the right architectural decision. In: Proceedings of the 17th international conference on World Wide Web. pp. 805-814. ACM (2008)
    Open DOISearch in Google Scholar
  36. [36] Plotkin, G.: A structural approach to operational semantics (1981)
    Search in Google Scholar
  37. [37] Pnueli, A.: The temporal logic of programs. In: Foundations of Computer Sci- ence, 1977., 18th Annual Symposium on. pp. 46-57. IEEE (1977)
    Open DOISearch in Google Scholar
  38. [38] Richardson, L., Ruby, S.: RESTful Web Services. O’Reilly Media (2007)
    Search in Google Scholar
  39. [39] Sangiorgi, D.: Introduction to Bisimulation and Coinduction. Cambridge Uni- versity Press, New York, NY, USA (2011)
    Open DOISearch in Google Scholar
  40. [40] Sheth, A.P., Gomadam, K., Lathem, J.: Sa-rest: Semantically interoperable and easier-to-use services and mashups. IEEE Internet Computing 11(6), 91-94 (Nov 2007), http://dx.doi.org/10.1109/MIC.2007.133
    Open DOISearch in Google Scholar
  41. [41] Stroiński, A., Dwornikowski, D., Brzeziński, J.: Resource Mining: Applying Pro- cess Mining to Resource-Oriented Systems. In: Business Information Systems, pp. 217-228. Springer International Publishing (2014)
    Open DOISearch in Google Scholar
  42. [42] Stroiński, A., Dwornikowski, D., Brzeziński, J.: RESTful Web Service Min- ing: simple algorithm supporting resource-oriented systems. In: Web Services (ICWS), 2014 IEEE International Conference on. pp. 694-695. IEEE (2014)
    Open DOISearch in Google Scholar
  43. [43] Van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisim- ulation semantics. Journal of the ACM (JACM) 43(3), 555-600 (1996)
    Open DOISearch in Google Scholar
  44. [44] Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Ccalculus: A model of Service Oriented Computation. Tech. Rep. TR-DI/FCT/UNL 6/07, Universidade Nova de Lisboa (2007)
    Search in Google Scholar
  45. [45] Vieira, H.T., Caires, L., Seco, J.C.: The conversation calculus: A model of service-oriented computation. In: Programming Languages and Systems, pp. 269-283. Springer (2008)
    Open DOISearch in Google Scholar
  46. [46] Wu, X., Zhang, Y., Zhu, H., Zhao, Y., Sun, Z., Liu, P.: Formal Modeling and Analysis of the REST Architecture Using CSP. In: Web Services and Formal Methods, pp. 87-102. Springer (2013)
    Open DOISearch in Google Scholar
DOI: https://doi.org/10.1515/fcds-2015-0015 | Journal eISSN: 2300-3405 (formerly 0867-6356) | Journal ISSN: 0867-6356
Journal RSS Feed
Language: English
Page range: 237 - 265
Submitted on: May 11, 2015
Accepted on: Oct 6, 2015
Published on: Dec 12, 2015
Published by: Poznan University of Technology
In partnership with: Paradigm Publishing Services
Keywords:
REST,
ROA,
process calculi,
SOA,
formal modeling
Related subjects:
Computer sciences,
Software development

© 2015 Dariusz Dwornikowski, Andrzej Stroiński, Jerzy Brzeziński, published by Poznan University of Technology
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Volume 40 (2015): Issue 4 (December 2015)
Next article