{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:20:08Z","timestamp":1725574808343},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202578"},{"type":"electronic","value":"9783540395973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39597-3_3","type":"book-chapter","created":{"date-parts":[[2011,1,11]],"date-time":"2011-01-11T18:30:21Z","timestamp":1294770621000},"page":"17-28","source":"Crossref","is-referenced-by-count":2,"title":["The Benefits of Rapid Modelling for E-business System Development"],"prefix":"10.1007","author":[{"given":"Juan C.","family":"Augusto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy M.","family":"Gravell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael A.","family":"Leuschel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen M. Y.","family":"Ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-39866-0_22","volume-title":"Perspectives of System Informatics","author":"J.C. Augusto","year":"2004","unstructured":"Augusto, J.C., Butler, M., Ferreira, C.: Using spin and step to verify stac specifications. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 207\u2013213. Springer, Heidelberg (2004)"},{"key":"3_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J. Abrial","year":"1996","unstructured":"Abrial, J.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"3_CR3","unstructured":"Augusto, J., Ferreira, C., Gravell, A., Leuschel, M., Ng, K.M.G.: Exploring different approaches to modelling in enterprise information systems. Technical report, Electronics and Computer Science Department, University of Southampton, Technical Report (2003), \n                    \n                      http:\/\/www.ecs.soton.ac.uk\/~jca\/rm.pdf"},{"key":"3_CR4","unstructured":"Augusto, J.C., Leuschel, M., Butler, M., Ferreira, C.: Using the extensible model checker xtl to verify stac business specifications. In: Pre-proceedings of 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton, UK, pp. 253\u2013266 (2003)"},{"key":"3_CR5","volume-title":"Extreme Programming Explained","author":"K. Beck","year":"2000","unstructured":"Beck, K.: Extreme Programming Explained. Addison-Wesley, Reading (2000)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-40911-4_5","volume-title":"Integrated Formal Methods","author":"M. Butler","year":"2000","unstructured":"Butler, M., Ferreira, C.: A process compensation language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 61\u201376. Springer, Heidelberg (2000)"},{"issue":"4","key":"3_CR7","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1147\/sj.414.0743","volume":"41","author":"M. Chessell","year":"2002","unstructured":"Chessell, M., Griffin, C., Vines, D., Butler, M., Ferreira, C., Henderson, P.: Extending the concept of transaction compensation. IBM Journal of Systems and Development\u00a041(4), 743\u2013758 (2002)","journal-title":"IBM Journal of Systems and Development"},{"key":"3_CR8","unstructured":"Ferreira, C.: Precise modelling of business processes with compensation. PhD Thesis (submitted), Electronics and Computer Science Department, University of Southampton (2003)"},{"key":"3_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"5","key":"3_CR10","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The spin model checker. IEEE Trans. on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR11","unstructured":"Leuschel, M., Adhianto, L., Butler, M., Ferreira, C., Mikhailov, L.: Animation and model checking of csp and b using prolog technology. In: Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic, VCL 2001, pp. 97\u2013109 (2001)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-45241-9_2","volume-title":"Practical Aspects of Declarative Languages","author":"M. Leuschel","year":"2001","unstructured":"Leuschel, M.: Design and implementation of the high-level specification language csp(lp) in prolog. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 14\u201328. Springer, Heidelberg (2001)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/10720327_5","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Leuschel","year":"2000","unstructured":"Leuschel, M., Massart, T.: Infinite state model checking by abstract interpretation and program specialisation. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817, pp. 63\u201382. Springer, Heidelberg (2000)"},{"key":"3_CR14","unstructured":"Leuschel, M., Massart, T.: Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation. In: Proceedings of 2nd Workshop on Automated Verification of Critical Systems (AVOCS 2002), Birmingham, UK, pp. 143\u2013150 (2002)"},{"key":"3_CR15","volume-title":"Production Workflow: Concepts and Techniques","author":"F. Leymann","year":"2000","unstructured":"Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice-Hall, Englewood Cliffs (2000)"},{"key":"3_CR16","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1999","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1999)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling for Novel Application Domains"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39597-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T11:52:24Z","timestamp":1553341944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39597-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202578","9783540395973"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39597-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}