{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:34:23Z","timestamp":1740548063487,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233077"},{"type":"electronic","value":"9783540301875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30187-5_12","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T19:50:15Z","timestamp":1285185015000},"page":"158-172","source":"Crossref","is-referenced-by-count":3,"title":["A UML Profile for Executable and Incremental Specification-Level Modeling"],"prefix":"10.1007","author":[{"given":"Risto","family":"Pitk\u00e4nen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petri","family":"Selonen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"12_CR1","first-page":"33","volume":"7","author":"T. Aaltonen","year":"2001","unstructured":"Aaltonen, T., Katara, M., Pitk\u00e4nen, R.: DisCo toolset \u2013 the new generation. Journal of Computer Science\u00a07(1), 33\u201338 (2001)","journal-title":"Journal of Computer Science"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","first-page":"3","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and Union of Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 3\u201317. Springer, Heidelberg (2003)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40011-7_24","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"S. Clarke","year":"2000","unstructured":"Clarke, S.: Composing Design Models: An Extension to UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 338\u2013352. Springer, Heidelberg (2000)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, S., Harrison, W., Ossher, H., Tarr, P.: Subject-Oriented Design: Towards Improved Alignment of Requirements, Design and Code. In: Proc. of OOPSLA 1999, Denver, Colorado, USA, pp. 325\u2013339 (1999)","DOI":"10.1145\/320384.320420"},{"key":"12_CR5","unstructured":"The DisCo Home Page (2004), On-line at http:\/\/disco.cs.tut.fi"},{"key":"12_CR6","volume-title":"Objects, Components, and Frameworks with UML: the Catalysis Approach","author":"D.F. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: the Catalysis Approach. Addison-Wesley, Reading (1999)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Lepper, M.: Using Use Cases in Executable Z. In: Proc. of ICFEM 2000, pp. 111\u2013120 (2000)","DOI":"10.1109\/ICFEM.2000.873811"},{"key":"12_CR8","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"J\u00e4rvinen, H.-M., Kurki-Suonio, R.: DisCo specification language: marriage of actions and objects. In: Proc. of ICDCS 1991, pp. 142\u2013151 (1991)","DOI":"10.1109\/ICDCS.1991.148656"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Katara, M., Katz, S.: Architectural Views of Aspects. In: Proc. of the 2nd AOSD, Boston, MA, USA, pp. 1\u201310 (2003)","DOI":"10.1145\/643603.643604"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/3-540-63533-5_31","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"P. Kellom\u00e4ki","year":"1997","unstructured":"Kellom\u00e4ki, P.: Verification of Reactive Systems Using DisCo and PVS. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313, pp. 589\u2013604. Springer, Heidelberg (1997)"},{"key":"12_CR12","unstructured":"Kennedy Carter Ltd: Supporting Model Driven Architecture with Executable UML. Technical note (2002), On-line at http:\/\/www.kc.com"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s00446-003-0090-z","volume":"16","author":"R. Kurki-Suonio","year":"2003","unstructured":"Kurki-Suonio, R.: Action systems in incremental and aspect oriented modeling. Distributed Computing\u00a016, 201\u2013217 (2003)","journal-title":"Distributed Computing"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Li, X., Liu, Z., He, J.: Formal and Use-Case Driven Requirement Analysis in UML. In: Proc. of COMPSAC 2001, Chicago, USA, October 2001, pp. 215\u2013224 (2001)","DOI":"10.1109\/CMPSAC.2001.960619"},{"key":"12_CR15","volume-title":"Executable UML: A Foundation for Model-Driven Architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley, Reading (2002)"},{"key":"12_CR16","unstructured":"The Object Management Group: UML 1.4 with Action Semantics, Final Adopted Specifi-cation (January 2002), On-line at http:\/\/www.omg.org\/uml\/"},{"key":"12_CR17","unstructured":"The Object Management Group: MDA Guide, version 1.0.1. OMG (2003), On-line at http:\/\/www.omg.org\/mda\/"},{"key":"12_CR18","unstructured":"The Object Management Group: UML 2.0 Superstructure Specification, OMG Adopted Specification ptc\/03-08-02 (August 2003), On-line at http:\/\/www.omg.org\/uml\/"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Oliver, I., Kent, S.: Validation of Object Oriented Models using Animation. In: Proc. of EUROMICRO (1999), On-line at http:\/\/www.cs.kent.ac.uk\/pubs\/1999\/755\/","DOI":"10.1109\/EURMIC.1999.794786"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Peltonen, J., Selonen, P.: An Approach and a Platform for Building UML Model Processing Tools. In: Proc. of WoDiSEE 2004, Edinburgh, UK, pp. 51\u201357 (2004)","DOI":"10.1049\/ic:20040210"},{"key":"12_CR21","unstructured":"Pitk\u00e4nen, R.: A Specification-Driven Approach to Development of Enterprise Systems. In: Proc. of NWPER 2004, Turku, Finland (August 2004) (to appear)"},{"key":"12_CR22","unstructured":"Selonen, P.: Set Operations for the Unified Modeling Language. In: Proc. of SPLST 2003, Kuopio, Finland, pp. 70\u201381 (2003)"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-45341-5_29","volume-title":"Advanced Information Systems Engineering","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., Pennaneac\u2019h, F., Ho, W.-M., Le Guennec, A., J\u00e9z\u00e9quel, J.-M.: Using UML Action Semantics for executable modeling and beyond. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 433\u2013447. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","<\u2009<UML>\u2009> 2004 - The Unified Modeling Language. Modelling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30187-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T00:19:08Z","timestamp":1740529148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30187-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233077","9783540301875"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30187-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}