Compiling process graphs into executable code

被引:0
|
作者
Hauser, R [1 ]
Koehler, J [1 ]
机构
[1] IBM Corp, Zurich Res Lab, CH-8803 Ruschlikon, Switzerland
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this vision to become reality, algorithms are needed that compile models of software systems into deployable and executable implementations. This paper discusses two algorithms that provide such transformations for process graph models in a business process or workflow environment and produce executable programs based on Web services and orchestration languages. The reverse transformations back from executable programs to process graphs are also described.
引用
收藏
页码:317 / 336
页数:20
相关论文
共 50 条
  • [41] Model-Driven Engineering of Machine Executable Code
    Eichberg, Michael
    Monperrus, Martin
    Kloppenburg, Sven
    Mezini, Mira
    MODELLING FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2010, 6138 : 104 - +
  • [42] Transformation of Graphical ECA Policies into Executable PonderTalk Code
    Romeikat, Raphael
    Sinsel, Markus
    Bauer, Bernhard
    RULE INTERCHANGE AND APPLICATIONS, PROCEEDINGS, 2009, 5858 : 193 - 207
  • [43] Querying distilled code changes to extract executable transformations
    Stevens, Reinout
    Molderez, Tim
    De Roover, Coen
    EMPIRICAL SOFTWARE ENGINEERING, 2019, 24 (01) : 491 - 535
  • [44] Dynamic composition of the executable code of multitechniques spectral systems
    Sorokin, AM
    Timoshin, AI
    Kaichev, VV
    PROCEEDINGS OF THE SECOND IASTED INTERNATIONAL MULTI-CONFERENCE ON AUTOMATION, CONTROL, AND INFORMATION TECHNOLOGY - AUTOMATION, CONTROL, AND APPLICATIONS, 2005, : 151 - 156
  • [45] Automatic classification of executable code for computer virus detection
    Kierski, P
    Okoniewski, M
    Gawrysiak, P
    INTELLIGENT INFORMATION PROCESSING AND WEB MINING, 2003, : 277 - 284
  • [46] Verifying timing behavior by abstract interpretation of executable code
    Ferdinand, C
    Heckmann, R
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 336 - 339
  • [47] Compiling Constraint Networks into Multivalued Decomposable Decision Graphs
    Koriche, Frederic
    Lagnie, Jean-Marie
    Marquis, Pierre
    Thomas, Samuel
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 332 - 338
  • [48] Compiling mercury to high-level C code
    Henderson, F
    Somogyi, Z
    COMPILER CONSTRUCTION, PROCEEDINGS, 2002, 2304 : 197 - 212
  • [49] Compiling the surface code to crossbar spin qubit architectures
    Pataki, David
    Palyi, Andras
    PHYSICAL REVIEW B, 2025, 111 (11)
  • [50] Lessons from the Dragon: Compiling PDF to Machine Code
    Bagley, Steven R.
    DOCENG2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON DOCUMENT ENGINEERING, 2010, : 65 - 68