Filters








7,798 Hits in 6.6 sec

Actor-Oriented Design of Scientific Workflows [chapter]

Shawn Bowers, Bertram Ludäscher
2005 Lecture Notes in Computer Science  
We first develop a formal model for scientific workflows based on an actor-oriented modeling and design approach, originally developed for studying models of complex concurrent systems.  ...  Scientific workflows are becoming increasingly important as a unifying mechanism for interlinking scientific data management, analysis, simulation, and visualization tasks.  ...  Events are processed in global time order, and in response to an event an actor is permitted to emit events at the present or in the future, but not in the past.  ... 
doi:10.1007/11568322_24 fatcat:3tnd5abmdzdodn6533huwbpc4q

Applying Particle Swarm Optimization to Quality-of-Service-Driven Web Service Composition

Simone A. Ludwig
2012 2012 IEEE 26th International Conference on Advanced Information Networking and Applications  
workflow requests are being processed simultaneously.  ...  Many different methods have been used to address the service composition problem; in particular, many linear programming methods have been used to optimize the process of service composition.  ...  ACKNOWLEDGMENT This paper is based on research supported by North Dakota EPSCoR and National Science Foundation Grant EPS-0814442.  ... 
doi:10.1109/aina.2012.46 dblp:conf/aina/Ludwig12 fatcat:ymmjjfdo7rbc3covd7bbhq37oi

Big data challenges in simulation-based science

Manish Parashar
2014 Proceedings of the sixth international workshop on Data intensive distributed computing - DIDC '14  
/DataSpaces project explores solutions at various levels: -High-level programming abstractions for in-situ / in-transit workflows for code coupling, online analytics, UQ, etc.  ...  Staging option 1 Staging option 2 Staging option 3 l Virtual shared-space programming abstraction l Simple API for coordination, interaction and messaging l Distributed, associative,  ... 
doi:10.1145/2608020.2612731 dblp:conf/hpdc/Parashar14 fatcat:f4a4iueobjgfdhsq7mfytlhs3i

Automating environmental computing applications with scientific workflows

Rafael Ferreira da Silva, Ewa Deelman, Rosa Filgueira, Karan Vahi, Mats Rynge, Rajiv Mayani, Benjamin Mayer
2016 2016 IEEE 12th International Conference on e-Science (e-Science)  
use cases: two Earth science workflows, and a climate science workflow.  ...  This paper provides an introduction to scientific workflows and describes Pegasus and its main features.  ...  ACKNOWLEDGEMENTS This work was funded by DOE under the contract number #DESC0012636, "Panorama-Predictive Modeling and Diagnostic Monitoring of Extreme Science Workflows"; and by the National Science Foundation  ... 
doi:10.1109/escience.2016.7870926 dblp:conf/eScience/SilvaDFVRMM16 fatcat:f7wumsedq5artf7u63wbv6g4pm

Revealing the Detailed Lineage of Script Outputs Using Hybrid Provenance

Qian Zhang, Yang Cao, Qiwen Wang, Duc Vu, Priyaa Thavasimani, Timothy McPhillips, Paolo Missier, Peter Slaughter, Christopher Jones, Mathew B. Jones, Bertram Ludäscher
2018 International Journal of Digital Curation  
We use scripts from multiple disciplines (astrophysics, climate science, biodiversity data curation, and social network analysis), implemented in Python, R, and MATLAB, to highlight the usefulness of diverse  ...  We illustrate how combining retrospective and prospectiveprovenance can yield scientifically meaningful hybrid provenancerepresentations of the computational histories of data produced during a script  ...  Acknowledgments The work presented in this paper is supported, in part, by NSF awards DBI-1356751 (Kurator), ACI-1430508 (DataONE), SMA-1637155 (SKOPE), and ACI-1541450 (Whole Tale).  ... 
doi:10.2218/ijdc.v12i2.585 fatcat:a77rphjemjfi5di4broibpe2pu

