Download or read book Reusing OCL in the Definition of Imperative Languages written by Fabian Büttner and published by Logos Verlag Berlin GmbH. This book was released on 2011 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Object Constraint Language (OCL) has proven to be a valuable ingredient for the specification of UML models. It allows to formulate logical propositions for models that typically cannot be expressed in the visual modeling paradigms of UML. A similar textual ingredient is required for the imperative specification of behavior in certain applications of UML, most prominently Executable UML models and model transformation. There is no such imperative language in the UML standard, but there are several candidates for such a language that are based on OCL for expressions. One of them is ImperativeOCL, which is part of the OMG Query, Views, Transformations (QVT) standard. However, the embedding of OCL into several of these languages is what we call a non-modular embedding. Such a non-modular embedding results in problems w. r. t. to language semantics and/or sets up obstacles for the reuse of existing OCL tools and instruments. In our work we therefore define requirements for a modular embedding of OCL into an imperative language. We introduce our language SOIL (Simple OCL-based Imperative Language) which embeds OCL in a modular way. We provide an informal description of SOIL as well as a formal definition of the language syntax and semantics, and prove its consistency and type safety. We describe applications of our approach in two fields: first, the extension of the UML-based Specification Environment (USE) by an imperative language and, second, the development of the model transformation tool XGenerator2 that has been successfully applied in several eGovernment projects. Our work makes three major contributions. First, we provide a critical review of the embedding of OCL into existing programming languages. Second, we provide a simple but already useful OCL-based imperative language with a sound and formal semantics that can be implemented out of the box using existing OCL engines. Third, our work contributes a general guideline for a safe embedding of OCL into other languages.

Download or read book Formal Methods Foundations and Applications written by Adenilso Simao and published by Springer. This book was released on 2011-11-10 with total page 213 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Download or read book Models in Software Engineering written by Michel R. V. Chaudron and published by Springer Science & Business Media. This book was released on 2009-04-22 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008. The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.

Download or read book Formal Verification of Object Oriented Software written by Bernhard Beckert and published by Springer. This book was released on 2012-07-11 with total page 259 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.

Download or read book Model Driven Architecture for Reverse Engineering Technologies Strategic Directions and System Evolution written by Favre, Liliana and published by IGI Global. This book was released on 2010-01-31 with total page 459 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book proposes an integration of classical compiler techniques, metamodeling techniques and algebraic specification techniques to make a significant impact on the automation of MDA-based reverse engineering processes"--Provided by publisher.

Download or read book Adaptive Web Services for Modular and Reusable Software Development Tactics and Solutions written by Ortiz, Guadalupe and published by IGI Global. This book was released on 2012-09-30 with total page 415 pages. Available in PDF, EPUB and Kindle. Book excerpt: Web services provide systems with great flexibility and easier maintenance which result in better ways to communicate and distribute applications. There are good procedures in place for the design, development, and management of Web services; however, there are areas in which Web service adaptation is required. To preserve the loosely coupled approach of Web services, service adaptations should be implemented appropriately. Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions includes current research on the area of Web service adaptation while embarking upon the different aspects related to Web services. This collection provides an overview of existing solutions for service adaption in different development scopes as well as covers a wide variety of challenges which emerge. It aims to keep industry professionals as well as academic researchers up to date with the latest research results.

Download or read book A Functional Comprehensive and Extensible Multi Platform Querying and Transformation Approach written by Tassilo Horn and published by Logos Verlag Berlin GmbH. This book was released on 2015-07-11 with total page 475 pages. Available in PDF, EPUB and Kindle. Book excerpt: This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions.

Download or read book Conceptual Modeling ER 2007 written by Christine Parent and published by Springer Science & Business Media. This book was released on 2007-10-15 with total page 631 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 26th International Conference on Conceptual Modeling, ER 2007. Coverage in the papers includes data warehousing and data mining, design methodologies and tools, information and database integration, information modeling concepts and ontologies, integrity constraints, logical foundations of conceptual modeling, patterns and conceptual meta-modeling, semi-structured data and XML, as well as Web information systems and XML.

Download or read book Model Driven Engineering Languages and Systems written by Gregor Engels and published by Springer Science & Business Media. This book was released on 2007-09-13 with total page 711 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions. The papers are organized in topical sections.

Download or read book Models in Software Engineering written by Thomas Kühne and published by Springer Science & Business Media. This book was released on 2007-01-12 with total page 342 pages. Available in PDF, EPUB and Kindle. Book excerpt: Of the workshop on multi-paradigm modeling : concepts and tools / Holger Giese, Tihamer Levendovszky and Hans Vangheluwe -- Think global, act local : implementing model management with domain-specific integration languages / Thomas Reiter, Kerstin Altmanninger and Werner Retschitzegger -- MoDELS 2006 doctoral symposium / Gabriela Arevalo and Robert Pettit -- Model driven security engineering for the realization of dynamic security requirements in collaborative systems / Muhammad Alam -- Educators' symposium at MoDELS 2006 / Ludwik Kuzniarz -- If you're not modeling, you're just programming : modeling throughout an undergraduate software engineering program / James Vallino -- Teaching software modeling in a simulated project environment / Robert Szmurlo and Michal Smialek -- Repository for model driven development (ReMoDD) / Robert France, Jim Bieman and Betty H. C. Cheng -- 2[superscript nd]UML 2 semantics symposium : formal semantics for UML / Manfred Broy, Michelle L. Crane, Juergen Dingel, Alan Hartman, Bernhard Rumpe and Bran Selic -- UML simulator based on a generic model execution engine / Andrei Kirshin, Dolev Dotan and Alan Hartman -- Queries and constraints : a comprehensive semantic model for UML2 / Ingolf H. Kruger and Massimiliano Menarini -- Analysis of UML activities with dynamic meta modeling techniques / Christian Soltenborn and Gregor Engels.

