Parametrized automata simulation and application to service composition (original) (raw)
Related papers
Fresh-variable automata for service composition
Modeling, specification, and verification of automaton programs
Programming and Computer Software
Pattern Based Property Specification and Verification for Service Composition
Lecture Notes in Computer Science, 2006
Model Driven Service Composition
Service-Oriented Computing – ICSOC 2007, 2003
Automatic Composition of Services with Security Policies
2008 IEEE Congress on Services - Part I, 2008
Web Service Composition Automation based on Timed Automata
MoSCoE: A Framework for Modeling Web Service Composition and Execution
22nd International Conference on Data Engineering Workshops (ICDEW'06), 2006
A Component-Based Approach to Automated Web Service Composition
2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06), 2006
Logic-based Web services composition: from service description to process model
Proceedings. IEEE International Conference on Web Services, 2004., 2004
Model and synthesize security automata
2006
Realizability of Service Specifications
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018
International Journal of Advanced Computer Science and Applications, 2016
Theoretical Computer Science, 1988
A Framework for Automatically Supporting End-Users in Service Composition
Lecture Notes in Computer Science, 2010
Method for Service-Oriented Analysis and Design
Serp, 2008
2014 IEEE International Conference on Web Services, 2014
Managing the Evolution of Service Specifications
Lecture Notes in Computer Science
Hybrid automata: from verification to implementation
International Journal on Software Tools for Technology Transfer, 2017
Web services composition applying MDA
ceur-ws.org
On the Specification of Higher Dimensional Automata
Electronic Notes in Theoretical Computer Science, 2002
Contract-Based Web Service Composition Framework with Correctness Guarantees
Lecture Notes in Computer Science, 2005
2016
Technical Analysis for Dynamic Integration of Heterogeneous Services
Self-healing web service compositions
Proceedings of the 27th international conference on Software engineering - ICSE '05, 2005
Web Services: Foundation and Composition
Electronic Markets, 2003
Petri Net Based Semantic Web Service Composition
International Journal of Multimedia and Ubiquitous Engineering, 2014
Application of linear logic to web service composition
2003
On the Representation of Finite Automata
arXiv (Cornell University), 2009
Services modeling and distributed simulation DEVS / HLA supported
Proceedings of the 2009 Winter Simulation Conference (WSC), 2009
Electronic Notes in Theoretical Computer Science, 2009
Extracting Behavioral Models from Service Implementations
The Synthy Approach for End to End Web Services Composition
2006
Ontology-driven service composition for end-users
Service Oriented Computing and Applications, 2011
Distributing automata for asynchronous networks of processors
1994
Principles of Service-Oriented Computing
Service-Oriented Computing, 2006