Filters








4,248 Hits in 10.1 sec

Code‐level model checking in the software development workflow at Amazon Web Services

Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz‐Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
2021 Software, Practice & Experience  
This article describes a style of applying symbolic model checking developed over the course of four years at Amazon Web Services (AWS).  ...  As part of this effort, we have developed a CI system that allows integration of the proofs into standard development workflows and extended the proof tools to provide better feedback to users.  ...  Code-level model checking in the software development workflow at Amazon Web Services.  ... 
doi:10.1002/spe.2949 fatcat:3sirdpatwbdxvkard4fghvs3l4

Developing cloud applications using the e-Science Central platform

H. Hiden, S. Woodman, P. Watson, J. Cala
2012 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
The SaaS application allows scientists to upload data, edit and run workflows and share results in the cloud, using only a Web browser.  ...  The platform is exposed to developers so that they can easily upload their own analysis services into the system and make these available to other users.  ...  Peter Cumpson, and their teams for the thoughtful advice and guidance on the case studies we have presented in the paper.  ... 
doi:10.1098/rsta.2012.0085 pmid:23230161 pmcid:PMC3538293 fatcat:pjquulcyuvegzjbtny6fjb53jq

Context-aware conversational developer assistants

Nick C. Bradley, Thomas Fritz, Reid Holmes
2018 Proceedings of the 40th International Conference on Software Engineering - ICSE '18  
was conducted in the Software Practices Laboratory at the University of British Columbia.  ...  In this thesis, I describe Devy, a tool for software engineers that enables Amazon Alexa to take care of mundane programming tasks, helping increase productivity and speed up workflow.  ...  an intent service to automatically map high-level tasks to low-level development actions, and (c) automatically tracks developers' actions and relevant state in a context model to automate the workflows  ... 
doi:10.1145/3180155.3180238 dblp:conf/icse/BradleyFH18 fatcat:ktc4itqyb5frdislfawrp42sou

Modeling and Formal Verification of Web Services Composition Using CADP

Nouha ADADI, IPI Laboratory, ENS-Fez, Morocoo
2019 International Journal of Advanced Trends in Computer Science and Engineering  
The main objective of this research work is proposing a new approach of modeling and verifying web services composition.  ...  allows to apply the behavioral properties and validate the system of Web services composition.  ...  model Level of compos-ability Verificatio n Position Software Workflow- engineering After based techniques No High implement approaches and workflow -ation management Approaches based on artificial intelligence  ... 
doi:10.30534/ijatcse/2019/73852019 fatcat:mkbmu6blhfbn5cuebd6222mjje

A Proxy-Based Approach to Enhancing the Autonomic Behavior in Composite Services

Onyeka Ezenwoye, S. Masoud Sadjadi
2008 Journal of Networks  
The business process execution language (BPEL) takes this interaction to a higher level of abstraction by enabling the development of aggregate Web services.  ...  However, the autonomous and distributed nature of the partner services in an aggregate Web service present unique challenges to the reliability of the composite services.  ...  Workflow-level. Workflow-level techniques manipulate the workflow structure such as the execution flow to deal with erroneous conditions.  ... 
doi:10.4304/jnw.3.5.42-53 fatcat:ydolbcvlgrhrfgus25uqlcs25q

ATRI EDC: a novel cloud-native remote data capture system for large multicenter Alzheimer's disease and Alzheimer's disease-related dementias clinical trails

Gustavo A Jimenez-Maggiora, Stefania Bruschi, Hongmei Qiu, Jia-Shing So, Paul S Aisen
2022 JAMIA Open  
Materials and Methods The ATRI EDC system was developed, tested, and validated using community-based agile software development methods and cloud-native single-page application design principles.  ...  licensing model encourage collaboration per the principles of open science; finally, with continued development and community building efforts, the system has the potential to facilitate the effective  ...  Service, and Amazon Simple Notification Service are trademarks of Amazon.com, Inc. or its affiliates in the United States and/or other countries.  ... 
doi:10.1093/jamiaopen/ooab119 pmid:35156002 pmcid:PMC8826990 fatcat:neb2mxq6ubdwzayv2hvmllwst4

Dynamic Allocation Method For Efficient Load Balancing In Virtual Machines For Cloud Computing Environment

R Bhaskar
2012 Advanced Computing An International Journal  
Cloud computing is a model for delivering information technology services in which resources are retrieved from the internet through web-based tools and applications, rather than a direct connection to  ...  In this project we propose a method, dynamic scheduling and consolidation mechanism that allocate resources based on the load of Virtual Machines (VMs) on Infrastructure as a service (IaaS).  ...  Crawlers can also be used for automating maintenance tasks on a Web site, such as checking links or validating HTML code.  ... 
doi:10.5121/acij.2012.3506 fatcat:4ezpq4tt3ff5fke5xfpwnpkeem

Serverless Architectures Review, Future Trend and the Solutions to Open Problems

Manoj Kumar
2019 American Journal of Software Engineering  
It compares them side by side in the relevant category like compute, storage, database, messaging, API management, and tooling.  ...  Lately, the popularity and adoption of serverless computing or Function-as-a-Service have been grown substantially, and it emerges as a better way to manage cost, reliability, availability, and scalability  ...  When a browser makes a call for webpage, Web page code checks for authentication token in case of new login call redirects to Amazon Cognito for authentication.  ... 
doi:10.12691/ajse-6-1-1 fatcat:j7ufufymdrf2tbfedjryi2hq24

