Skip to main content

Modeling Business within a UML-Based Rigorous Software Development Approach

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5065))

Abstract

We share the viewthat software systemdevelopment and business modeling have to be aligned. In our opinion that means not only that theremust be a strict correlation between the two, but thatwe should adopt both the same conceptual frame and notation, enforcing a seamless activity flow between them. In this paper we offer an attempt at showing that such an easy bridge can be provided. To that end we present an approach, fully integrated within a UML-based rigorousmodel-drivenmethod, where business processes are viewed in the context of the overall business structure and may be modeled hierarchically at various levels of detail.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. COMET Task Force: COMET methodology. Website, last access 13 December 2007 (2007), http://www.modelbased.net/comet/index.html

  2. 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. 3770. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Business Process Management Initiative (BPMI): Business Process Modeling Notation (BPMN) (2004) (last access December 13, 2007), www.bpmn.org/Documents/BPMN%20V1-0%20May%203%202004.pdf

  4. White, A.: Process Modeling Notations and Workflow Patterns (2004) (last access December 13, 2007) (2004), www.bpmn.org/Documents/Notations%20and%20Workflow%20Patterns.pdf

  5. Johnston, S.: Rational UML Profile for business modelling (last access December 13, 2007) (2004), www.ibm.com/developerworks/rational/library/5167.html

  6. Zimmermann O., Krogdahl P., and Gee C.: Elements of Service-Oriented Analysis and Design (last access December 13, 2007) (2004), www.ibm.com/developerworks/library/ws-soad1/

  7. Erl, T.: SOA: Principles of Service Design. The Prentice Hall Service-Oriented Computing Series from Thomas Erl (2005)

    Google Scholar 

  8. Astesiano, E., Reggio, G.: Tight structuring for precise UML-based requirement specifications. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941. Springer, Heidelberg (2004)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Astesiano, E., Reggio, G.: MARS: Model-based Adaptively Rigorous Software development. Technical Report DISI–TR–2007–12, DISI – Università di Genova, Italy (2007), ftp://ftp.disi.unige.it/person/ReggioG/MARS01.pdf

  11. 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. 2757. Springer, Heidelberg (2003)

    Google Scholar 

  12. Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled. Addison-Wesley Object Technology Series (2004)

    Google Scholar 

  13. UML Revision Task Force: OMG UML Specification 2.0. (2004) www.omg.org/docs/formal/05-07-04.pdf .

  14. Astesiano, E., Reggio, G., Ricca, F.: Modeling Business within a UML-based Rigorous Software Development Approach (Complete Version). Technical Report DISI–TR–2007–20, DISI – Università di Genova, Italy (2007), ftp://ftp.disi.unige.it/person/ReggioG/BPComplete.pdf

  15. UML Revision Task Force: OMG UML Specification 1.4. (2001), www.omg.org/docs/formal/01-09-75.pdf

  16. 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. 4735. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  17. Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for Service-Oriented Systems. Technical Report D1.4a, Sensoria, Munich, Germany (2007), www.pst.ifi.lmu.de/projekte/Sensoria/del_24/D1.4.a.pdf

  18. Koch, N., Berndl, D.: Automotive Case Study: Requirements Specification and Modelling of Selected Scenarios. Technical Report D8.2a, Sensoria, Munich, Germany (2007), www.pst.informatik.uni-muenchen.de/projekte/Sensoria/del_24/D8.2.a.pdf

  19. 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), www.cs.le.ac.uk/people/smg24/papers/wesoa07.pdf

Download references

Author information

Authors and Affiliations

Authors

Editor information

Pierpaolo Degano Rocco De Nicola José Meseguer

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Astesiano, E., Reggio, G., Ricca, F. (2008). Modeling Business within a UML-Based Rigorous Software Development Approach. In: Degano, P., De Nicola, R., Meseguer, J. (eds) Concurrency, Graphs and Models. Lecture Notes in Computer Science, vol 5065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68679-8_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68679-8_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68676-7

  • Online ISBN: 978-3-540-68679-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics