메뉴 건너뛰기




Volumn 5460 LNCS, Issue , 2009, Pages 27-45

Model-based software engineering and process-aware information systems

Author keywords

Business process modelling; Model based software engineering (MBSE); Model driven architecture (MDA); Process models; Process aware information systems (PAIS)

Indexed keywords

BUSINESS PROCESS MODELLING; MODEL-BASED SOFTWARE ENGINEERING (MBSE); MODEL-DRIVEN ARCHITECTURE (MDA); PROCESS MODELS; PROCESS-AWARE INFORMATION SYSTEMS (PAIS);

EID: 70350273092     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00899-3_2     Document Type: Conference Paper
Times cited : (9)

References (35)
  • 3
    • 35248854880 scopus 로고    scopus 로고
    • The Petri Net Markup Language: Concepts, technology, and tools
    • van der Aalst, W.M.P, Best, E, eds, ICATPN 2003, Springer, Heidelberg
    • Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483-505. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2679 , pp. 483-505
    • Billington, J.1    Christensen, S.2    van Hee, K.3    Kindler, E.4    Kummer, O.5    Petrucci, L.6    Post, R.7    Stehno, C.8    Weber, M.9
  • 6
    • 15844375860 scopus 로고    scopus 로고
    • Domain-specific modelling and model driven architecture
    • January
    • Cook, S.: Domain-specific modelling and model driven architecture. MDA Journal, pp. 2-10 (January 2004)
    • (2004) MDA Journal , pp. 2-10
    • Cook, S.1
  • 8
    • 84949942869 scopus 로고    scopus 로고
    • Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story diagrams: A new graph rewrite language based on the Unified Modeling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, 1764, pp. 296-309. Springer, Heidelberg (2000)
    • Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story diagrams: A new graph rewrite language based on the Unified Modeling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 296-309. Springer, Heidelberg (2000)
  • 11
    • 38049038810 scopus 로고    scopus 로고
    • Reconciling TGGs with QVT
    • Engels, G, Opdyke, B, Schmidt, D.C, Weil, F, eds, MODELS 2007, Springer, Heidelberg
    • Greenyer, J., Kindler, E.: Reconciling TGGs with QVT. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 16-30. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4735 , pp. 16-30
    • Greenyer, J.1    Kindler, E.2
  • 12
    • 70350285071 scopus 로고    scopus 로고
    • Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems. Series F: Computer and System Science, 13, pp. 477-498. Springer, Heidelberg (1985)
    • Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems. Series F: Computer and System Science, vol. 13, pp. 477-498. Springer, Heidelberg (1985)
  • 13
    • 33750567959 scopus 로고    scopus 로고
    • Model engineering on Petri nets for ISO/IEC 15909-2: API framework for Petri net types metamodels
    • Hillah, L., Kordon, F., Petrucci, L., Trèves, N.: Model engineering on Petri nets for ISO/IEC 15909-2: API framework for Petri net types metamodels. Petri Net Newsletter 69, 22-40 (2005)
    • (2005) Petri Net Newsletter , vol.69 , pp. 22-40
    • Hillah, L.1    Kordon, F.2    Petrucci, L.3    Trèves, N.4
  • 14
    • 70350288231 scopus 로고    scopus 로고
    • Hollingsworth, D.: The workflow reference model. Technical Report TC00-1003, The Workflow Management Coalition, WfMC (1995)
    • Hollingsworth, D.: The workflow reference model. Technical Report TC00-1003, The Workflow Management Coalition, WfMC (1995)
  • 15
    • 70350298169 scopus 로고    scopus 로고
    • ISO/JTC1/SC7/WG19. Software and Systems Engineering - High-level Petri Nets - Part 2: Transfer Format. FCD 15909-2, v. 1.2.0, ISO/IEC (June 2007)
    • ISO/JTC1/SC7/WG19. Software and Systems Engineering - High-level Petri Nets - Part 2: Transfer Format. FCD 15909-2, v. 1.2.0, ISO/IEC (June 2007)
  • 18
    • 70350288230 scopus 로고    scopus 로고
    • Kindler, E.: The Petri Net Markup Language and ISO/IEC 15909-2: Concepts, status, and future directions. In: Schnieder, E. (ed.) Entwurf komplexer Automatisierungssysteme, 9. Fachtagung, pp. 35-55 (2006)
    • Kindler, E.: The Petri Net Markup Language and ISO/IEC 15909-2: Concepts, status, and future directions. In: Schnieder, E. (ed.) Entwurf komplexer Automatisierungssysteme, 9. Fachtagung, pp. 35-55 (2006)
  • 20
    • 70350285070 scopus 로고    scopus 로고
    • Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, extensions, implementations, and application scenarios. Technical Report tr-ri-07-284, Department of Computer Science, University of Paderborn (2007)
    • Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, extensions, implementations, and application scenarios. Technical Report tr-ri-07-284, Department of Computer Science, University of Paderborn (2007)
  • 21
    • 0344990694 scopus 로고    scopus 로고
    • MDA Explained: The Model Driven Architecture: Practice and Promise
    • Addison-Wesley, Reading
    • Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Object Technology Series. Addison-Wesley, Reading (2003)
    • (2003) Object Technology Series
    • Kleppe, A.1    Warmer, J.2    Bast, W.3
  • 23
    • 33645224275 scopus 로고    scopus 로고
    • Protocol modelling: A modelling approach that supports reusable behavioural abstractions
    • McNeile, A.T., Simons, N.: Protocol modelling: A modelling approach that supports reusable behavioural abstractions. Software and Systems Modeling 5(1), 91-107 (2006)
    • (2006) Software and Systems Modeling , vol.5 , Issue.1 , pp. 91-107
    • McNeile, A.T.1    Simons, N.2
  • 25
    • 17744396996 scopus 로고    scopus 로고
    • MDA guide v1.0.1. (2003), http://www.omg.org/cgi-bin/doc?omg/03-06-01
    • (2003) MDA guide v1.0.1
  • 26
    • 70350299404 scopus 로고    scopus 로고
    • XML metadata interchange (XMI) specification, version 2.0. Technical Report formal/03-05-02, The Object Management Group, Inc. (2003)
    • XML metadata interchange (XMI) specification, version 2.0. Technical Report formal/03-05-02, The Object Management Group, Inc. (2003)
  • 27
    • 70350273826 scopus 로고    scopus 로고
    • Meta object facility (MOF) specification, version 1.4.1. Technical Report formal/05-05-05, The Object Management Group, Inc. (2005)
    • Meta object facility (MOF) specification, version 1.4.1. Technical Report formal/05-05-05, The Object Management Group, Inc. (2005)
  • 28
    • 70350281950 scopus 로고    scopus 로고
    • MOF QVT, final adopted specification. Technical Report ptc/05-11-01, The Object Management Group, Inc. (2005)
    • MOF QVT, final adopted specification. Technical Report ptc/05-11-01, The Object Management Group, Inc. (2005)
  • 29
    • 70350258421 scopus 로고    scopus 로고
    • OMG. OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2. Object Management Group, 140 Kendrick Street, Needham, MA 02494, USA (2005), http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF
    • OMG. OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2. Object Management Group, 140 Kendrick Street, Needham, MA 02494, USA (2005), http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF
  • 30
    • 70350293122 scopus 로고    scopus 로고
    • OMG. Unified Modeling Language: Superstructure Version 2.0. Object Management Group, 140 Kendrick Street, Needham, MA 02494, USA 2005
    • OMG. Unified Modeling Language: Superstructure Version 2.0. Object Management Group, 140 Kendrick Street, Needham, MA 02494, USA (2005), http://www.omg.org/cgi-bin/doc?formal/05-07-04
  • 31
    • 0142039821 scopus 로고    scopus 로고
    • Web services orchestration and choreography
    • Peltz, C.: Web services orchestration and choreography. IEEE Computer 36(10), 46-52 (2003)
    • (2003) IEEE Computer , vol.36 , Issue.10 , pp. 46-52
    • Peltz, C.1
  • 32
    • 84947918251 scopus 로고    scopus 로고
    • Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, 903, pp. 151-163. Springer, Heidelberg (1995)
    • Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151-163. Springer, Heidelberg (1995)
  • 33
    • 70350262228 scopus 로고    scopus 로고
    • MDA richtig einsetzen: Klassische und innovative Rezepte.
    • Unland, L., George, T.: MDA richtig einsetzen: Klassische und innovative Rezepte. OBJEKTspektrum 6, 41-44 (2005)
    • (2005) OBJEKTspektrum , vol.6 , pp. 41-44
    • Unland, L.1    George, T.2
  • 35
    • 70350276970 scopus 로고    scopus 로고
    • Workflow Management Coalition: Terminology & glossary. Technical Report WFMC-TC-1011, The Workflow Management Coalition, WfMC (1999)
    • Workflow Management Coalition: Terminology & glossary. Technical Report WFMC-TC-1011, The Workflow Management Coalition, WfMC (1999)


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