{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:49:28Z","timestamp":1742402968922,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_3","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T08:43:26Z","timestamp":1130921006000},"page":"17-38","source":"Crossref","is-referenced-by-count":21,"title":["UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling"],"prefix":"10.1007","author":[{"given":"Reda","family":"Bendraou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Pierre","family":"Gervais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Blanc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Ambriola, V., Conradi, R., Fuggetta, A.: Experiences and Issues in Building and Using Process centered Software Engineering Environments., Internal draft paper, Politecnico di Milano (September 1994)","key":"3_CR1"},{"unstructured":"ANSI\/IEEE Std 1012-1986, IEEE Standard for Software Verification and Validation Plans, The Institute of Electrical and Electronics Engineers, Inc., February 10 (1987)","key":"3_CR2"},{"key":"3_CR3","volume-title":"Proc. of the Model Driven Architecture: Foundations and Applications (MDAFA 2004)","author":"X. Blanc","year":"2004","unstructured":"Blanc, X., Gervais, M.P., Sriplakich, P.: Model Bus: Towards the Interoperability of Modelling Tools. In: Proc. of the Model Driven Architecture: Foundations and Applications (MDAFA 2004), June 2004, Link\u00f6ping University, Sweden (2004)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Software Process Technology","author":"R. Conradi","year":"1992","unstructured":"Conradi, R., Fernstr\u00f6m, C., Fuggetta, A., Snowdon, R.: Towards a Reference Framework for Process Concepts. In: Derniame, J.-C. (ed.) EWSPT 1992. LNCS, vol.\u00a0635, Springer, Heidelberg (1992)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Software Process Technology","author":"R. Conradi","year":"1995","unstructured":"Conradi, R., Liu, C.: Process Modelling Languages: One or Many? In: Sch\u00e4fer, W. (ed.) EWSPT 1995. LNCS, vol.\u00a0913, Springer, Heidelberg (1995)"},{"doi-asserted-by":"crossref","unstructured":"Curtis, B., Kellner, M., Over, J.: Process Modelling. Communications of the ACM\u00a035(9) (September 1992)","key":"3_CR6","DOI":"10.1145\/130994.130998"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BFb0057003","volume-title":"Software Process: Principles, Methodology, and Technology","author":"J.C. Derniame","year":"1999","unstructured":"Derniame, J.C., Kaba, B.A., Wastell, D.: Process Modelling Languages. In: Derniame, J.-C., Kaba, B.A., Wastell, D. (eds.) Promoter-2 1998. LNCS, vol.\u00a01500, p. 27. Springer, Heidelberg (1999)"},{"key":"3_CR8","volume-title":"Proc. of the 24th Inter. Conf. on Software Engineering (ICSE 2002)","author":"E. Nitto Di","year":"2002","unstructured":"Di Nitto, E., et al.: Deriving executable process descriptions from UML. In: Proc. of the 24th Inter. Conf. on Software Engineering (ICSE 2002), Orlando, Florida, ACM Press, New York (2002)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"A.S. Evans","year":"1999","unstructured":"Evans, A.S., Kent, S.: Meta-modelling semantics of UML: the pUML approach. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, Springer, Heidelberg (1999)"},{"key":"3_CR10","volume-title":"Proc. of 2nd Inter. Conf. on the Software Process","author":"P.H. Feiler","year":"1993","unstructured":"Feiler, P.H., Humphrey Watts, S.: Software process development and enactment. In: Proc. of 2nd Inter. Conf. on the Software Process, Berlin, IEEE Computer Society Press, Los Alamitos (1993)"},{"unstructured":"FIPS PUB 132, Guideline for Software Verification and Validation Plans, U.S. Department of Commerce\/National Bureau of Standards (U.S.), November 19 (1987)","key":"3_CR11"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-46852-8_21","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"X. Franch","year":"1999","unstructured":"Franch, X., Rib\u00f3, J.M.: Using UML for Modelling the Static Part of a Software Process. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 292\u2013307. Springer, Heidelberg (1999)"},{"unstructured":"Hausmann, J.H., St\u00f6rrle, H.: Towards a Formal Semantics of UML 2.0 Activities. In: Proc. of the German Software Engineering Conference, SE 2005 (2005)","key":"3_CR13"},{"key":"3_CR14","volume-title":"Encyclopedia of Software Engineering","author":"S. Humphrey Watts","year":"2001","unstructured":"Humphrey Watts, S.: Process Models in Software Engineering. In: Encyclopedia of Software Engineering, 2nd edn. December 2001, John Wiley and Sons, Inc., New York (2001)"},{"doi-asserted-by":"crossref","unstructured":"Humphrey Watts, S.: The Software Engineering Process: Definition and Scope. In: Proc. of the 4th International Software Process Workshop on Representing and Enacting the Software Process, Devon, United Kingdom (1989)","key":"3_CR15","DOI":"10.1145\/75111.75122"},{"unstructured":"Jaccheri, M.L., Baldi, M., Divitini, M.: Evaluating the Requirements for Software Process Modelling Languages and Systems. In: Proc. of Process support for Distributed Team-based Software Development (PDTSD 1999), Orlando, Florida, USA (August 1999)","key":"3_CR16"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-48166-4_7","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"D. Jager","year":"1999","unstructured":"Jager, D., Schleicher, A., Westfechtel, B.: Using UML for Software Process Modelling. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, p. 91. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"J\u00e4ger, D., Schleicher, A., Westfechtel, B.: Object-Oriented Software Process Modeling. In: The Proc. of the 7th European Software Engineering Conference (ESEC), Toulouse (September 1999)","key":"3_CR18","DOI":"10.1007\/3-540-48166-4_7"},{"unstructured":"JMI1.0, Java Metadata Interface Specification, Java Community process document JSR040 (June 2002), at http:\/\/www.jcp.org","key":"3_CR19"},{"key":"3_CR20","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":"3_CR21","volume-title":"Proc. of the 2nd Inter.l Conf. on Software Process","author":"J. Lonchamp","year":"1993","unstructured":"Lonchamp, J.: A structured conceptual and terminological framework for software process engineering. In: Proc. of the 2nd Inter.l Conf. on Software Process, Berlin, IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"G. McLeod","year":"1999","unstructured":"McLeod, G.: Extending UML for Entreprise and Business Process Modeling. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, Springer, Heidelberg (1999)"},{"unstructured":"MDA. Model Driven Architecture (MDA), OMG TC document ormsc\/2001-07-01 (July 2001), at http:\/\/www.omg.org","key":"3_CR23"},{"unstructured":"Mellor, S.J., Balcer, M.J., Balcer, M.: Executable UML: A Foundation for Model-Driven Architecture. Pearson Education (July 2002)","key":"3_CR24"},{"unstructured":"MODELWARE Project, at http:\/\/www.modelware-ist.org","key":"3_CR25"},{"doi-asserted-by":"crossref","unstructured":"MOF 1.4. Meta-Object Facility, OMG document formal\/2002-04-03 (April 2002), at http:\/\/www.omg.org","key":"3_CR26","DOI":"10.1016\/S1351-4180(02)01122-4"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-49205-4_1","volume-title":"Software Process: Principles, Methodology, and Technology","author":"C. Montangero","year":"1999","unstructured":"Montangero, C., Derniame, J.C., Kaba, B.A., Warboys, B.: The software process: Modelling and technology. In: Derniame, J.-C., Kaba, B.A., Wastell, D. (eds.) Promoter-2 1998. LNCS, vol.\u00a01500, p. 1. Springer, Heidelberg (1999)"},{"key":"3_CR28","volume-title":"Proc. of the 9th Inter. Conf. on Software Engineering (ICSE\u20199)","author":"L. Osterweil","year":"1987","unstructured":"Osterweil, L.: Software Processes Are Software Too. In: Proc. of the 9th Inter. Conf. on Software Engineering (ICSE\u20199), ACM Press, New York (1987)"},{"volume-title":"Proc. of the 5th Inter. Software Process Workshop (ISPW\u20195)","year":"1989","unstructured":"Perry, D.E. (ed.): Proc. of the 5th Inter. Software Process Workshop (ISPW\u20195), Kennebunkport, Maine, USA, October 1989. IEEE Computer Society Press, Los Alamitos (1989)","key":"3_CR29"},{"key":"3_CR30","volume-title":"Model Driven Architecture With Executable UML","author":"C. Raistrick","year":"2004","unstructured":"Raistrick, C., Francis, P., Wright, J.: Model Driven Architecture With Executable UML. Cambridge University Press, Cambridge (March 2004)"},{"key":"3_CR31","volume-title":"Proc. of the Conf. on Software Engineering and Knowledge Engineering (SEKE 2002)","author":"J.M. Rib\u00f3","year":"2002","unstructured":"Rib\u00f3, J.M., Franch, X.: A Precedence-based Approach for Proactive Control in Software Process Modelling. In: Proc. of the Conf. on Software Engineering and Knowledge Engineering (SEKE 2002), Ischia (Italy), September 2002, ACM Press, New York (2002)"},{"key":"3_CR32","volume-title":"Proc. of the 2001 Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2001)","author":"D. Riehle","year":"2001","unstructured":"Riehle, D., et al.: The Architecture of a UML Virtual Machine. In: Proc. of the 2001 Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2001), ACM Press, New York (2001)"},{"unstructured":"Semantics of a Foundational Subset for Executable UML Models RFP, OMG document ad\/05-04-02 (April 2005), at: http:\/\/www.omg.org\/docs\/ad\/05-04-02.pdf (page last visit June 17, 2005)","key":"3_CR33"},{"unstructured":"SPEM1.1, Software Process Engineering Metamodel, OMG document formal\/02-11\/14 (November 2002), at http:\/\/www.omg.org","key":"3_CR34"},{"doi-asserted-by":"crossref","unstructured":"SPEM2.0 RFP, Software Process Engineering Metamodel, OMG document ad\/2004-11-04 (November 2004), at http:\/\/www.omg.org\/docs\/ad\/04-11-04.pdf (page last visit April 4, 2005)","key":"3_CR35","DOI":"10.1109\/LSP.2004.823366"},{"unstructured":"St\u00f6rrle, H.: Semantics of UML2.0 Activities with Data-Flow. In: Proc. of the Visual Languages and Formal Methods Workshop (VLFM 2004), Rome, Italy (September 2004)","key":"3_CR36"},{"unstructured":"UML2.0 Superstructure, Unified Modelling Language, adopted specification, OMG document ptc\/04-10-02 (October 2004), at http:\/\/www.omg.org","key":"3_CR37"},{"unstructured":"UML1.4, Unified Modelling Language, OMG document formal\/01-09-67 (September 2001), at http:\/\/www.omg.org","key":"3_CR38"},{"doi-asserted-by":"crossref","unstructured":"Zameli, K.Z., Lee, P.A.: Taxonomy of Process Modelling Languages. In: Proc. of the ACS\/IEEE Inter. Conf. on Computer Systems and Applications (AICCSA 2001), Beirut, Lebanon (June 2001)","key":"3_CR39","DOI":"10.1109\/AICCSA.2001.934035"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T08:29:38Z","timestamp":1736065778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/11557432_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}