A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Tools for design of composite Web services
2004
Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04
Preserved Fulltext
Specifically, are existing tools for design and analysis of software systems sufficient for web services, or are new techniques needed to handle the novel aspects of the web services paradigm? ...
Since the SPIN model checker is a finite-state verification tool, the tool can only achieve partial verification by fixing the sizes of the input queues in the translation. ...
doi:10.1145/1007568.1007722
dblp:conf/sigmod/HullS04
fatcat:pjz3dlfspfhmbkpcdviu6sef4q
Applying Continuous Integration for Increasing the Maintenance Quality and Efficiency of Web App
2019
International Journal of Software Engineering & Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Introducing CI concept can make up the moving target problems to impact of Web app. ...
For this, the paper proposes a Continuous Integration based Web Applications Maintenance Procedure (CIWAMP) to assist the system integration operating. ...
For providing high service quality, operating environment of Web app should be timely adjusted or enhanced. ...
doi:10.5121/ijsea.2019.10103
fatcat:fovy5tqf6ffidbqgjmngecxb5a
Simulation, verification and automated composition of web services
2002
Proceedings of the eleventh international conference on World Wide Web - WWW '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Such a tool has broad applicability both as a back end to existing manual Web service composition tools, and as a stand-alone tool for Web service developers. ...
With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. ...
ACKNOWLEDGEMENTS We would like to acknowledge our colleagues in the DAML Services Coalition for development of the DAML-S ontology. ...
doi:10.1145/511455.511457
fatcat:34ut2ixd7red3gh3l67b7bkytq
Simulation, verification and automated composition of web services
2002
Proceedings of the eleventh international conference on World Wide Web - WWW '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Such a tool has broad applicability both as a back end to existing manual Web service composition tools, and as a stand-alone tool for Web service developers. ...
With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. ...
ACKNOWLEDGEMENTS We would like to acknowledge our colleagues in the DAML Services Coalition for development of the DAML-S ontology. ...
doi:10.1145/511446.511457
dblp:conf/www/NarayananM02
fatcat:lzakv4xkj5br3fgk446fypx2nq
A Multitier System for the Verification, Visualization and Management of CHIMERA
2011
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Given CHIMERA's complexity and pace of ongoing development, a new support system, Bellerophon, has been designed and implemented to perform automated verification, visualization and management tasks while ...
By integrating supercomputing platforms, visualization clusters, a dedicated web server and a client-side desktop application, this system attempts to provide an encapsulated, end-to-end solution to these ...
Acknowledgements This research used resources of the National Center for Computational Sciences at Oak Ridge National Laboratory, which is supported by the Office of Science of the U.S. ...
doi:10.1016/j.procs.2011.04.227
fatcat:tkirrwh7mferznp74ytqwbc55m
Increased reliability in SOA environments through registry-based conformance testing of Web services
2010
Production planning & control (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Today's state of the art lacks standardised methods for creating behavioural specifications of Web services, and also lacks tools for automating the process of behavioural conformance checking through ...
This paper presents a concrete method for creating formal specifications of Web service behaviour and utilising them within service registries for automated testing of service implementations in order ...
Commission's 6th Framework Programme for RTD under contract number FP6-IST-2004-170835 (http://www.fusion-strep.eu/). ...
doi:10.1080/09537280903441922
fatcat:h2q662txwvhnfnfebtmuy46i5a
Formal Reasoning About the Security of Amazon Web Services
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We report on the development and use of formal verification tools within Amazon Web Services (AWS) to increase the security assurance of its cloud infrastructure and to help customers secure themselves ...
Calls by AWS services to the automated reasoning tools increased by four orders of magnitude in 2017. ...
Introduction Amazon Web Services (AWS) is a provider of cloud services, meaning on-demand access to IT resources via the Internet. ...
doi:10.1007/978-3-319-96145-3_3
fatcat:satz32czevf3djxace2gshftfe
IoT Composer: Composition and Deployment of IoT Applications
2019
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The tool also provides automated validation techniques for verifying that the composition behaves correctly. ...
The IoT Composer tool was developed for supporting the development of IoT applications by first providing a behavioural model for objects and their composition. ...
Fig. 2 . 2 Screenshots of the web interface.
Fig. 3 . 3 Tool components and integration with various services. ...
doi:10.1109/icse-companion.2019.00028
dblp:conf/icse/0001P0NS19a
fatcat:fdklfbgsvfbnzksv6rmi5oxbtq
Forms-based Service Composition
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The approach is based on user-editable service naming, a graphical composition language where Web services are represented as forms, a targeted restriction of control flow expressivity, automated process ...
verification mechanisms, and code generation for executing orchestrations. ...
Acknowledgements This work has been supported by a grant from the Smart Services CRC 7 . We thank Maurice Peat, Fethi Rabhi, Kader Lattab, and Angel Lagares Lemos for their valuable feedback. ...
doi:10.1007/978-3-642-25535-9_49
fatcat:wwhs5bi5xjfv7jj3uigoippe2y
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2010 pre-print arXiv:1005.4592v1 fatcat:u5ztripnmbcg7gaffdqhanv3zm
This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. ...
These differences poses new challenges and new opportunities for automated reasoning and for proof presentation tools. ...
In short, the third advantage is that a web service provides mechanism for online communication of verification results. ...
doi:10.1007/978-3-642-14128-7_12
fatcat:z7qfiim6bfczvp5b4i3negti74
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits
2004
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We argue that Web services can serve as a new platform for addressing the more practical issues in connection with that: For one, service integration in general is certainly an essential ingredient of ...
Also, Web services promote distributed and open integration, which fits the decentralisation and dynamism of formal verification community. ...
Acknowledgement We would like to thank two anonymous referees for their many remarks and suggestions. ...
doi:10.1016/j.entcs.2004.02.024
fatcat:4fbrtgeavzhabgcwaz3qhd5mti
Continuous Model-Driven Engineering
2009
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Ide: An Automated Testing Environment for CTI Systems Using Concepts for Specifica-tion and Verification of Workflows, In Annual Review of Communication, Int. ...
Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service, WWV'05. 1st Int'l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March ...
doi:10.1109/mc.2009.315
fatcat:glkd4d62u5cy3laikgb3sv5fxa
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
2015
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Systematic, formal approaches to their specification and verification are needed to address the problems of those systems by means of automated and effective techniques and tools. ...
The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly interdisciplinary forum for researchers originating from the following areas: declarative, rule-based programming ...
doi:10.4204/eptcs.188.0
fatcat:tu2rjf7derghtiqwdiyt5ozrxi
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
2014
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Systematic, formal approaches to their specification and verification are needed to address the problems of those systems by means of automated and effective techniques and tools. ...
The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly interdisciplinary forum for researchers originating from the following areas: declarative, rule-based programming ...
doi:10.4204/eptcs.163.0
fatcat:ruxniycepjclfo52s2pudij4su
Analysis and simulation of Web services
2003
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
Such a tool has broad applicability both as a back end to existing manual Web service composition tools, and as a stand-alone tool for Web service developers. ...
With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. ...
ACKNOWLEDGEMENTS We would like to acknowledge our colleagues in the DAML Services Coalition for development of the DAML-S ontology. ...
doi:10.1016/s1389-1286(03)00228-7
fatcat:7b76arnis5cmnar7xt7oxg5hli
« Previous
Showing results 1 — 15 out of 35,596 results