Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Implicit Incremental Model Analyses and Transformations
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
Theory and Practice of Model Transformations
This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
Theory and Practice of Model Transformations
This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011. The 14 revised full papers were carefully revised and selected from 51 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. Topics addressed are such as transformation paradigms and languages, transformation algorithms and strategies, implementation and tools, as well as applications and case studies.
Model-Integrating Software Components
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.
Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation
This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transformation, the approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques.
Migrating Legacy Applications: Challenges in Service Oriented Architecture and Cloud Computing Environments
"This book presents a closer look at the partnership between service oriented architecture and cloud computing environments while analyzing potential solutions to challenges related to the migration of legacy applications"--Provided by publisher.
Universal Traceability. A Comprehensive, Generic, Technology-Independent, and Semantically Rich Approach
Traceability describes the ability of stakeholders to understand and follow relationships between artifacts that play some role in software development. It is essential for many development tasks, e.g., quality assurance, requirements management, or software maintenance. Aiming to overcome various deficiencies of existing traceability concepts, this book presents a universal approach describing required features of traceability solutions. This includes a technology-independent, generic template for the definition of semantically rich traceability relationship types and technology-independent patterns for the retrieval of traceability information, reflecting generic problems common to traceability applications. The universal approach is implemented on the basis of two concrete technologies which facilitate comprehensive traceability: the TGraph approach and OWL ontologies. The applicability of the approach is shown by three case studies dealing with the reuse of software artifacts, process model refinement, and requirements management, respectively.
Viewpoint-based Flexible Information System Architectures
Information system architecture (ISA) specification as a part of software engineering field has been an information systems research topic since the 60's of the 20th century. There have been manifold specification methodologies over the recent decades, developed newly or adapted in order to target the domains of software modelling, legacy systems, steel production, and automotive safety. Still, there exist considerable issues constituting the need for a flexible ISA development, e.g. incomplete methodology for requirements in model-driven architectures, lacking qualitative methods for thorough definition and usage of viewpoints. Currently existing methods for information system architecture ...
Graph Transformation
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.
Bridging Technological Spaces
Model-Driven Engineering (MDE) aims to raise the level of abstraction in software system specifications and increase automation in software development. Modelware technological spaces contain the languages and tools for MDE that software developers take into consideration to model systems and domains. Ontoware technological spaces contain ontology languages and technologies to design, query, and reason on knowledge. With the advent of the Semantic Web, ontologies are now being used within the field of software development, as well. In this thesis, bridging technologies are developed to combine two technological spaces in general. In particular, this thesis focuses on the combination of modelware and ontoware technological spaces. Subsequent to a sound comparison of languages and tools in both spaces, the bridging technologies are used to build a common technological space, which allows for the hybrid use of languages and the interoperable use of tools.
