A Petri Net Based Approach For Process Model Driven Deduction Of BPEL Code
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2005 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-540-29739-0 ISSN: 0302-9743 KITopen-ID: 1000018205 |
| Erschienen in | On the move to meaningful internet systems 2005: OTM 2005 workshops: OTM confederated international workshops and posters AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings. Ed.: R. Meersman |
| Veranstaltung | OTM Confederated International Conferences (2005), Agia Napa, Zypern, 31.10.2005 – 04.11.2005 |
| Verlag | Springer-Verlag |
| Seiten | 495 - 505 |
| Serie | Lecture notes in computer science (LNCS) ; 3762 |
| Nachgewiesen in | Dimensions Web of Science Scopus OpenAlex |
| Globale Ziele für nachhaltige Entwicklung |