BibSonomy :: author  ::

bookmarks

publications

(215)

• Rule-based Model Extraction from Source Code.
  Rui Correia and Carlos Matos and Mohammad El-Ramly and Reiko Heckel Aspects For Legacy Applications (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Modeling and validation of service-oriented architectures: application vs. style.
  Luciano Baresi and Reiko Heckel and Sebastian Thöne and Dániel Varró ESEC / SIGSOFT FSE 68-77 (2003)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX  
• Verification of Architectural Refactorings by Rule Extraction.
  Dénes Bisztray and Reiko Heckel and Hartmut Ehrig FASE 347-361 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.
  Qin Li and Huibiao Zhu and Jing Li and Jifeng He WS-FM 61-76 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• Analyzing BPEL4Chor: Verification and Participant Synthesis.
  Niels Lohmann and Oliver Kopp and Frank Leymann and Wolfgang Reisig WS-FM 46-60 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• Extending Model Checking to Data-Aware Temporal Properties of Web Services.
  Sylvain Hallé and Roger Villemaire and Omar Cherkaoui and Jérôme Tremblay and Boubker Ghandour WS-FM 31-45 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• Synthesis of Web Services Orchestrators in a Timed Setting.
  Fabio Martinelli and Ilaria Matteucci WS-FM 124-138 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• Event Structure Semantics of Orc.
  Sidney Rosario and David Kitchin and Albert Benveniste and William Cook and Stefan Haar and Claude Jard WS-FM 154-168 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• Towards a Theory of Web Service Choreographies.
  Jianwen Su and Tevfik Bultan and Xiang Fu and Xiangpeng Zhao WS-FM 1-16 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• Controlling Petri Net Process Models.
  Jörg Desel WS-FM 17-30 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX