Abstract
Software quality always attracts considerable attentions of people. Software running without any mistakes is always a dream of all developers. Besides traditional testing method using in practice such as path coverage, selection coverage, etc, people try to use some more formal and reliably method to ensure the quality. SOFL, stands for Structured Object-oriented Formal Language, is a kind of formal language which can be used to describe, validate and verify core business flow of software. As software developing model keeps changing for years, we need to make some extensions to SOFL. In this paper, we have performed extension on transactional remote services designed for SOFL. Our extension can mainly be divided into two parts: remote services and transactions. By introducing these, SOFL is able to keep pace with the changing software developing model, thus ensuring software quality in a more mathematical and different way comparing with traditional testing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Marciniak, J.J.: Encyclopedia of Software Engineering, 2nd edn. Wiley Publications (1994)
Cai, L., Yang, G.: Software Quality Assurance Testing and Evaluating. Tsing Hua University Publications (2007)
Aked, M.: RUP in brief. In: Risk Reduction with the RUP Phase Plan, pp. 1–10. IBM (November 2003)
Pressman, R.S.: Software Engineering, a Practitioner’s Approach. McGraw-Hill Science/Engineering/Math. (2009)
Liu, S.: Formal Engineering for Industrial Software Development. Springer (2008)
Liu, S.: A property-based approach to reviewing formal specifications for consistency. In: Proc. of 16th International Conference on Software Systems Engineering and Their Applications, pp. 1–6 (2003)
Liu, S.: An automated rigorous review method for verifying and validating formal specifications. In: Wang, F. (ed.) ATVA 2004. LNCS, vol. 3299, pp. 15–19. Springer, Heidelberg (2004)
Sun, C., Zhang, X., Zheng, L.: The research of the component-based software engineering. In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, pp. 1590–1591 (2009)
Bell, M.: Introduction to Service-Oriented Modeling. Wiley and Sons (2008)
Raicu, I., Lu, S., Foster, I., Zhao, Y.: Cloud computing and grid computing 360-degree compared. In: Grid Computing Environments Workshop, GCE, pp. 1–10 (August 2008)
Benslimane, D., Dustdar, S., Sheth, A.: Services mashups: The new generation of web applications
Korth, H.F., Silberschatz, A.: Database System Concepts, 4th edn. McGraw-Hill Education (2006)
Morimoto, S.: A survey of formal verification for business process modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol. 5102, pp. 514–522. Springer, Heidelberg (2008)
Sipei, L., Jin, W., Lei, W., Park, S.: Description logic rule, matching process algebra based OWL-S modeling, and composition
Schaerf, M., Salaun, G., Bordeaux, L.: Describing and reasoning on web services using process algebra. In: Proceedings of the IEEE International Conference on Web Services, pp. 43–50 (2004)
Verbeek: Analyzing bpel processes using petri nets
Van der Aalst: Verification of workflow nets
Dumas, M., Van der Aalst, Verbeek, H.M.W.: An approach based on bpel and petri nets (extended version)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley (2006)
Diaz, G., Pardo, J.-J., Cambronero, M.-E., Valero, V., Cuartero, F.: Automatic translation of WS-CDL choreographies to timed automata. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 230–242. Springer, Heidelberg (2005)
Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: Proc. of 13th International Conference on the World Wide Web, pp. 621–630 (2004)
Sun, Y., Liu, S.: Structured methodology+object-oriented methodology+formal methods: methodology of sofl
Miyamoto, K., Liu, S., Fukuzaki, T.: A gui and testing tool for sofl
Wang, Y., Zheng, Q., Chen, H.: Soflipse: Tool for automatic modelling and reviewing sofl workflows. International Journal of Computing Technology and Information Security 1, 88–98 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Y., Chen, H. (2013). Extension on Transactional Remote Services in SOFL. In: Liu, S. (eds) Structured Object-Oriented Formal Language and Method. SOFL 2012. Lecture Notes in Computer Science, vol 7787. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39277-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-39277-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39276-4
Online ISBN: 978-3-642-39277-1
eBook Packages: Computer ScienceComputer Science (R0)