Reusing Ocl In The Definition Of Imperative Languages
DOWNLOAD
Download Reusing Ocl In The Definition Of Imperative Languages PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Reusing Ocl In The Definition Of Imperative Languages book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Reusing Ocl In The Definition Of Imperative Languages
DOWNLOAD
Author : Fabian Büttner
language : en
Publisher: Logos Verlag Berlin GmbH
Release Date : 2011
Reusing Ocl In The Definition Of Imperative Languages written by Fabian Büttner and has been published by Logos Verlag Berlin GmbH this book supported file pdf, txt, epub, kindle and other format this book has been release on 2011 with Computers categories.
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.
Formal Methods Foundations And Applications
DOWNLOAD
Author : Adenilso Simao
language : en
Publisher: Springer
Release Date : 2011-11-10
Formal Methods Foundations And Applications written by Adenilso Simao and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2011-11-10 with Computers categories.
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.
Models In Software Engineering
DOWNLOAD
Author : Michel R. V. Chaudron
language : en
Publisher: Springer Science & Business Media
Release Date : 2009-04-22
Models In Software Engineering written by Michel R. V. Chaudron and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-04-22 with Business & Economics categories.
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.
Formal Verification Of Object Oriented Software
DOWNLOAD
Author : Bernhard Beckert
language : en
Publisher: Springer
Release Date : 2012-07-11
Formal Verification Of Object Oriented Software written by Bernhard Beckert and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-07-11 with Computers categories.
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.
Model Driven Architecture For Reverse Engineering Technologies Strategic Directions And System Evolution
DOWNLOAD
Author : Favre, Liliana
language : en
Publisher: IGI Global
Release Date : 2010-01-31
Model Driven Architecture For Reverse Engineering Technologies Strategic Directions And System Evolution written by Favre, Liliana and has been published by IGI Global this book supported file pdf, txt, epub, kindle and other format this book has been release on 2010-01-31 with Computers categories.
"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.
Adaptive Web Services For Modular And Reusable Software Development Tactics And Solutions
DOWNLOAD
Author : Ortiz, Guadalupe
language : en
Publisher: IGI Global
Release Date : 2012-09-30
Adaptive Web Services For Modular And Reusable Software Development Tactics And Solutions written by Ortiz, Guadalupe and has been published by IGI Global this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-09-30 with Computers categories.
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.
A Functional Comprehensive And Extensible Multi Platform Querying And Transformation Approach
DOWNLOAD
Author : Tassilo Horn
language : en
Publisher: Logos Verlag Berlin GmbH
Release Date : 2015-07-11
A Functional Comprehensive And Extensible Multi Platform Querying And Transformation Approach written by Tassilo Horn and has been published by Logos Verlag Berlin GmbH this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-07-11 with Computers categories.
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.
Conceptual Modeling Er 2007
DOWNLOAD
Author : Christine Parent
language : en
Publisher: Springer Science & Business Media
Release Date : 2007-10-15
Conceptual Modeling Er 2007 written by Christine Parent and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007-10-15 with Computers categories.
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.
Models In Software Engineering
DOWNLOAD
Author : Thomas Kühne
language : en
Publisher: Springer Science & Business Media
Release Date : 2007-01-12
Models In Software Engineering written by Thomas Kühne and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007-01-12 with Business & Economics categories.
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.
Model Driven Engineering Languages And Systems
DOWNLOAD
Author : Gregor Engels
language : en
Publisher: Springer Science & Business Media
Release Date : 2007-09-13
Model Driven Engineering Languages And Systems written by Gregor Engels and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007-09-13 with Business & Economics categories.
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.