메뉴 건너뛰기




Volumn 6395 LNCS, Issue PART 2, 2010, Pages 258-272

Transforming process models: Executable rewrite rules versus a formalized Java program

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MANAGEMENT; DEBUGGING SUPPORT; DIRECT EXECUTION; IMPERATIVE LANGUAGES; JAVA PROGRAM; JAVA TOOLS; MAPPING RULES; MODEL TRANSFORMATION; PERFORMANCE OPTIMIZATIONS; PROCESS MODEL; REWRITE RULES; RULE-BASED APPROACH; STATECHARTS;

EID: 78349290095     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16129-2_19     Document Type: Conference Paper
Times cited : (7)

References (21)
  • 1
    • 70350678757 scopus 로고    scopus 로고
    • Using metrics for assessing the quality of ASF+SDF model transformations
    • Paige, R.F. (ed.) ICMT 2009. Springer, Heidelberg
    • Amstel, M.F., Lange, C.F., Brand, M.G.: Using metrics for assessing the quality of ASF+SDF model transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 239-248. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5563 , pp. 239-248
    • Amstel, M.F.1    Lange, C.F.2    Brand, M.G.3
  • 2
    • 56449088620 scopus 로고    scopus 로고
    • A benchmark evaluation of incremental pattern matching in graph transformation
    • Ehrig, H., Heckel, R., Rozenberg, G., Täntzer, G. (eds.) ICGT 2008. Springer, Heidelberg
    • Bergmann, G., Horváth, Á., Ráth, I., Varró, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Täntzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 396-410. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5214 , pp. 396-410
    • Bergmann, G.1    Horváth, Á.2    Ráth, I.3    Varró, D.4
  • 3
    • 51449094371 scopus 로고    scopus 로고
    • Semantics and analysis of business process models in bpmn
    • Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Inf. Softw. Technol. 50(12), 1281-1294 (2008)
    • (2008) Inf. Softw. Technol. , vol.50 , Issue.12 , pp. 1281-1294
    • Dijkman, R.M.1    Dumas, M.2    Ouyang, C.3
  • 5
    • 70649083108 scopus 로고    scopus 로고
    • Translating safe petri nets to statecharts in a structure-preserving way
    • Cavalcanti, A., Dams, D.R. (eds.) FM 2009. Springer, Heidelberg Extended as Beta WP 282 at Eindhoven University of Technology
    • Eshuis, R.: Translating safe petri nets to statecharts in a structure-preserving way. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 239-255. Springer, Heidelberg (2009); Extended as Beta WP 282 at Eindhoven University of Technology
    • (2009) LNCS , vol.5850 , pp. 239-255
    • Eshuis, R.1
  • 8
    • 0030167097 scopus 로고    scopus 로고
    • Usability analysis of visual programming environments: A 'cognitive dimensions' framework
    • Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: A 'cognitive dimensions' framework. Journal of Visual Languages and Computing 7(2), 131-174 (1996)
    • (1996) Journal of Visual Languages and Computing , vol.7 , Issue.2 , pp. 131-174
    • Green, T.R.G.1    Petre, M.2
  • 9
    • 0030172972 scopus 로고    scopus 로고
    • Graph grammars with negative application conditions
    • Habel, A., Heckel, R., Täntzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3-4), 287-313 (1996) (Pubitemid 126715013)
    • (1996) Fundamenta Informaticae , vol.26 , Issue.3-4 , pp. 287-313
    • Habel, A.1    Heckel, R.2    Taentzer, G.3
  • 10
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231-274 (1987)
    • (1987) Sci. Comput. Program. , vol.8 , Issue.3 , pp. 231-274
    • Harel, D.1
  • 11
    • 77953961511 scopus 로고    scopus 로고
    • Experimental assessment of combining pattern matching strategies with VIATRA2
    • Horváth, A., Bergmann, G., Ráth, I., Varró, D.: Experimental assessment of combining pattern matching strategies with VIATRA2. In: STTT (2010)
    • (2010) STTT
    • Horváth, A.1    Bergmann, G.2    Ráth, I.3    Varró, D.4
  • 12
    • 33644921482 scopus 로고    scopus 로고
    • A taxonomy of model transformation
    • Karsai, G., Täntzer, G. (eds.) Proc. GraMoT 2005. Elsevier, Amsterdam March
    • Mens, T., Van Gorp, P.: A taxonomy of model transformation. In: Karsai, G., Täntzer, G. (eds.) Proc. GraMoT 2005. ENTCS, vol. 152, pp. 125-142. Elsevier, Amsterdam (March 2005)
    • (2005) ENTCS , vol.152 , pp. 125-142
    • Mens, T.1    Van Gorp, P.2
  • 13
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 14
    • 78349263712 scopus 로고    scopus 로고
    • AGTiVE 2007
    • Kassel, October 10-12. Springer, Heidelberg (Revised Selected and Invited Papers)
    • Rensink, A., Täntzer, G. (eds.): AGTiVE 2007, Kassel, October 10-12. LNCS, vol. 5088. Springer, Heidelberg (2007) (Revised Selected and Invited Papers)
    • (2007) LNCS , vol.5088
    • Rensink, A.1    Täntzer, G.2
  • 16
    • 78349275986 scopus 로고    scopus 로고
    • SAP library
    • SAP. Discovering processes, SAP library (2010), http://help.sap.com/ SAPHELP-NW04S/helpdata/EN/26/1c6d42ab7fd142e10000000a1550b0/content.htm
    • (2010) Discovering Processes


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