A Framework for Model-Driven Scientific Workflow Engineering
A Framework for Model-Driven Scientific Workflow Engineering

Author: Guido Scherp

Publisher: BoD – Books on Demand

Published: 2013-11-06

Total Pages: 322

ISBN-13: 3732279863

DOWNLOAD EBOOK

Scientific workflows are one important means in the context of data-intensive science for reliable and efficient scientific data processing in distributed computing infrastructures such as Grids. A common trend is to adapt existing and established business workflow technologies instead of developing own technologies from scratch. This thesis provides a model-driven approach for scientific workflow engineering, in which domain-specific languages (DSLs) tailored for a certain scientific domain are used for scientific workflow modeling, and automated mapping techniques for technical execution are developed and evaluated. The Business Process Model and Notation (BPMN) is thereby used at the domain-specific layer and the Web Services Business Process Execution Language (BPEL) at the technical layer. The implementation uses the Eclipse Modeling Framework (EMf) and is evaluated in three application scenarios.

Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development

Author: Slimane Hammoudi

Publisher: Springer Nature

Published: 2021-02-01

Total Pages: 386

ISBN-13: 3030674452

DOWNLOAD EBOOK

This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on​ methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.

Model Driven Engineering Languages and Systems
Model Driven Engineering Languages and Systems

Author: Lionel Briand

Publisher: Springer Science & Business Media

Published: 2005-09-19

Total Pages: 736

ISBN-13: 3540290109

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. The 52 revised full papers and 2 keynote abstracts presented were carefully reviewed and selected from an initial submission of 215 abstracts and 166 papers. The papers are organized in topical sections on process modelling, product families and reuse, state/behavioral modeling, aspects, design strategies, model transformations, model refactoring, quality control, MDA automation, UML 2.0, industrial experience, crosscutting concerns, modeling strategies, as well as a recapitulatory section on workshops, tutorials and panels.

Model Driven Engineering Languages and Systems
Model Driven Engineering Languages and Systems

Author: Andy Schürr

Publisher: Springer Science & Business Media

Published: 2009-09-15

Total Pages: 775

ISBN-13: 3642044247

DOWNLOAD EBOOK

The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat,in littleoveradecade, theirinitiativewouldblossomintotoday’shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld, attracting much young talent and leading to the gradualemergence of its correspondingscienti?c and engineering foundations. The proceedings from the MODELS conferences are one of the primary references for anyone interested in a more substantive study of the domain. The 12th conference took place in Denver in the USA, October 4–9, 2009 along with numerous satellite workshops and tutorials, as well as several other related scienti?c gatherings. The conference was exceptionally fortunate to have three eminent, invited keynote speakers from industry: Stephen Mellor, Larry Constantine, and Grady Booch.

Process Design for Natural Scientists
Process Design for Natural Scientists

Author: Anna-Lena Lamprecht

Publisher: Springer

Published: 2014-09-19

Total Pages: 263

ISBN-13: 3662450062

DOWNLOAD EBOOK

This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting the impact the workflow modeling might have on the work of natural scientists, this book serves three major purposes: 1. It acts as a primer for practitioners who are interested to learn how to think in terms of services and workflows when facing domain-specific scientific processes. 2. It provides interesting material for readers already familiar with this kind of tools, because it introduces systematically both the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field becomes increasingly relevant for lectures in both computer science and experimental sciences, it also provides helpful material for teachers that plan similar courses.

Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation

Author: Tiziana Margaria

Publisher: Springer

Published: 2012-09-26

Total Pages: 632

ISBN-13: 3642340261

DOWNLOAD EBOOK

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the development and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.

Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development

Author: Philippe Desfray

Publisher: Springer

Published: 2016-01-04

Total Pages: 447

ISBN-13: 331927869X

DOWNLOAD EBOOK

This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015. The 25 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 94 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.

Model-Driven Software Development
Model-Driven Software Development

Author: Sami Beydeda

Publisher: Springer Science & Business Media

Published: 2005-11-11

Total Pages: 462

ISBN-13: 3540285547

DOWNLOAD EBOOK

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system. The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development. Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG’s MDA initiative.

Service Research and Innovation
Service Research and Innovation

Author: Amin Beheshti

Publisher: Springer

Published: 2018-03-02

Total Pages: 231

ISBN-13: 3319765876

DOWNLOAD EBOOK

This book constitutes revised selected papers from the Australasian Symposium on Service Research and Innovation, ASSRI, held in Sydney Australia.The 11 full papers presented from ASSRI 2017, which took place during October 19-20, 2017, were carefully reviewed and selected from 26 submissions. The volume also contains 3 papers from ASSRI 2015, which took place during November 2-3, 2015, and one invited paper on the software development processes.The papers were organized in topical sections named: invited talk; modelling; design; quality; social, and application.

Software Engineering, Business Continuity, and Education
Software Engineering, Business Continuity, and Education

Author: Tai-hoon Kim

Publisher: Springer

Published: 2011-12-02

Total Pages: 732

ISBN-13: 364227207X

DOWNLOAD EBOOK

This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of advances in software engineering and its Application, disaster recovery and business continuity, education and learning.