{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:53:21Z","timestamp":1725540801402},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106187"},{"type":"electronic","value":"9783642106194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10619-4_17","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T00:01:57Z","timestamp":1258329717000},"page":"135-142","source":"Crossref","is-referenced-by-count":0,"title":["Applying Formal Methods to Process Innovation"],"prefix":"10.1007","author":[{"given":"Antonella","family":"Santone","sequence":"first","affiliation":[]},{"given":"Maria","family":"Tortorella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1006\/jcss.1999.1660","volume":"59","author":"Roberto Barbuti","year":"1999","unstructured":"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\u00a059(3) (1999)","journal-title":"Journal of Computer and System Sciences"},{"issue":"2","key":"17_CR2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/52.268959","volume":"11","author":"V.R. Basili","year":"1994","unstructured":"Basili, V.R., Daskalantonakis, M.K., Yacobellis, R.H.: Technology transfer at Motorola. IEEE Software\u00a011(2) (1994)","journal-title":"IEEE Software"},{"key":"17_CR3","unstructured":"Breugel, F., Koshkina, M.: Models and verification of BPEL (2006), \n                  \n                    http:\/\/www.cse.yorku.ca\/~franck\/research\/drafts\/tutorial.pdf"},{"key":"17_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"Computer Aided Verification","author":"R. Cleaveland","year":"1996","unstructured":"Cleaveland, R., Sims, S.: The NCSU Concurrency Workbench. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 394\u2013397. Springer, Heidelberg (1996)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Dyba, T.: An empirical investigation of the key factors for success in software process improvement. IEEE Transactions on Software Engineering\u00a031(5) (2005)","DOI":"10.1109\/TSE.2005.53"},{"key":"17_CR7","unstructured":"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)"},{"key":"17_CR8","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"5","key":"17_CR9","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1002\/spip.390","volume":"13","author":"Nannette P. Napier","year":"2008","unstructured":"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\u00a013(5) (2008)","journal-title":"Software Process: Improvement and Practice"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Niazi, M., Ali Babar, M., Katugampola, N.M.: Demotivators of Software Process Improvement: An Empirical Investigation. Software Process: Improvement and Practice\u00a013(3) (2008)","DOI":"10.1002\/spip.380"},{"key":"17_CR11","first-page":"441","volume-title":"The Capability Maturity Model: Guidelines for Improving the Software Process","author":"M.C. Paulk","year":"1995","unstructured":"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)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICWS.2005.27"},{"issue":"6","key":"17_CR13","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1016\/j.jss.2006.09.008","volume":"80","author":"Mark Staples","year":"2007","unstructured":"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\u00a080(6) (2007)","journal-title":"Journal of Systems and Software"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Geometry and Robotics","author":"C. Stirling","year":"1989","unstructured":"Stirling, C.: An Introduction to Modal and Temporal Logics for CCS. In: Boissonnat, J.-D., Laumond, J.-P. (eds.) Geometry and Robotics. LNCS, vol.\u00a0391. Springer, Heidelberg (1989)"},{"issue":"3","key":"17_CR15","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1002\/smr.228","volume":"13","author":"Maria Tortorella","year":"2001","unstructured":"Tortorella, M., Visaggio, G.: Evaluation of a scenario-based reading technique for analysing process components. Journal of Software Maintenance\u00a013(3) (2001)","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"}],"container-title":["Communications in Computer and Information Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10619-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:36:27Z","timestamp":1619768187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10619-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106187","9783642106194"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10619-4_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}