An Experimentation Framework for Specification and Verification of Web Services (original) (raw)
Wiktor B DaszczukAnnals of Computer Science and Information Systems
visibility
…
description
5 pages
link
1 file
Sign up for access to the world's latest research.
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Related papers
Web Services Verification and Prudent Implementation
Lecture Notes in Computer Science, 2012
Web service standards and real business scenario challenges
Proceedings of the 20th IEEE Instrumentation Technology Conference (Cat No 03CH37412) EURMIC-03, 2003
Web Services: Foundation and Composition
Electronic Markets, 2003
Controlling the usability of web services
2009
Web Service Engineering – Advancing a New Software Engineering Discipline
Lecture Notes in Computer Science, 2005
Towards Automated Verification of Web Services
2007
Best practices for describing, consuming, and discovering web services: a comprehensive toolset
Software: Practice and Experience, 2012
Realizability of Service Specifications
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018
Web Services Management: A Survey
IEEE Internet Computing, 2005
Business processes for Web Services: Principles and applications
IBM Systems Journal, 2006
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Related papers
Dependability in the Web Services Architecture
Lecture Notes in Computer Science, 2003
Contract-Based Web Service Composition Framework with Correctness Guarantees
Lecture Notes in Computer Science, 2005
XSRL: A Request Language for Web Services
Department of Information …, 2003
A methodology to support webservices development using legacy systems
Proceedings of the …, 2002
Planning and monitoring the execution of web service requests
International Journal on Digital Libraries, 2006
Web Services Testing Challenges and Approaches
MoSCoE: A Framework for Modeling Web Service Composition and Execution
22nd International Conference on Data Engineering Workshops (ICDEW'06), 2006
The EasySOC Project: A Rich Catalog of Best Practices for Developing Web Service Applications
2010 XXIX International Conference of the Chilean Computer Science Society, 2010
Web Services Security: Threats and Challenges
International Journal of Computer Applications, 2015
Automatic Generation of Test Models for Web Services Using WSDL and OCL
Lecture Notes in Computer Science, 2013
Logic-based Web services composition: from service description to process model
Proceedings. IEEE International Conference on Web Services, 2004., 2004
A Semantic Framework for Analyzing Web Services Composition
International Journal of Computer Applications, 2010
Testing of Web services: Tools and Experiences
Method for Service-Oriented Analysis and Design
Serp, 2008
The MAIS Approach to Web Service Design
Advanced Topics in Database Research, Volume 5
Testing of Web Services: Tools and Experiments
Asia-Pacific Services Computing Conference, 2011
Managing the Evolution of Service Specifications
Lecture Notes in Computer Science
Service-based software: the future for flexible software
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000
1980
Principles of Service-Oriented Computing
Service-Oriented Computing, 2006
Service-Oriented Business and System Specification: Beyond Object-Orientation
Luis Fernando Carrillo Andrade
Practical Foundations of Business System Specifications, 2003
A Retrospective on the Development of Web Service Specifications
2006
Service specification in cloud environments based on extensions to open standards
2009
Testing web services: A survey
2010
Related topics
Computer ScienceModel CheckingWeb Services CompositionWeb ServiceIntegrated Model of Distributed ...