Behavioral Modeling and Refinement of Services

[1]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[2]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[3]  Paul Pettersson,et al.  REMES: A Resource Model for Embedded Systems , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

[4]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[5]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[6]  Séverine Sentilles,et al.  A Component Model for Control-Intensive Distributed Embedded Systems , 2008, CBSE.

[7]  George J. Pappas,et al.  Optimal Paths in Weighted Timed Automata , 2001, HSCC.