Workflows for Social Science Ken Turner Computing Science and Mathematics www.cs.stir.ac.uk/cress 31st January 2012.

Slides:



Advertisements
Similar presentations
Practical Database Design Methodology and Use of UML Diagrams
Advertisements

For the e-Stat meeting of 6-7 April 2011 Paul Lambert / DAMES Node inputs 1)Updates on DAMES 2)Bringing DAMES inputs to e-Stat 3)Misc. feedback - Stat-JR.
High-Level Workflows for Social Science Ken Turner (and Larry Tan) Computing Science and Mathematics 24th November.
Software change management
Introduction to .NET Framework
14-1 © Prentice Hall, 2004 Chapter 14: OOSAD Implementation and Operation (Adapted) Object-Oriented Systems Analysis and Design Joey F. George, Dinesh.
1 Programming Languages (CS 550) Mini Language Interpreter Jeremy R. Johnson.
EHarmony in Cloud Subtitle Brian Ko. eHarmony Online subscription-based matchmaking service Available in United States, Canada, Australia and United Kingdom.
Programming Languages Marjan Sirjani 2 2. Language Design Issues Design to Run efficiently : early languages Easy to write correctly : new languages.
Introduction to Control Flow Patterns and BizAgi
A university for the world real R © 2009, Chapter 15 The Business Process Execution Language Chun Ouyang Marlon Dumas Petia Wohed.
ISBN Chapter 3 Describing Syntax and Semantics.
Dale E. Gary Professor, Physics, Center for Solar-Terrestrial Research New Jersey Institute of Technology 1 3/16/2012OVSA Preliminary Design Review.
Train Control Language Teaching Computers Interlocking By: J. Endresen, E. Carlson, T. Moen1, K. J. Alme, Haugen, G. K. Olsen & A. Svendsen Synthesizing.
Analysis Stage (Phase I) The goal: understanding the customer's requirements for a software system. n involves technical staff working with customers n.
An framework for model-driven product design and development using Modelica Adrian Pop, Olof Johansson, Peter Fritzson Programming Environments Laboratory.
Programming Languages Structure
A Data Curation Application Using DDI: The DAMES Data Curation Tool for Organising Specialist Social Science Data Resources Simon Jones*, Guy Warner*,
Describing Syntax and Semantics
CS 104 Introduction to Computer Science and Graphics Problems Software and Programming Language (2) Programming Languages 09/26/2008 Yang Song (Prepared.
Towards interoperability of Learning Activities Design: Transforming BPEL Workflows to IMS Learning Design Level A Learning Flows This work is licensed.
Automated Tests in NICOS Nightly Control System Alexander Undrus Brookhaven National Laboratory, Upton, NY Software testing is a difficult, time-consuming.
Business process management (BPM) Petra Popovičová.
Enterprise Workflow CPSC 476 Lightening Talk Brenda Griffith/Katie Soto.
- Chaitanya Krishna Pappala Enterprise Architect- a tool for Business process modelling.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
This chapter is extracted from Sommerville’s slides. Text book chapter
Boštjan Šumak dr. Marjan Heričko THE ROLE OF BIZTALK SERVER IN BUSINESS PROCESS INTEGRATION.
Cheng/Dillon-Software Engineering: Formal Methods Model Checking.
Introduction 01_intro.ppt
SOA, BPM, BPEL, jBPM.
1 Conceptual Modeling of User Interfaces to Workflow Information Systems Conceptual Modeling of User Interfaces to Workflow Information Systems By: Josefina.
UML - Development Process 1 Software Development Process Using UML (2)
School of Computing and Mathematics, University of Huddersfield Computing Science: WEEK 17 Announcement: next few weeks… 9 nd Feb: Comparative Programming.
INTELLIGENT AUTOMATION INC. Extending Rational Rose to support MAS design in UML Intelligent Automation Inc. 2 Research Place, Suite 202 Rockville, MD.
The Systems Development Methodologies. Objectives  Describe the information Systems Development Life Cycle (SDLC)  Explain prototyping  Explain Rapid.
SOFTWARE DESIGN AND ARCHITECTURE LECTURE 21. Review ANALYSIS PHASE (OBJECT ORIENTED DESIGN) Functional Modeling – Use case Diagram Description.
METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.
The ACGT Workflow Editing & Enactment Environment Giorgos Zacharioudakis Institute of Computer Science, Foundation for Research & Technology – Hellas (ICS-FORTH)
Distributed Aircraft Maintenance Environment - DAME DAME Workflow Advisor Max Ong University of Sheffield.
C++ Programming Language Lecture 2 Problem Analysis and Solution Representation By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department.
Fall 2010 CS4310 Requirements Engineering A Brief Review of UML & OO Dr. Guoqiang Hu Department of Computer Science UTEP 1.
Verification of behavioural elements of UML models using B Truong, Ninh-Thuan and Souquieres, Jeanine In Proceedings of the 2005 ACM Symposium on.
Major Disciplines in Computer Science Ken Nguyen Department of Information Technology Clayton State University.
1 Representing New Voice Services and Their Features Ken Turner University of Stirling 11th June 2003.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Enabling Grids for E-sciencE Astronomical data processing workflows on a service-oriented Grid architecture Valeria Manna INAF - SI The.
ICT EMMSAD’05 13/ Assessing Business Process Modeling Languages Using a Generic Quality Framework Anna Gunhild Nysetvold* John Krogstie *, § IDI,
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
How to Program? -- Part 1 Part 1: Problem Solving –Analyze a problem –Decide what steps need to be taken to solve it. –Take into consideration any special.
Dr. Rebhi S. Baraka Advanced Topics in Information Technology (SICT 4310) Department of Computer Science Faculty of Information Technology.
SOFTWARE ENGINEERING. Objectives Have a basic understanding of the origins of Software development, in particular the problems faced in the Software Crisis.
Organising social science data – computer science perspectives Simon Jones Computing Science and Mathematics University of Stirling, Stirling, Scotland,
Programming Languages
1 Chapter 12 Configuration management This chapter is extracted from Sommerville’s slides. Text book chapter 29 1.
The Hashemite University Computer Engineering Department
GEODE – Sharing Occupational Data Through The Grid Dr. Paul Lambert, Dr. Vernon Gayle, Prof. Ken Prandy, Prof. Richard Sinnott, Prof. Ken Turner, Koon.
Chapter 10: Classes and Data Abstraction. Classes Object-oriented design (OOD): a problem solving methodology Objects: components of a solution Class:
OSSIM Technology Overview Mark Lucas. “Awesome” Open Source Software Image Map (OSSIM)
Ganga/Dirac Data Management meeting October 2003 Gennady Kuznetsov Production Manager Tools and Ganga (New Architecture)
© 2009 Artisan Software Tools. All rights reserved. Testing Solutions with UML/SysML Andrew Stuart, Matthew Hause.
Software Engineering Algorithms, Compilers, & Lifecycle.
Lasse Pajunen Nokia Research Center Nokia Corporation Anna Ruokonen Institute of Software Systems Tampere University of Technology ICWS 2007 Modeling and.
Introduction to UML.
Business process management (BPM)
Improvements in editing methods and processes for use of Value Added Tax data in UK National Accounts Martina Portanti and Robert Breton Office for National.
Business process management (BPM)
SDC – SDLC integration.
Software Design Methodology
ESS VIP ICT Project Task Force Meeting 5-6 March 2013.
Presentation transcript:

Workflows for Social Science Ken Turner Computing Science and Mathematics 31st January 2012

Workflows in Social Science l low-level (micro) flows are sequences of steps using some statistical package, e.g.: retrieve datasets D1 and D2 recode variable V1 cross-tabulate V1 and V2 l high-level (macro) flows combine the capabilities of separate services, e.g.: l data retrieval l data cleaning l data fusion l data analysis

High-Level Workflows in D AMES l an approach has been developed for high- level workflows in social science: l the services are external, being packages that conform to web/grid computing standards l the workflow logic is defined graphically l this is automatically analysed, and translated into BPEL (Business Process Execution Logic) l the supporting tools are: l C RESS : workflow definition and translation l ActiveBPEL: workflow orchestration

Statistical Analysis Services l services appearing in workflows can be supported by statistical packages: l a syntax file (R, Stata, …) is mapped to a web service (with a little help) l services to call these are automatically generated l an overall workflow using these services can be defined and uploaded to the DAMES portal l this encourages: l modularity and re-use of analyses l flexible combination of statistical scripts

C RESS l Communication Representation Employing Systematic Specification: l graphical workflow notation l application/language/platform-independent l automated analysis and implementation l mature, having been developed over 14 years l supported by other packages: l C HIVE : graphical workflow editor l M USTARD : workflow validator l C LOVE : workflow verifier l M INT : performance analyser

C RESS Methodology Workflow Diagram Precise Specification automatic specification Rigorous Analysis validation/ verification Implementation Code automatic compilation Performance Analysis Performance Analysis scenario evaluation design corrections

C RESS Example l the following example illustrates mapping one occupation to two different schemes l only an outline is given, omitting the details l the cooperating services are: l lookup: performs parallel mapping (workflow) l allocator: finds an available job mapper then does the mapping (workflow) l factory: manages mapper resources (partner) l mapper: performs a mapping for some scheme (partner)

Parallel Job Translation 3 Invoke allocator.job.translate mapping1 code1 3 Invoke allocator.job.translate mapping1 code1 4 Invoke allocator.job.translate mapping2 code2 4 Invoke allocator.job.translate mapping2 code2 1 Receive lookup.job.translate schemes 1 Receive lookup.job.translate schemes 2 Fork 6 Reply lookup.job.translate codes 6 Reply lookup.job.translate codes 5 Join

Job Mapper Allocation 1 Receive allocator.job.translate mapping 1 Receive allocator.job.translate mapping 2 Invoke factory.job.allocator scheme mapper 2 Invoke factory.job.allocator scheme mapper 4 Reply allocator.job.translate mapping 4 Reply allocator.job.translate mapping 3 Invoke mapper.job.translate job mapping 3 Invoke mapper.job.translate job mapping

Summary l low-level workflows define the sequence of basic steps in a statistical package l high-level workflows invoke external analysis services and combine their results l workflows can use scripts for various statistical packages mapped to services l C RESS allows high-level workflows to be defined, analysed and executed