메뉴 건너뛰기




Volumn 5065 LNCS, Issue , 2008, Pages 261-277

Modeling business within a UML-based rigorous software development approach

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; GRAPH THEORY; PROCESS ENGINEERING; UNIFIED MODELING LANGUAGE;

EID: 45849111463     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68679-8_17     Document Type: Conference Paper
Times cited : (9)

References (19)
  • 1
    • 45849144919 scopus 로고    scopus 로고
    • COMET methodology
    • COMET Task Force:, 13 December 2007 2007
    • COMET Task Force: COMET methodology. Website, last access 13 December 2007 (2007). http://www.modelbased.net/comet/index.html
    • Website, last access
  • 2
    • 33646718022 scopus 로고    scopus 로고
    • A UML 2 Profile for Business Process Modelling
    • 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, Springer, Heidelberg
    • 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)
    • (2005) LNCS , vol.3770
    • List, B.1    Korherr, B.2
  • 3
    • 45849106291 scopus 로고    scopus 로고
    • Business Process Management Initiative BPMI, December 13, 2007
    • 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
    • Business Process Modeling Notation (BPMN) (2004) (last access
  • 5
    • 45849136909 scopus 로고    scopus 로고
    • Johnston, S.: Rational UML Profile for business modelling (last access December 13, 2007) (2004), www.ibm.com/developerworks/rational/library/5167.html
    • Johnston, S.: Rational UML Profile for business modelling (last access December 13, 2007) (2004), www.ibm.com/developerworks/rational/library/5167.html
  • 6
    • 45849151886 scopus 로고    scopus 로고
    • 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/
    • 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/
  • 8
    • 35048831413 scopus 로고    scopus 로고
    • Tight structuring for precise UML-based requirement specifications
    • Wirsing, M, Knapp, A, Balsamo, S, eds, RISSEF 2002, Springer, Heidelberg
    • 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)
    • (2004) LNCS , vol.2941
    • Astesiano, E.1    Reggio, G.2
  • 9
    • 16244420661 scopus 로고    scopus 로고
    • Astesiano, E, Reggio. C, Towards a well-founded UML-based development method, September 22-27
    • Astesiano, E., Reggio. C.: Towards a well-founded UML-based development method. In: Conference on Software Engineering and Formal Methods. SEFM 2003. September 22-27 (2003)
    • (2003) Conference on Software Engineering and Formal Methods. SEFM
  • 10
    • 45849149050 scopus 로고    scopus 로고
    • MARS: Model-based Adaptively Rigorous Software development
    • Technical Report DISI-TR-2007-12, DISI, Universita di Genova, Italy
    • Astesiano, E., Reggio, G.: MARS: Model-based Adaptively Rigorous Software development. Technical Report DISI-TR-2007-12, DISI - Universita di Genova, Italy (2007), ftp://ftp.disi.unige.it/person/ReggioG/MARSO1.pdf
    • (2007)
    • Astesiano, E.1    Reggio, G.2
  • 11
    • 35248870755 scopus 로고    scopus 로고
    • From formal techniques to well-founded software development methods
    • Aiehernig, B.K, Maibaum, T.S.E, eds, Formal Methods at the Crossroads, Springer, Heidelberg
    • Astesiano, E., Reggio, G., Cerioli. M.: From formal techniques to well-founded software development methods. In: Aiehernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS. vol. 2757. Springer, Heidelberg (2003)
    • (2003) LNCS. From Panacea to Foundational Support , vol.2757
    • Astesiano, E.1    Reggio, G.2    Cerioli, M.3
  • 13
    • 45849141989 scopus 로고    scopus 로고
    • UML Revision Task Force
    • UML Revision Task Force: OMG UML Specification 2.0. (2004) www.omg.org/docs/formal/05-07-04.pdf.
    • (2004) OMG UML Specification 2.0
  • 14
    • 45849110839 scopus 로고    scopus 로고
    • Modeling Business within a UML-based Rigorous Software Development Approach (Complete Version)
    • Technical Report DISI-TR-2007-20, DISI, Università di Genova, Italy
    • 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
    • (2007)
    • Astesiano, E.1    Reggio, G.2    Ricca, F.3
  • 15
    • 84891343041 scopus 로고    scopus 로고
    • UML Revision Task Force
    • UML Revision Task Force: OMG UML Specification 1.4. (2001). www.omg.org/docs/formal/01-09-75.pdf
    • (2001) OMG UML Specification 1.4
  • 16
    • 38049093987 scopus 로고    scopus 로고
    • Automatic generation of workflow-extended domain models
    • Engels, G, Opdyke, B, Schmidt, D.C, Weil, F, eds, MODELS 2007, Springer, Heidelberg
    • 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)
    • (2007) LNCS , vol.4735
    • Brambilla, M.1    Cabot, J.2    Comai, S.3
  • 17
    • 51749110696 scopus 로고    scopus 로고
    • UML for Service-Oriented Systems
    • Technical Report D1.4a. Sensoria, Munich. Germany
    • 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
    • (2007)
    • Koch, N.1    Mayer, P.2    Heckel, R.3    Gonczy, L.4    Montangero, C.5
  • 18
    • 45849150559 scopus 로고    scopus 로고
    • Automotive Case Study: Requirements Specification and Modelling of Selected Scenarios
    • Technical Report D8.2a, Sensoria, Munich, Germany
    • 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
    • (2007)
    • Koch, N.1    Berndl, D.2
  • 19
    • 45849154386 scopus 로고    scopus 로고
    • 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
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.