Search results for "WSCI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
127	Yu Huang 0004, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu	Formalizing Web Service Choreography Interface.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF	WSCI, Petri nets, Web service composition
88	Yu Huang 0004, Hanpin Wang	A petri net semantics for web service choreography.	SAC	2007	DBLP DOI BibTeX RDF	WSCI, web service, petri net, formal semantics
88	Yuliang Shi, Liang Zhang 0019, Fangfang Liu, Lili Lin, Baile Shi	Web Service Collaboration Analysis via Automata.	WAIM	2005	DBLP DOI BibTeX RDF	WSCI, Web services, Automata
77	Yunni Xia, Jun Chen, Mingqiang Zhou, Yu Huang 0004	A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF
58	Xinguo Deng, Ziyu Lin, Weiqing Chen, Ruliang Xiao, Lina Fang, Ling Li	Modeling Web Service Choreography and Orchestration with Colored Petri Nets.	SNPD (2)	2007	DBLP DOI BibTeX RDF
58	Yanping Yang, QingPing Tan, Yong Xiao	Verifying Web Services Composition.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
46	María-Emilia Cambronero, Gregorio Díaz 0001, Enrique Martínez, Valentín Valero	A Comparative Study between WSCI, WS-CDL, and OWL-S.	ICEBE	2009	DBLP DOI BibTeX RDF
19	Pat Pik-Wah Chan, Michael R. Lyu	Dynamic Web Service Composition: A New Approach in Building Reliable Web Service.	AINA	2008	DBLP DOI BibTeX RDF	Web Service, Composition
19	Sun Meng, Farhad Arbab	Web services choreography and orchestration in Reo and constraint automata.	SAC	2007	DBLP DOI BibTeX RDF	web services, orchestration, choreography, Reo, constraint automata
19	Vuong Xuan Tran, Hidekazu Tsuji	OWL-T: A Task Ontology Language for Automatic Service Composition.	ICWS	2007	DBLP DOI BibTeX RDF
19	Mohsen Rouached, Claude Godart	Requirements-driven Verification of WSBPEL Processes.	ICWS	2007	DBLP DOI BibTeX RDF
19	Vuong Xuan Tran, Hidekazu Tsuji	OWL-T: An Ontology-based Task Template Language for Modeling Business Processes.	SERA	2007	DBLP DOI BibTeX RDF
19	Xuanzhe Liu, Yi Hui, Wei Sun 0001, Haiqi Liang	Towards Service Composition Based on Mashup.	IEEE SCW	2007	DBLP DOI BibTeX RDF
19		Towards Formal Verification of Web Service Composition.	Business Process Management	2006	DBLP DOI BibTeX RDF
19	Yuliang Shi, Liang Zhang 0019, Baile Shi	TDWF: A Workflow Model Based on Cooperation of Web Services.	CSCWD	2006	DBLP DOI BibTeX RDF
19	Peter F. Green, Michael Rosemann, Marta Indulska	Ontological Evaluation of Enterprise Systems Interoperability Using ebXML.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
19	Yanping Yang, QingPing Tan, Yong Xiao	Verifying web services composition based on hierarchical colored petri nets.	IHIS	2005	DBLP DOI BibTeX RDF	CP-net, web service, verification, composition, transformation
19	Yanping Yang, QingPing Tan, Yong Xiao	Model Transformation Based Verification of Web Services Composition.	GCC	2005	DBLP DOI BibTeX RDF
19	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	WSAT: A Tool for Formal Analysis of Web Services.	CAV	2004	DBLP DOI BibTeX RDF
19	Behzad Bordbar, Athanasios Staikopoulos	On Behavioural Model Transformation in Web Services.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
19	Jinyoung Moon, Daeha Lee, Chankyu Park, Hyunkyu Cho	Transformation Algorithms between BPEL4WS and BPML for the Executable Business Process.	WETICE	2004	DBLP DOI BibTeX RDF	BPML, Web services, Transformation, business process, BPEL4WS
19	David Skogan, Roy Grønmo, Ida Solheim	Web Service Composition in UML.	EDOC	2004	DBLP DOI BibTeX RDF
19	Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede	Web Service Composition Languages: Old Wine in New Bottles?.	EUROMICRO	2003	DBLP DOI BibTeX RDF
19	Stanislaw Ambroszkiewicz	enTish: An Approach to Service Composition.	TES	2003	DBLP DOI BibTeX RDF