Download or read book Metamodelling for Software Engineering written by Cesar Gonzalez-Perez and published by Wiley. This book was released on 2008-10-13 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Metamodelling for Software Engineering Metamodelling for Software Engineering is a comprehensive and practical guide to a subject that is growing in interest and importance and is becoming the standard way of defining software development methodologies, including both processes and languages such as UML. The ISO/IEC 24744 standard metamodel is adopted throughout the book as a background reference. Metamodelling is often regarded as a complex discipline, much removed from daily practice. This book seeks to demystify metamodelling and explains why it is necessary in the context of software engineering. It covers: Basic concepts and principles of metamodelling. Problems associated with traditional metamodelling, alongside an exploration of possible solutions and alternative approaches. Advanced topics such as the extension of the object-oriented paradigm for metamodelling purposes, or the foundations of powertype-based tool development. A comprehensive case study, which shows how to use the concepts explained in the previous chapters. This thorough and practical guide bridges the gap between the academic realm, where most of the innovation happens, and industry, where the real needs exist. This book will show academics how to approach metamodelling in such a fashion that their research outcomes are useful to industry; lecturers and educators how to teach metamodelling to students so it is well understood and assimilated; industry methodologists how to utilize valuable metamodelling ideas in their daily work and software tool developers how to incorporate the most innovative research outcomes into their products. Focusing on metamodelling as a discipline, exploring its foundations, techniques and results and covering process, product and quality issues under a common framework, this is a unique and timely publication for all software engineering practitioners, academics and students interested in metamodelling.
Download or read book Model Driven Software Development written by Markus Völter and published by John Wiley & Sons. This book was released on 2013-06-26 with total page 414 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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!
Download or read book On the Mathematics of Modelling Metamodelling Ontologies and Modelling Languages written by Brian Henderson-Sellers and published by Springer Science & Business Media. This book was released on 2012-06-13 with total page 111 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms. Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. An explicit consideration of domain-specific modelling languages is also included in his mathematical analysis of models, metamodels, ontologies and modelling languages. This encompassing and detailed presentation of the state-of-the-art in modelling approaches mainly aims at researchers in academia and industry. They will find the principled discussion of the various subdisciplines extremely useful, and they may exploit the unifying approach as a starting point for future research.
Download or read book Models in Software Engineering written by Jörg Kienzle and published by Springer. This book was released on 2012-04-13 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. In addition to 3 contributions each of the doctoral symposium and the educators' symposium, papers from the following workshops are included: variability for you; multi-paradigm modeling; experiences and empirical studies in software modelling; [email protected]; model-driven engineering, verification and validation; comparing modeling approaches; models and evoluation; and model-based architecting and construction of embedded systems.
Download or read book A Metamodeling Framework for Software Engineering written by Marcus Alanen and published by . This book was released on 2007 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Modeling Companion for Software Practitioners written by Egon Börger and published by Springer. This book was released on 2018-03-31 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable. To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book’s website at http://modelingbook.informatik.uni-ulm.de
Download or read book Model Driven Engineering and Ontology Development written by Dragan Gaševic and published by Springer Science & Business Media. This book was released on 2009-06-12 with total page 385 pages. Available in PDF, EPUB and Kindle. Book excerpt: Defining a formal domain ontology is considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts such as description logics or rule-based systems, and most software engineers are unfamiliar with these. This book fills this gap by covering the subject of MDA application for ontology development on the Semantic Web. The writing is technical yet clear, and is illustrated with examples. The book is supported by a website.
Download or read book On the Formalization of Model Driven Software Engineering written by Miguel Alfredo Garcia Gutierrez and published by . This book was released on 2009 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Model-Driven Software Engineering (MDSE) encompasses traditional areas of language design, tool engineering, and system validation and verification, following a unified conceptual and technical framework (metamodeling, declarative model transformations, model-based analysis). This work presents design cases of methodologies and tools for MDSE, where the state-of-the-art is advanced as a result of applying formal techniques. The contributions encompass (a) the application of metamodeling techniques to industrially relevant languages, capturing their static semantics in a machine-processable manner; (b) the formulation of a methodology for the design-time certification of transformation algorithms; (c) the design of algorithms for efficiently evaluating Object Constraint Language (OCL) invariants for both the secondary-storage and main-memory cases; and (d) several contributions focused on the generation of Integrated Development Environments (IDEs) derived from language definitions for Domain Specific Languages (DSLs). Venues for further progress and an appraisal of the impact of our research are also reported.
Download or read book Model Management and Analytics for Large Scale Systems written by Bedir Tekinerdogan and published by Academic Press. This book was released on 2019-09-14 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: Model Management and Analytics for Large Scale Systems covers the use of models and related artefacts (such as metamodels and model transformations) as central elements for tackling the complexity of building systems and managing data. With their increased use across diverse settings, the complexity, size, multiplicity and variety of those artefacts has increased. Originally developed for software engineering, these approaches can now be used to simplify the analytics of large-scale models and automate complex data analysis processes. Those in the field of data science will gain novel insights on the topic of model analytics that go beyond both model-based development and data analytics. This book is aimed at both researchers and practitioners who are interested in model-based development and the analytics of large-scale models, ranging from big data management and analytics, to enterprise domains. The book could also be used in graduate courses on model development, data analytics and data management. Identifies key problems and offers solution approaches and tools that have been developed or are necessary for model management and analytics Explores basic theory and background, current research topics, related challenges and the research directions for model management and analytics Provides a complete overview of model management and analytics frameworks, the different types of analytics (descriptive, diagnostics, predictive and prescriptive), the required modelling and method steps, and important future directions
Download or read book Co Evolution of Metamodels and Model Transformations written by Steffen Kruse and published by BoD – Books on Demand. This book was released on 2015-08-03 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: Complexity is an essential property of software systems that increases in a non-linear fashion with the size of the software system. In software engineering, Model Driven Engineering (MDE) aims to alleviate this complexity by utilising models and modelling activities to raise the level of abstraction and to automate the production of artefacts. One specialised technique with this purpose is the model transformation, which allows the automated creation and modification of output models based on input models. As models and model transformations are used in a productive capacity, they underlie the same evolutionary pressure that conventionally build software systems do. Here the tight coupling between model transformations and metamodels becomes problematic, as changing the one often results in the need to check and adapt the other accordingly. This thesis presents an operator-based, stepwise approach to support software architects in the co-evolution of metamodels and model transformations. The approach allows the description of changes done to a metamodel and the automatic or semi-automatic resolution of the impact on related model transformations. Overall the effort needed for co-evolution is reduced.
Download or read book Model Integrating Software Components written by Mahdi Derakhshanmanesh and published by Springer. This book was released on 2015-04-30 with total page 341 pages. Available in PDF, EPUB and Kindle. Book excerpt: In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-called model-integrating software exploits all advantages of models: models implicitly support a good separation of concerns, they are self-documenting and thus improve understandability and maintainability and in contrast to model-driven approaches there is no synchronization problem anymore between the models and the code generated from them. Using model-integrating components, software will be easier to build and easier to evolve by just modifying the respective model in an editor. Furthermore, software may also adapt itself at runtime by transforming its own model part.
Download or read book Advancements in Model Driven Architecture in Software Engineering written by Rhazali, Yassine and published by IGI Global. This book was released on 2020-09-18 with total page 287 pages. Available in PDF, EPUB and Kindle. Book excerpt: An integral element of software engineering is model engineering. They both endeavor to minimize cost, time, and risks with quality software. As such, model engineering is a highly useful field that demands in-depth research on the most current approaches and techniques. Only by understanding the most up-to-date research can these methods reach their fullest potential. Advancements in Model-Driven Architecture in Software Engineering is an essential publication that prepares readers to exercise modeling and model transformation and covers state-of-the-art research and developments on various approaches for methodologies and platforms of model-driven architecture, applications and software development of model-driven architecture, modeling languages, and modeling tools. Highlighting a broad range of topics including cloud computing, service-oriented architectures, and modeling languages, this book is ideally designed for engineers, programmers, software designers, entrepreneurs, researchers, academicians, and students.
Download or read book Model Driven Engineering Languages and Systems written by Andy Schürr and published by Springer Science & Business Media. This book was released on 2009-09-15 with total page 775 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Model and Data Engineering written by Ladjel Bellatreche and published by Springer. This book was released on 2015-09-28 with total page 346 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as modeling and meta modeling; ontology-based modeling, reasoning and reuse; event-B and modeling languages; context modeling and model transformation; data mining; query processing; modeling activities and inference; prediction and recommendation; requirement and systems engineering.
Download or read book Model Driven Engineering Languages and Systems written by Dorina C. Petriu and published by Springer. This book was released on 2010-09-21 with total page 443 pages. Available in PDF, EPUB and Kindle. Book excerpt: The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.
Download or read book Framework for the Interoperability of Software Engineering Metamodels written by Muhammad Atif Qureshi and published by . This book was released on 2014 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Recent Advances in Intelligent Systems and Smart Applications written by Mostafa Al-Emran and published by Springer Nature. This book was released on 2020-06-26 with total page 658 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book explores the latest research trends in intelligent systems and smart applications. It presents high-quality empirical and review studies focusing on various topics, including information systems and software engineering, knowledge management, technology in education, emerging technologies, and social networks. It provides insights into the theoretical and practical aspects of intelligent systems and smart applications.