ML-Quadrat DriotData: A Model-Driven Engineering Tool and a Low-Code Platform for Smart IoT Services [article]

Armin Moin, Andrei Mituca, Moharram Challenger, Atta Badii, Stephan Günnemann
2022 arXiv   pre-print
Additionally, we demonstrate an early tool prototype of DriotData, a web-based Low-Code platform targeting citizen data scientists and citizen/end-user software developers.  ...  In this paper, we present ML-Quadrat, an open-source research prototype that is based on the Eclipse Modeling Framework (EMF) and the state of the art in the literature of Model-Driven Software Engineering  ...  ACKNOWLEDGMENTS This work was partially funded by the German Federal Ministry for Education & Research (BMBF) through the Software Campus initiative (project ML-Quadrat), as well as the German Federal  ... 
arXiv:2107.02692v3 fatcat:hbmiujjfq5g2jkkui7gs54pyky

An Innovative Science Gateway for the Cherenkov Telescope Array

Alessandro Costa, Pietro Massimino, Marilena Bandieramonte, Ugo Becciani, Mel Krokos, Costantino Pistagna, Simone Riggi, Eva Sciacca, Fabio Vitello
2015 Journal of Grid Computing  
CTA is expected to collect very large datasets (in the order of petabytes) which will have to be stored, managed and processed.  ...  This paper presents a graphical user interface built inside a science gateway aiming at providing CTA-users with a common working framework.  ...  Further information is available at the SCI-BUS project portal 35 .  ... 
doi:10.1007/s10723-015-9330-2 fatcat:n66kqyltoncerdymbeqfdj7mwq

Serverless Geospatial Data Processing Workflow System Design

Mete Ercan Pakdil, Rahmi Nurhan Çelik
2021 ISPRS International Journal of Geo-Information  
In order to define and execute workflows in the system, we also propose new models for both workflow and task definitions models.  ...  Moreover, the proposed system has new Open Geospatial Consortium (OGC) Application Programming Interface (API) Processes specification-based web services to provide interoperability with other geospatial  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/ijgi11010020 fatcat:i3jid2labzdofnibppyaxjdqti

Towards extensibility features of knowledge-based systems development platform (short paper)

Aleksandr I. Pavlov, Aleksandr B. Stolbov, Anna A. Lempert
2021 Scientific-practical Workshop Information Technologies: Algorithms, Models, Systems  
The ideas for implementing conceptual and methodological integrations in the KBSDP workflow component are considered.  ...  The deployment issues related to contemporary technologies are also discussed. It is proposed to implement KBSDP components in accordance with the Platform as a Service paradigm.  ...  Acknowledgements The present study was supported by the Ministry of Education and Science of the Russian Federation Project no. 121030500071-2 "Methods and technologies of a cloud-based service-oriented  ... 
dblp:conf/itams/PavlovSL21 fatcat:jgtu3tu7sfh2rdq557eslxtppi

An Environment for the Orthographic Modeling of Workflow Components

Colin Atkinson, Dietmar Stoll
2008 Multikonferenz Wirtschaftsinformatik  
An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented.  ...  After outlining the characteristics of the "plug and play" workflow development model, the paper describes the two main innovations within the IDE -the dynamic generation of mutually consistent views and  ...  Acknowledgements: This work was largely performed as part of the AristaFlow project under the support of the State of Baden-Württemberg.  ... 
dblp:conf/mkwi/AtkinsonS08 fatcat:k2nba3isaze57dnnbmwaybkyp4

BioSAILs: versatile workflow management for high-throughput data analysis [article]

Jillian Rowe, Nizar Drou, Ayman Youssef, Kristin C. Gunsalus
2019 bioRxiv   pre-print
BioSAILs is production-level software that has been in use as the main WMS at NYU Abu Dhabi for the past 2 years and is continuously developed and maintained by the core bioinformatics team.AvailabilityBioSAILs  ...  , we present BioSAILs (Bioinformatics Standardized Analysis Information Layers), a scientific workflow management system (WMS) developed by the Core Bioinformatics team at NYU Abu Dhabi.  ...  Finally, the authors would like to acknowledge all the faculty and researchers at the NYU Abu Dhabi CGSB and Biology division for their excellent work, which has motivated the development of BioSAILs.  ... 
doi:10.1101/509455 fatcat:wbvv4y23ufe4vevjlcnjdshfvy

QFaaS: A Serverless Function-as-a-Service Framework for Quantum Computing [article]

Hoa T. Nguyen, Muhammad Usman, Rajkumar Buyya
2022 arXiv   pre-print
To alleviate these challenges, we propose QFaaS, a novel Quantum Function-as-a-Service framework, which leverages the advantages of the serverless model and the state-of-the-art software engineering approaches  ...  Our framework provides essential components of a quantum serverless platform to simplify the software development and adapt to the quantum cloud computing paradigm, such as combining hybrid quantum-classical  ...  For example, Amazon Braket, a new Quantum Computing service of Amazon Web Services (AWS), currently offers the pay-per-use pricing model as Table 1 : Table 1 .  ... 
arXiv:2205.14845v1 fatcat:c7gw6ns355g7bcwdrlkzozy3ji
« Previous Showing results 1 — 15 out of 4,248 results