Facilitating e-Science Discovery Using Scientific Workflows on the Grid [chapter]

Jianwu Wang, Prakashan Korambath, Seonah Kim, Scott Johnson, Kejian Jin, Daniel Crawl, Ilkay Altintas, Shava Smallen, Bill Labate, Kendall N. Houk
2011 Guide to e-Science  
e-Science has been greatly enhanced from the developing capability and usability of cyberinfrastructure.  ...  This chapter explains how scientific workflow systems can facilitate e-Science discovery in Grid environments by providing features including scientific process automation, resource consolidation, parallelism  ...  This work was supported by NSF SDCI Award OCI-0722079 for Kepler/ CORE, NSF CEO:P Award No. DBI 0619060 for REAP, DOE SciDac Award No. DE-FC02-07ER25811 for SDM Center, and UCGRID Project.  ... 
doi:10.1007/978-0-85729-439-5_13 dblp:series/ccn/WangKKJJCASLH11 fatcat:66f2iqtcabbe3dp6ijprsavjgi

ServiceFlow: QoS-based hybrid service-oriented grid workflow system

Haijun Cao, Hai Jin, Xiaoxin Wu, Song Wu
2009 Journal of Supercomputing  
This paper presents a QoS-based hybrid service-oriented grid workflow system called ServiceFlow, which enables the construction of QoS-aware workflow at both abstract and concrete service levels.  ...  In addition, two phases of service selection, namely pre-matching phase and QoS-based service selection phase, are designed for dynamic service bindings at runtime.  ...  In this paper, we present a QoS-based hybrid service-oriented grid workflow system called ServiceFlow, which enables construction of QoS-aware workflow at both abstract and concrete service level.  ... 
doi:10.1007/s11227-009-0300-y fatcat:fa2tctd57ndufatkn5jpgdios4

A reactive extension of the OpenMusic visual programming language

