Filters








35,596 Hits in 4.4 sec

Tools for design of composite Web services

Richard Hull, Jianwen Su
2004 Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04  
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

Sen-Tarng Lai
2019 International Journal of Software Engineering & Applications  
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

Srini Narayanan, Sheila A. McIlraith
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
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

Srini Narayanan, Sheila A. McIlraith
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
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

E.J. Lingerfelt, O.E.B. Messer, J.A. Osborne, R.D. Budiardja, A. Mezzacappa
2011 Procedia Computer Science  
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

D. Kourtesis, E. Ramollari, D. Dranidis, I. Paraskakis
2010 Production planning & control (Print)  
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]

Byron Cook
2018 Lecture Notes in Computer Science  
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

Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaun
2019 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)  
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]

Ingo Weber, Hye-Young Paik, Boualem Benatallah
2011 Lecture Notes in Computer Science  
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]

Josef Urban, Geoff Sutcliffe
2010 Lecture Notes in Computer Science  
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

Michael Baldamus, Jesper Bengtson, Gianluigi Ferrari, Roberto Raggi
2004 Electronical Notes in Theoretical Computer Science  
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

Tiziana Margaria, Bernhard Steffen
2009 Computer  
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

Maurice H. ter Beek, Alberto Lluch Lafuente
2015 Electronic Proceedings in Theoretical Computer Science  
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

Maurice H. ter Beek, António Ravara
2014 Electronic Proceedings in Theoretical Computer Science  
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

Srini Narayanan, Sheila McIlraith
2003 Computer Networks  
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