{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:28:54Z","timestamp":1725470934899},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346821"},{"type":"electronic","value":"9783540346838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767718_13","type":"book-chapter","created":{"date-parts":[[2006,9,18]],"date-time":"2006-09-18T12:04:58Z","timestamp":1158581098000},"page":"127-141","source":"Crossref","is-referenced-by-count":5,"title":["Process Definition and Project Tracking in Model Driven Engineering"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Porres","sequence":"first","affiliation":[]},{"given":"Mar\u00eda C.","family":"Valiente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R. Back","year":"1998","unstructured":"Back, R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1864","DOI":"10.1007\/3-540-48118-4_56","volume-title":"FM\u201999 - Formal Methods","author":"R. Banach","year":"1999","unstructured":"Banach, R., Poppleton, M.: Retrenchment. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, p. 1864. Springer, Heidelberg (1999)"},{"key":"13_CR3","unstructured":"Genova, G., Valiente, M.C., Nubiola, J.: A Semiotic Approach to UML Models. In: Marcos, E., Wieringa, R. (eds.) Proceedings of the 1st International Workshop on Philosophical Foundations of Information Systems Engineering (PHISE 2005), Porto, Portugal, June 13, pp. 547\u2013557 (2005)"},{"key":"13_CR4","volume-title":"Managing the Software Process","author":"W.S. Humphrey","year":"1989","unstructured":"Humphrey, W.S.: Managing the Software Process. Addison Wesley, Reading (1989)"},{"key":"13_CR5","unstructured":"I-Logix Statemate, http:\/\/www.ilogix.com\/"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets, 2nd edn. Basic Concepts, Analysis Methods and Practical Use, vol.\u00a01. Springer, Heidelberg (1996)","DOI":"10.1007\/978-3-662-03241-1"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Kellner, M.I., Hansen, G.A.: Software Process Modeling. Software Engineering Institute, Carnegie Mellon University. Technical report (1988), Available at: http:\/\/www.sei.cmu.edu\/publications\/documents\/88.reports\/88.tr.009.html","DOI":"10.1109\/ICSM.1988.10143"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-47884-1_16","volume-title":"Integrated Formal Methods","author":"S. Kent","year":"2002","unstructured":"Kent, S.: Model Driven Engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, p. 286. Springer, Heidelberg (2002)"},{"key":"13_CR9","volume-title":"Rational Unified Process","author":"P. Kruchten","year":"1998","unstructured":"Kruchten, P.: Rational Unified Process. Addison-Wesley, Reading (1998)"},{"key":"13_CR10","unstructured":"Lilius, J., Lillqvist, T., Lundkvist, T., Oliver, I., Porres, I., Sandstr\u00f6m, K., Sveholm, G., Zaka, A.P.: The MICAS Tool. In: Proceedings of the NWUML 2005: The 3rd Nordic Workshop on UML and Software Modeling, Tampere, Finland, pp. 180\u2013192 (August 2005)"},{"key":"13_CR11","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Core Specification, version 2.0. Document ptc\/04-10-15 (October 2004), Available at: http:\/\/www.omg.org\/"},{"key":"13_CR12","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Document ptc\/05-11-1 (November 2005), Available at: http:\/\/www.omg.org\/"},{"key":"13_CR13","unstructured":"OMG. Model Driven Architecture. Document ormsc\/2001-07-01 (July 2001), Available at: http:\/\/www.omg.org\/"},{"key":"13_CR14","unstructured":"OMG. Model Driven Architecture, MDA Guide, version 1.0.1. Document omg\/2003-06-01 (June 2003), Available at: http:\/\/www.omg.org\/"},{"key":"13_CR15","unstructured":"OMG. Software Process Engineering Metamodel (SPEM) Specification, version 1.1. Document formal\/05-01-06 (January 2005), Available at: http:\/\/www.omg.org\/"},{"key":"13_CR16","unstructured":"OMG. UML 2.0 Infrastructure Specification. Document ptc\/04-10-14 (November 2004), Available at: http:\/\/www.omg.org\/"},{"key":"13_CR17","unstructured":"OMG. UML 2.0 Superstructure Specification. Document ptc\/04-10-02 (October 2004), Available at: http:\/\/www.omg.org\/"},{"key":"13_CR18","unstructured":"Prot\u00e9g\u00e9, http:\/\/www.ics.uci.edu\/~jgeorgas\/ics225\/index.htm"},{"issue":"2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1147\/sj.242.0079","volume":"24","author":"R.A. Radice","year":"1985","unstructured":"Radice, R.A., et al.: A programming process architecture. IBM Systems Journal\u00a024(2), 79\u201390 (1985)","journal-title":"IBM Systems Journal"},{"key":"13_CR20","unstructured":"Sharp, A., McDermott, P.: Workflow Modeling. Tools for Process Improvement and Application Development. Artech House (2001)"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management. Models. Methods, and Systems. MIT Press, Cambridge (2002)","DOI":"10.7551\/mitpress\/7301.001.0001"},{"issue":"6","key":"13_CR22","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain Specific Languages: An Annotated Bibliography. ACM SIGPLAN Notice\u00a035(6), 26\u201336 (2000)","journal-title":"ACM SIGPLAN Notice"}],"container-title":["Lecture Notes in Computer Science","Product-Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767718_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:34Z","timestamp":1605643594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767718_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346821","9783540346838"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11767718_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}