Jean Bresson, Jean-Louis Giavitto
2014 Journal of Visual Languages and Computing  
Abstract Objectives: OpenMusic (OM) is a domain-specific visual programming language designed for computeraided music composition.  ...  This integration allows for the propagation of changes in the programs, and the evaluation of graphically-designed functional expressions as a response to external events, a first step in bridging the  ...  Cantata [39] the visual language developed for the Khoros image processing environment). 12 The DeVide visual language also combines event-driven and demand-driven in a "hybrid" scheduling model [  ... 
doi:10.1016/j.jvlc.2014.03.003 fatcat:b7rxpu2yhrdm7ealcbitsgl7du

A programming model for Hybrid Workflows: Combining task-based workflows and dataflows all-in-one

Cristian Ramon-Cortes, Francesc Lordan, Jorge Ejarque, Rosa M. Badia
2020 Future generations computer systems  
This paper tries to reduce the effort of learning, deploying, and integrating several frameworks for the development of e-Science applications that combine simulations with High-Performance Data Analytics  ...  To illustrate the capabilities of Hybrid Workflows, we have built a Distributed Stream Library and a fully functional prototype extending COMPSs, a mature, general-purpose, task-based, parallel programming  ...  To validate and evaluate our proposal, we have built a prototype that helps us to illustrate the additional capabilities of Hybrid Workflows for complex Data Science applications.  ... 
doi:10.1016/j.future.2020.07.007 fatcat:24a4z2fl6jgujkxp5vdeu4xo6m

The future of scientific workflows

Ewa Deelman, Tom Peterka, Ilkay Altintas, Christopher D Carothers, Kerstin Kleese van Dam, Kenneth Moreland, Manish Parashar, Lavanya Ramakrishnan, Michela Taufer, Jeffrey Vetter
2017 The international journal of high performance computing applications  
tool for extreme-scale science.  ...  of emerging extreme-scale computing systems on those workflows, and to develop requirements for automated workflow management in future and existing environments.  ...  Acknowledgments The authors would like to thank all workshop participants for their contributions: Greg Abram, Gagan Agrawal, James  ... 
doi:10.1177/1094342017704893 fatcat:wkqlq7kzlnfx7acppift6ot4u4

Cloud computing in e-Science: research challenges and opportunities

Xiaoyu Yang, David Wallom, Simon Waddington, Jianwu Wang, Arif Shaon, Brian Matthews, Michael Wilson, Yike Guo, Li Guo, Jon D. Blower, Athanasios V. Vasilakos, Kecheng Liu (+1 others)
2014 Journal of Supercomputing  
SOA (Service Oriented Architecture), workflow, the Semantic Web, and Grid computing are key enabling information technologies in the development of increasingly sophisticated e-Science infrastructures  ...  Our particular contributions include identifying associated research challenges and opportunities, presenting lessons learned, and describing our future vision for applying Cloud computing to e-Science  ...  Acknowledgements We thank the anonymous reviewers for their constructive and insightful suggestions.  ... 
doi:10.1007/s11227-014-1251-5 fatcat:ribdemcam5coxmwoloszbc54ne

Web services and process management: a union of convenience or a new area of research?

J.Leon Zhao, Hsing Kenneth Cheng
2005 Decision Support Systems  
One such trend is the adoption of process-driven application integration by major e-business middleware vendors, and the other is the advancement of web services as a universal computing platform.  ...  In this paper, we investigate the impact of web services on business process technologies and present our viewpoints on research directions in business process management in the presence of web services  ...  Kumar and Werner described an exception handling framework based on events, states, and a new kind of process called meta-workflow.  ... 
doi:10.1016/j.dss.2004.04.002 fatcat:r2tf7hfovzeqjiimhd5zhrmacy

Metamathematics for Systems Design

Ichiro Hasuo
2017 New generation computing  
In this prototype, abstraction and genericitycharacteristics of modern mathematics that are not often associated with application-are turned into crucial advantages in applications.  ...  In doing so, we follow a recent trend and exploit formal methods, a body of mathematical techniques originally developed for computer systems.  ...  intensive discussions on the project goals, strategies and tactics; the author's collaborators and students (including Takumi  ... 
doi:10.1007/s00354-017-0023-1 fatcat:pw6byl77njf2boltl4qbjdh3ba

Formal Verification of e-Services and Workflows [chapter]

Xiang Fu, Tevfik Bultan, Jianwen Su
2002 Lecture Notes in Computer Science  
We study the verification problem for e-service (and workflow) specifications, aiming at efficient techniques for guiding the construction of composite e-services to guarantee desired properties (e.g.,  ...  If this is combined with other techniques such as abstraction and widening, it is possible to solve a large category of interesting verification problems for e-services.  ...  This abstract program can be successfully verified and thus prove the correctness of the concrete program. The cost of abstraction is pretty expensive.  ... 
doi:10.1007/3-540-36189-8_15 fatcat:duunf6ki7bgahd2vd22gs4aziq

A systematic mapping study of process mining

Ana Rocío Cárdenas Maita, Lucas Corrêa Martins, Carlos Ramón López Paz, Laura Rafferty, Patrick C. K. Hung, Sarajane Marques Peres, Marcelo Fantinato
2017 Figshare  
Process mining challenges, such as balancing among robustness, simplicity, accuracy and generalization, could benefit from a larger use of such techniques.  ...  The analysis of 705 papers evidenced 'discovery (71%) as the main type of process mining addressed and 'categorical prediction (25%) as the main mining task solved.  ...  A hybrid approach for dynamic business process mining based on reconfigurable nets and event types 2005 C ACIS Int. Conf. on Computer and Information Science (ICIS) Park, M.-J.; Kim, K.-H.; Kim, C.  ... 
doi:10.6084/m9.figshare.5619598.v1 fatcat:nvnam7nlgjabpl5kw3em4nyie4
« Previous Showing results 1 — 15 out of 7,798 results