Model-Driven Software Development
Model-Driven Software Development

Author: Markus Völter

Publisher: John Wiley & Sons

Published: 2013-06-26

Total Pages: 414

ISBN-13: 111872576X

DOWNLOAD EBOOK

Model-Driven Software Development (MDSD) is currently a highly regarded development paradigm among developers and researchers. With the advent of OMG's MDA and Microsoft's Software Factories, the MDSD approach has moved to the centre of the programmer's attention, becoming the focus of conferences such as OOPSLA, JAOO and OOP. MDSD is about using domain-specific languages to create models that express application structure or behaviour in an efficient and domain-specific way. These models are subsequently transformed into executable code by a sequence of model transformations. This practical guide for software architects and developers is peppered with practical examples and extensive case studies. International experts deliver: * A comprehensive overview of MDSD and how it relates to industry standards such as MDA and Software Factories. * Technical details on meta modeling, DSL construction, model-to-model and model-to-code transformations, and software architecture. * Invaluable insight into the software development process, plus engineering issues such as versioning, testing and product line engineering. * Essential management knowledge covering economic and organizational topics, from a global perspective. Get started and benefit from some practical support along the way!

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

Author: Tiziana Margaria

Publisher: Springer Science & Business Media

Published: 2008-11-05

Total Pages: 881

ISBN-13: 3540884793

DOWNLOAD EBOOK

This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13–15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Following the tradition of its forerunners in 2004 and 2006 in Cyprus, and the ISoLA Workshops in Greenbelt (USA) in 2005 and in Poitiers (France) in 2007, ISoLA 2008 provided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In p- ticular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.

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.

Engineering Methods in the Service-Oriented Context
Engineering Methods in the Service-Oriented Context

Author: Jolita Ralyte

Publisher: Springer Science & Business Media

Published: 2011-03-23

Total Pages: 243

ISBN-13: 3642199968

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, held in Paris, France, in April 2011. The 13 revised full papers and 6 short papers presented together with the abstracts of two keynote talks were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on situated method engineering, method engineering foundations, customized methods, tools for method engineering, new trends to build methods, and method engineering services.

Service-Oriented Modeling
Service-Oriented Modeling

Author: Michael Bell

Publisher: John Wiley & Sons

Published: 2017-11-14

Total Pages: 384

ISBN-13: 0470141115

DOWNLOAD EBOOK

Answers to your most pressing SOA development questions How do we start with service modeling? How do we analyze services for better reusability? Who should be involved? How do we create the best architecture model for our organization? This must-read for all enterprise leaders gives you all the answers and tools needed to develop a sound service-oriented architecture in your organization. Praise for Service-Oriented Modeling Service Analysis, Design, and Architecture "Michael Bell has done it again with a book that will be remembered as a key facilitator of the global shift to Service-Oriented Architecture. . . . With this book, Michael Bell provides that foundation and more-an essential bible for the next generation of enterprise IT." -Eric Pulier, Executive Chairman, SOA Software "Michael Bell's insightful book provides common language and techniques for business and technology organizations to take advantage of the SOA paradigm. By focusing modeling techniques on the business problem, Bell provides a way for professionals to work throughout the life cycle to create reusable and enduring services." -Mike Zbranak, CIO, Chase Card Services "This book will become an imperative business and technology service-oriented modeling recipe for any manager, architect, modeler, analyst, and developer in today's software development industry." -Jeff Schneider, CEO, MomentumSI "'Innovative' and 'groundbreaking' are words that best describe Michael Bell's Service-Oriented Modeling. It depicts a true service modeling approach that elegantly closes a clear and critical service modeling gap in the SOA industry. This holistic book ties these concepts together using real-world examples across a service life cycle that transitions services from ideas and concepts into production assets that deliver business value. A must-read for business and technical SOA practitioners." -Eric A. Marks, CEO, AgilePath Corporation "As hot as SOA is today, many business and technology professionals still find it challenging to mind the gap between their disparate methodologies and objectives. Herein Michael Bell speaks clearly to both camps in straightforward language, outlining disciplines each can use to communicate effectively and advance the realization of corporate aims. This book is a bible for all who seek to drive business/technology into the future." -Mark Edward Goodrich, Director, Investing Product Management, Reuters Media "This book takes senior IT architects and systems designers into the depths of modeling for SOA, with a fresh new perspective on tools, terminology, and how to turn the theory into practice. His full life-cycle approach balances process, control, and accountability to align all the participants in the delivery pipeline-clearing the road for successful SOA business solutions." -Phil Gilligan, Chief Technology Officer, EBS

