On the Mathematics of Modelling Metamodelling Ontologies and Modelling Languages

Author: Brian Henderson-Sellers
Publisher: Springer Science & Business Media
ISBN: 3642298257
Format: PDF
Download Now
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.

Domain Engineering

Author: Iris Reinhartz-Berger
Publisher: Springer Science & Business Media
ISBN: 3642366546
Format: PDF, ePub, Docs
Download Now
Domain engineering is a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and performance on a consistent basis on the other. In this book, the editors present a collection of invited chapters from various fields related to domain engineering. The individual chapters present state-of-the-art research and are organized in three parts. The first part focuses on results that deal with domain engineering in software product lines. The second part describes how domain-specific languages are used to support the construction and deployment of domains. Finally, the third part presents contributions dealing with domain engineering within the field of conceptual modeling. All chapters utilize a similar terminology, which will help readers to understand and relate to the chapters content. The book will be especially rewarding for researchers and students of software engineering methodologies in general and of domain engineering and its related fields in particular, as it contains the most comprehensive and up-to-date information on this topic.

Advanced Information Systems Engineering

Author: Camille Salinesi
Publisher: Springer
ISBN: 3642387098
Format: PDF, ePub, Mobi
Download Now
This book constitutes the refereed proceedings of the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, held in Valencia, Spain, in June 2013. The 44 revised full papers were carefully reviewed and selected from 162 submissions. The contributions have been grouped into the following topical sections: services; awareness; business process execution; products; business process modelling; modelling languages and meta models; requirements engineering 1; enterprise architecture; information systems evolution; mining and predicting; data warehouses and business intelligence; requirements engineering 2; knowledge and know-how; information systems quality; and human factors.

Conceptual Modeling

Author: Paul Johannesson
Publisher: Springer
ISBN: 331925264X
Format: PDF, ePub, Mobi
Download Now
This book constitutes the refereed proceedings of the 34th International Conference on Conceptual Modeling, ER 2015, held in Stockholm, Sweden, in October 2015. The 26 full and 19 short papers presented were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections on business process and goal models, ontology-based models and ontology patterns, constraints, normalization, interoperability and integration, collaborative modeling, variability and uncertainty modeling, modeling and visualization of user generated content, schema discovery and evolution, process and text mining, domain-based modeling, data models and semantics, and applications of conceptual modeling.

Behavioural Models

Author: Matthias Kunze
Publisher: Springer
ISBN: 3319449605
Format: PDF, ePub, Mobi
Download Now
This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, and Petri nets. The concepts are related to concrete application scenarios, among which business processes play a prominent role. The book consists of three parts, the first of which addresses the foundations of behavioural modelling. After a general introduction to modelling, it introduces transition systems as a basic formalism for representing the behaviour of discrete dynamic systems. This section also discusses causality, a fundamental concept for modelling and reasoning about behaviour. In turn, Part II forms the heart of the book and is devoted to models of behaviour. It details both sequential and concurrent systems and introduces finite automata, state machines and several different types of Petri nets. One chapter is especially devoted to business process models, workflow patterns and BPMN, the industry standard for modelling business processes. Lastly, Part III investigates how the behaviour of systems can be analysed. To this end, it introduces readers to the concept of state spaces. Further chapters cover the comparison of behaviour and the formal analysis and verification of behavioural models. The book was written for students of computer science and software engineering, as well as for programmers and system analysts interested in the behaviour of the systems they work on. It takes readers on a journey from the fundamentals of behavioural modelling to advanced techniques for modelling and analysing sequential and concurrent systems, and thus provides them a deep understanding of the concepts and techniques introduced and how they can be applied to concrete application scenarios.

War da noch was

Author: Catherine Alliott
Publisher: Blanvalet Taschenbuch Verlag
ISBN: 3641074452
Format: PDF, Mobi
Download Now
Beste englische Frauenunterhaltung voller Wärme, Witz und Herz Für Hattie könnte der Mai nicht wonniger sein: Ihr Antiquitätenlädchen erfreut sich großer Beliebtheit, und privat hat sie sexy Ivan an ihrer Seite. Doch dann verändert sich mit einem Schlag alles. Sie stattet ihrem Heimatort einen Besuch ab, trifft dort die Witwe ihrer einstigen Jugendliebe – und den attraktiven Hal. Hattie könnte kehrtmachen und weglaufen – doch hat sie das nicht immer getan? Wäre es nicht ratsam, sich endlich der Vergangenheit, dem Leben und der Chance auf eine neue Liebe zu stellen?

Corporate Data Quality

Author: Boris Otto
Publisher: Springer-Verlag
ISBN: 3662468069
Format: PDF, Kindle
Download Now
Daten sind die strategische Ressource des 21. Jahrhunderts. Es findet kein Geschäftsprozess, keine Kommunikation zwischen Geschäftspartnern, keine Wertschöpfung statt, ohne dass die involvierten Personen, Maschinen und IT-Systeme Daten nutzen, erzeugen oder verändern. Trends wie die Digitalisierung, Industrie 4.0 und Social Media tragen ebenfalls dazu bei, dass Datenmanagement zu einer Kernkompetenz für erfolgreiche Unternehmen dieser Zeit geworden ist. Damit Daten ihren ganzen Wert entfalten können, müssen sie stets in angemessener Qualität zur Verfügung stehen. Dies gilt besonders für Stammdaten, die zentralen Geschäftsobjekte eines Unternehmens. Dieses Buch zeigt einen ganzheitlichen Ansatz zum qualitätsbewussten Management von Stammdaten auf und richtet sich damit sowohl an Praktiker als auch an die Wissenschaft. Das „Framework für Stammdatenqualitätsmanagement“ wurde im Rahmen des „Competence Center Corporate Data Quality“ der Universität St. Gallen seit dem Jahr 2006 gemeinsam mit Unternehmen aus unterschiedlichen Industrien in zahlreichen praktischen Anwendungen entwickelt und verbessert. Neben den theoretischen Grundlagen räumt das Buch der praktischen Sicht mit 10 Fallstudien großen Raum ein, die erfolgreich durchgeführte Datenqualitätsprojekte praxisnah aufbereiten. Schließlich führt das Buch noch Methoden und Werkzeuge für das Datenqualitätsmanagement auf, die (Stamm-)datenmanager bei Projekten im eigenen betrieblichen Umfeld unterstützen können.

Die verr ckteste Nacht meines Lebens

Author: Lauren Barnholdt
Publisher: cbt Verlag
ISBN: 3641080193
Format: PDF, ePub, Mobi
Download Now
Wer wagt gewinnt – nicht nur im Spiel ... Eliza hat die Nase voll. Ihr Ex Cooper und seine chauvinistischen Freunde haben ihr Tagebuch geklaut! Aus Rache, weil Eliza unschöne Dinge über Cooper im Internet veröffentlicht hat. Der Tagebuch-Klau ist die ultimative Katastrophe, denn dort hat Eliza ihre geheimsten Ängste notiert. Und Cooper und seine Freunde verlangen, dass Eliza eine Nacht voller Mutproben besteht, wenn sie das Tagebuch je wiedersehen will. Also beißt Eliza die Zähne zusammen und stellt sich genau den Ängsten, die sie zu Papier gebracht hat. Und wie Amor es so will, trifft sie dabei ausgerechnet Cooper auf Schritt und Tritt ...