Download or read book Model and Data Engineering written by Alberto Abelló and published by Springer. This book was released on 2012-09-25 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012. The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The papers are cover the topics of model driven engineering, ontology engineering, formal modeling, security, and data mining.

Download or read book Specification Languages for Preserving Consistency between Models of Different Languages written by Kramer, Max Emanuel and published by KIT Scientific Publishing. This book was released on 2019-01-30 with total page 476 pages. Available in PDF, EPUB and Kindle. Book excerpt: When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.

Download or read book Model Driven Architecture Foundations and Applications written by Ina Schieferdecker and published by Springer. This book was released on 2008-06-06 with total page 457 pages. Available in PDF, EPUB and Kindle. Book excerpt: The fourth edition of the European Conference on Model-Driven Architecture – Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. MDA is an initiative proposed by the - ject Management Group (OMG) for platform-generic software development. It promotes the use of models in the speci?cation, design, analysis, synthesis, - ployment, and evolution of complex software systems. ECMDA-FA 2008 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e?cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2008. ECMDA-FA addresses various MDA areas including model management, e- cutable models, concrete syntaxes, aspects and concerns, validation and te- ing, model-based systems engineering, model-driven development and servi- oriented architectures, and the application of model-driven development. Therearesomanypeople whodeservewarmthanksandgratitude.The fru- ful collaboration of the Organization, Steering and Program Committee m- bersandthevibrantcommunityledtoasuccessfulconference:ECMDA-FA2008 obtainedexcellentresultsintermsofsubmissions,programsize,andattendance. The Program Committee accepted, with the help of additional reviewers, research papers and industry papers for ECMDA-FA 2008: We received 87 s- missions. Of these, a total of 31 were accepted including 21 research papers and 10 industry papers. We thank them for the thorough and high-quality selection process.

Download or read book Encyclopedia of Software Engineering Three Volume Set Print written by Phillip A. Laplante and published by CRC Press. This book was released on 2010-11-22 with total page 1441 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software. Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods. Editor Phillip A. Laplante uses the most universally recognized definition of the areas of relevance to software engineering, the Software Engineering Body of Knowledge (SWEBOK®), as a template for organizing the material. Also available in an electronic format, this encyclopedia supplies software engineering students, IT professionals, researchers, managers, and scholars with unrivaled coverage of the topics that encompass this ever-changing field. Also Available Online This Taylor & Francis encyclopedia is also available through online subscription, offering a variety of extra benefits for researchers, students, and librarians, including: Citation tracking and alerts Active reference linking Saved searches and marked lists HTML and PDF format options Contact Taylor and Francis for more information or to inquire about subscription options and print/online combination packages. US: (Tel) 1.888.318.2367; (E-mail) [email protected] International: (Tel) +44 (0) 20 7017 6062; (E-mail) [email protected]

Download or read book Requirements Engineering Foundation for Software Quality written by Pete Sawyer and published by Springer. This book was released on 2007-06-28 with total page 391 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2007, held in Trondheim, Norway. It covers goal-driven requirements engineering (RE), products and product-lines, value-based RE and the value of RE, requirements elicitation, requirements specification, industrial experience of RE, and requirements quality and quality requirements.

Download or read book Principles and Practice of Constraint Programming CP 2002 written by Pascal Van Hentenryck and published by Springer Science & Business Media. This book was released on 2002-08-26 with total page 817 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002. The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.

Download or read book Object Oriented Analysis and Design for Information Systems written by Raul Sidnei Wazlawick and published by Elsevier. This book was released on 2014-01-28 with total page 469 pages. Available in PDF, EPUB and Kindle. Book excerpt: Object-Oriented Analysis and Design for Information Systems clearly explains real object-oriented programming in practice. Expert author Raul Sidnei Wazlawick explains concepts such as object responsibility, visibility and the real need for delegation in detail. The object-oriented code generated by using these concepts in a systematic way is concise, organized and reusable. The patterns and solutions presented in this book are based in research and industrial applications. You will come away with clarity regarding processes and use cases and a clear understand of how to expand a use case. Wazlawick clearly explains clearly how to build meaningful sequence diagrams. Object-Oriented Analysis and Design for Information Systems illustrates how and why building a class model is not just placing classes into a diagram. You will learn the necessary organizational patterns so that your software architecture will be maintainable. - Learn how to build better class models, which are more maintainable and understandable. - Write use cases in a more efficient and standardized way, using more effective and less complex diagrams. - Build true object-oriented code with division of responsibility and delegation.