Advances in Conceptual Modeling
Advances in Conceptual Modeling

Author: Manfred A. Jeusfeld

Publisher: Springer

Published: 2015-10-11

Total Pages: 371

ISBN-13: 3319257471

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of seven workshops and a symposium, held at the 34th International Conference on Conceptual Modeling, ER 2015, in Stockholm, Sweden. The 26 revised full and 8 invited papers were carefully reviewed and selected out of 52 submissions to the following events: Conceptual Modelling for Ambient Assistance and Healthy Ageing, AHA-2015; Conceptual Modelling of Services, CMS-2015; Event Modelling and Processing in Business Process Management, EMoV-2015; Modelling and Management of Big Data, MoBID-2015; Modelling and Reasoning for Business Intelligence, MORE-BI-2015; Conceptual Modelling in Requirements Engineering and Business Analysis, MREBA-2015; Quality of Modelling and Modelling of Quality, QMMQ-2015; and the Symposium on Conceptual Modelling Education, SCME-2015.

Semantic Web Services
Semantic Web Services

Author: Brian Blake

Publisher: Springer Science & Business Media

Published: 2012-06-28

Total Pages: 358

ISBN-13: 3642287352

DOWNLOAD EBOOK

Over the last decade, a great amount of effort and resources have been invested in the development of Semantic Web Service (SWS) frameworks. Numerous description languages, frameworks, tools, and matchmaking and composition algorithms have been proposed. Nevertheless, when faced with a real-world problem, it is still very hard to decide which of these different approaches to use. In this book, the editors present an overall overview and comparison of the main current evaluation initiatives for SWS. The presentation is divided into four parts, each referring to one of the evaluation initiatives. Part I covers the long-established first two tracks of the Semantic Service Selection (S3) Contest – the OWL-S matchmaker evaluation and the SAWSDL matchmaker evaluation. Part II introduces the new S3 Jena Geography Dataset (JGD) cross evaluation contest. Part III presents the Semantic Web Service Challenge. Lastly, Part IV reports on the semantic aspects of the Web Service Challenge. The introduction to each part provides an overview of the evaluation initiative and overall results for its latest evaluation workshops. The following chapters in each part, written by the participants, detail their approaches, solutions and lessons learned. This book is aimed at two different types of readers. Researchers on SWS technology receive an overview of existing approaches in SWS with a particular focus on evaluation approaches; potential users of SWS technologies receive a comprehensive summary of the respective strengths and weaknesses of current systems and thus guidance on factors that play a role in evaluation.

Correct Software in Web Applications and Web Services
Correct Software in Web Applications and Web Services

Author: Bernhard Thalheim

Publisher: Springer

Published: 2015-06-12

Total Pages: 345

ISBN-13: 3319171127

DOWNLOAD EBOOK

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.

Rigorous Software Engineering for Service-Oriented Systems
Rigorous Software Engineering for Service-Oriented Systems

Author: Martin Wirsing

Publisher: Springer Science & Business Media

Published: 2011-05-09

Total Pages: 747

ISBN-13: 3642204007

DOWNLOAD EBOOK

Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to designing, analyzing and implementing SO applications.

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

Author: Slimane Hammoudi

Publisher: Springer

Published: 2019-01-31

Total Pages: 507

ISBN-13: 3030110303

DOWNLOAD EBOOK

This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.