Abstract
Continuous improvement of the software processes, including both production and maintenance, is a necessary condition to ensure fundamental software quality. An improvement opportunity comes from the availability of innovative process components to be integrated in a working software process. Formal methods are more and more used for modeling and verifying software systems. In this paper formal methods are instead used for modeling an innovative process component and understanding its integrability degree in an operative software process.
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
Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: Selective mu-calculus and Formula-Based Abstractions of Transition Systems. Journal of Computer and System Sciences 59(3) (1999)
Basili, V.R., Daskalantonakis, M.K., Yacobellis, R.H.: Technology transfer at Motorola. IEEE Software 11(2) (1994)
Breugel, F., Koshkina, M.: Models and verification of BPEL (2006), http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
Cleaveland, R., Sims, S.: The NCSU Concurrency Workbench. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 394–397. Springer, Heidelberg (1996)
Dyba, T.: An empirical investigation of the key factors for success in software process improvement. IEEE Transactions on Software Engineering 31(5) (2005)
Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proceedings of the 14th Australasian Database Conference (ADC 2003), Adelaide, South Australia (February 2003)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Napier, N.P., Kim, J., Mathiassen, L.: Software Process Re-engineering: A Model and its Application to an Industrial Case Study. Software Process: Improvement and Practice 13(5) (2008)
Niazi, M., Ali Babar, M., Katugampola, N.M.: Demotivators of Software Process Improvement: An Empirical Investigation. Software Process: Improvement and Practice 13(3) (2008)
Paulk, M.C., Weber, C., Curtis, B., Chrissis, M.B.: The Capability Maturity Model: Guidelines for Improving the Software Process, p. 441. Addison-Wesley Publishing Co., Reading (1995)
Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proceedings of the 3rd IEEE International Conference on Web Services (ICWS 2005), Orlando, Florida, USA, July 11-15 (2005)
Staples, M., Niazi, M., Jeffery, R., Abrahams, A., Byatt, P., Murphy, R.: An exploratory study of why organizations do not adopt CMMI. Journal of Systems and Software 80(6) (2007)
Stirling, C.: An Introduction to Modal and Temporal Logics for CCS. In: Boissonnat, J.-D., Laumond, J.-P. (eds.) Geometry and Robotics. LNCS, vol. 391. Springer, Heidelberg (1989)
Tortorella, M., Visaggio, G.: Evaluation of a scenario-based reading technique for analysing process components. Journal of Software Maintenance 13(3) (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Santone, A., Tortorella, M. (2009). Applying Formal Methods to Process Innovation. In: Ślęzak, D., Kim, Th., Kiumi, A., Jiang, T., Verner, J., Abrahão, S. (eds) Advances in Software Engineering. ASEA 2009. Communications in Computer and Information Science, vol 59. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10619-4_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-10619-4_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10618-7
Online ISBN: 978-3-642-10619-4
eBook Packages: Computer ScienceComputer Science (R0)