Kovacs M et al. Formal analysis of BPEL workflows with compensation by model checking. (2008) COMPUTER SYSTEMS SCIENCE AND ENGINEERING 0267-6192 23 5 349-363, 1635351
Szakcikk (Folyóiratcikk) | Tudományos[1635351]
  1. * Gábor Bergmann et al. Incremental pattern matching for efficient computation of transitive closures. (2012) Megjelent: Graph Transformations pp. 386-400
    Konferenciaközlemény (Könyvrészlet) | Tudományos[2685917] [Nyilvános]
    Függő, Idéző: 2685917, Kapcsolat: 24126080
  2. Schönberger A et al. Configurable analysis of sequential multi-party choreographies. (2012) COMPUTER SYSTEMS SCIENCE AND ENGINEERING 0267-6192 27 2 117-132
    Folyóiratcikk | Tudományos[24126081] [Nyilvános]
    Független, Idéző: 24126081, Kapcsolat: 24126081
  3. * Gönczy L et al. Methodologies for Model-Driven Development and Deployment: an Overview. (2011) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 6582 541-560
    Szakcikk (Folyóiratcikk) | Tudományos[1635352] [Egyeztetett]
    Függő, Idéző: 1635352, Kapcsolat: 24126082
  4. Lapadula A et al. A WSDL-based type system for asynchronous WS-BPEL processes. (2011) FORMAL METHODS IN SYSTEM DESIGN 0925-9856 1572-8102 38 2 119-157
    Folyóiratcikk | Tudományos[24126083] [Nyilvános]
    Független, Idéző: 24126083, Kapcsolat: 24126083
  5. Xue G et al. Modeling service interaction patterns. (2011) COMPUTER SYSTEMS SCIENCE AND ENGINEERING 0267-6192 26 2 103-113
    Folyóiratcikk | Tudományos[24126084] [Nyilvános]
    Független, Idéző: 24126084, Kapcsolat: 24126084
L Gönczy et al. Modeling and Verification of Reliable Messaging by Graph Transformation Systems. (2007) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 1571-0661 175 4 37-50, 1635304
Szakcikk (Folyóiratcikk) | Tudományos[1635304]
  1. Mahdian F et al. Considering faults in service-oriented architecture: A graph transformation- based approach. (2009) Megjelent: ICCTD 2009 - 2009 International Conference on Computer Technology and Development pp. 179-183
    Konferenciaközlemény (Könyvrészlet) | Tudományos[21489748] [Nyilvános]
    Független, Idéző: 21489748, Kapcsolat: 21489748
  2. Aminpour R et al. Modeling and non-functional analysis of service-oriented architectures using AADL. (2011) SCIENTIFIC RESEARCH AND ESSAYS 1992-2248 6 16 3504-3513
    Folyóiratcikk | Tudományos[24124101] [Nyilvános]
    Független, Idéző: 24124101, Kapcsolat: 24124101
  3. Rafe V et al. Style-based modeling and verification of fault tolerance service oriented architectures. (2011) Megjelent: Procedia Computer Science pp. 972-976
    Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[24124102] [Nyilvános]
    Független, Idéző: 24124102, Kapcsolat: 24124102
  4. Juan de Lara et al. Graph Transformation for Domain-Specific Discrete Event Time Simulation. (2010) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 6372 266-281
    Szakcikk (Folyóiratcikk) | Tudományos[24001840] [Nyilvános]
    Független, Idéző: 24001840, Kapcsolat: 24124103
  5. Mahdian F et al. Different models of dependable services in service-oriented architecture. (2010) Megjelent: ICACTE 2010 - 2010 3rd International Conference on Advanced Computer Theory and Engineering, Proceedings pp. V1217-V1220
    Konferenciaközlemény (Könyvrészlet) | Tudományos[24124104] [Nyilvános]
    Független, Idéző: 24124104, Kapcsolat: 24124104
2024-02-25 19:13