{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:48:54Z","timestamp":1725515334102},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_17","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T06:58:16Z","timestamp":1213081096000},"page":"261-277","source":"Crossref","is-referenced-by-count":9,"title":["Modeling Business within a UML-Based Rigorous Software Development Approach"],"prefix":"10.1007","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianna","family":"Reggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filippo","family":"Ricca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"COMET Task Force: COMET methodology. Website, last access 13 December 2007 (2007), \n                    \n                      http:\/\/www.modelbased.net\/comet\/index.html"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11568346_10","volume-title":"Perspectives in Conceptual Modeling","author":"B. List","year":"2005","unstructured":"List, B., Korherr, B.: A UML 2 Profile for Business Process Modelling. In: Akoka, J., Liddle, S.W., Song, I.-Y., Bertolotto, M., Comyn-Wattiau, I., van den Heuvel, W.-J., Kolp, M., Trujillo, J., Kop, C., Mayr, H.C. (eds.) ER Workshops 2005. LNCS, vol.\u00a03770. Springer, Heidelberg (2005)"},{"key":"17_CR3","unstructured":"Business Process Management Initiative (BPMI): Business Process Modeling Notation (BPMN) (2004) (last access December 13, 2007),\n                    \n                      www.bpmn.org\/Documents\/BPMN%20V1-0%20May%203%202004.pdf"},{"key":"17_CR4","unstructured":"White, A.: Process Modeling Notations and Workflow Patterns (2004) (last access December 13, 2007) (2004), \n                    \n                      www.bpmn.org\/Documents\/Notations%20and%20Workflow%20Patterns.pdf"},{"key":"17_CR5","unstructured":"Johnston, S.: Rational UML Profile for business modelling (last access December 13, 2007) (2004), \n                    \n                      www.ibm.com\/developerworks\/rational\/library\/5167.html"},{"key":"17_CR6","unstructured":"Zimmermann O., Krogdahl P., and Gee C.: Elements of Service-Oriented Analysis and Design (last access December 13, 2007) (2004), \n                    \n                      www.ibm.com\/developerworks\/library\/ws-soad1\/"},{"key":"17_CR7","unstructured":"Erl, T.: SOA: Principles of Service Design. The Prentice Hall Service-Oriented Computing Series from Thomas Erl (2005)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"E. Astesiano","year":"2004","unstructured":"Astesiano, E., Reggio, G.: Tight structuring for precise UML-based requirement specifications. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941. Springer, Heidelberg (2004)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Reggio, G.: Towards a well-founded UML-based development method. In: Conference on Software Engineering and Formal Methods, SEFM 2003, September 22-27 (2003)","DOI":"10.1109\/SEFM.2003.1236212"},{"key":"17_CR10","unstructured":"Astesiano, E., Reggio, G.: MARS: Model-based Adaptively Rigorous Software development. Technical Report DISI\u2013TR\u20132007\u201312, DISI \u2013 Universit\u00e0 di Genova, Italy (2007), \n                    \n                      ftp:\/\/ftp.disi.unige.it\/person\/ReggioG\/MARS01.pdf"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"E. Astesiano","year":"2003","unstructured":"Astesiano, E., Reggio, G., Cerioli, M.: From formal techniques to well-founded software development methods. In: Aichernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757. Springer, Heidelberg (2003)"},{"key":"17_CR12","unstructured":"Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled. Addison-Wesley Object Technology Series (2004)"},{"key":"17_CR13","unstructured":"UML Revision Task Force: OMG UML Specification 2.0. (2004) \n                    \n                      www.omg.org\/docs\/formal\/05-07-04.pdf\n                    \n                    \n                  ."},{"key":"17_CR14","unstructured":"Astesiano, E., Reggio, G., Ricca, F.: Modeling Business within a UML-based Rigorous Software Development Approach (Complete Version). Technical Report DISI\u2013TR\u20132007\u201320, DISI \u2013 Universit\u00e0 di Genova, Italy (2007), \n                    \n                      ftp:\/\/ftp.disi.unige.it\/person\/ReggioG\/BPComplete.pdf"},{"key":"17_CR15","unstructured":"UML Revision Task Force: OMG UML Specification 1.4. (2001), \n                    \n                      www.omg.org\/docs\/formal\/01-09-75.pdf"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_26","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Brambilla","year":"2007","unstructured":"Brambilla, M., Cabot, J., Comai, S.: Automatic generation of workflow-extended domain models. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735. Springer, Heidelberg (2007)"},{"key":"17_CR17","unstructured":"Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for Service-Oriented Systems. Technical Report D1.4a, Sensoria, Munich, Germany (2007), \n                    \n                      www.pst.ifi.lmu.de\/projekte\/Sensoria\/del_24\/D1.4.a.pdf"},{"key":"17_CR18","unstructured":"Koch, N., Berndl, D.: Automotive Case Study: Requirements Specification and Modelling of Selected Scenarios. Technical Report D8.2a, Sensoria, Munich, Germany (2007), \n                    \n                      www.pst.informatik.uni-muenchen.de\/projekte\/Sensoria\/del_24\/D8.2.a.pdf"},{"key":"17_CR19","unstructured":"Gorton, S., Montangero, C., Reiff-Marganiec, S., Semini, L.: StPowla: SOA, Policies and Workflows. In: Proc. 3rd Int. Workshop on Engineering Service-Oriented Applications: Analysis, Design, and Composition, Austria (2007), \n                    \n                      www.cs.le.ac.uk\/people\/smg24\/papers\/wesoa07.pdf"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:25:01Z","timestamp":1551515101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}