Compliance-driven Models, Languages and Architectures for Services February 2008 - January 2011
Collection
Collection
-
October 2008
-
Data-Aware Design and Verification of Service Compositions with Reo and mCRL2 In Proceedings
N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)
March 2010 -
A Unified Toolset for Business Process Model Formalization In Proceedings
B. Changizi (Behnaz), N. Kokash (Natallia) and F. Arbab (Farhad)
March 2010 -
Business Process Compliance through Reusable Units of Compliant Processes In Proceedings
D. Shumm, O. Turetken, N. Kokash (Natallia), A. Elgammal, F. Leymann and J. van den Heuvel
July 2010 -
Verification of Context-Dependent Channel-Based Service Models In Proceedings
N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)
August 2010 -
Time and Data Aware Analysis of Graphical Service Models in Reo In Proceedings
N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)
September 2010 -
A semantic model for service composition with coordination time delays In Proceedings
N. Kokash (Natallia), B. Changizi (Behnaz) and F. Arbab (Farhad)
November 2010
-
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools Article
IEEE Transactions on Services Computing, PP(99)August 2011