Download on the mathematics of modelling metamodelling ontologies and modelling languages springerbriefs in computer science in pdf or read on the mathematics of modelling metamodelling ontologies and modelling languages springerbriefs in computer science in pdf online books in PDF, EPUB and Mobi Format. Click Download or Read Online button to get on the mathematics of modelling metamodelling ontologies and modelling languages springerbriefs in computer science in pdf book now. This site is like a library, Use search box in the widget to get ebook that you want.



On The Mathematics Of Modelling Metamodelling Ontologies And Modelling Languages

Author: Brian Henderson-Sellers
Publisher: Springer Science & Business Media
ISBN: 3642298257
Size: 50.19 MB
Format: PDF, Mobi
View: 6853
Download and Read
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
Size: 55.40 MB
Format: PDF, ePub, Docs
View: 1871
Download and Read
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
Size: 59.54 MB
Format: PDF, Mobi
View: 3638
Download and Read
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
Size: 79.14 MB
Format: PDF, ePub, Docs
View: 587
Download and Read
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
Size: 27.78 MB
Format: PDF
View: 6131
Download and Read
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.

Simone De Beauvoir

Author: Melanie Buchmayr
Publisher: GRIN Verlag
ISBN: 364058791X
Size: 59.55 MB
Format: PDF, ePub, Mobi
View: 7728
Download and Read
Studienarbeit aus dem Jahr 2010 im Fachbereich Soziologie - Familie, Frauen, Männer, Sexualität, Geschlechter, Note: 1,0, Johannes Kepler Universität Linz (Frauen- und Geschlechterforschung), Veranstaltung: Aktuelle Themen der Sozialphilosophie: Gender Studies – Philosophische Geschlechtertheorien, Sprache: Deutsch, Abstract: "Man kommt nicht als Frau zur Welt man wird es." Dieses Zitat stammt von einer außergewöhnlichen Frau, die vor beinahe 25 Jahren, genau am 14. April 1986, an den Folgen einer Leberzirrhose mit 78 Jahren stirbt: Simone de Beauvoir. Ihr bekanntestes Werk "Das andere Geschlecht – Sitte und Sexus der Frau" im Original "Le Deuxième Sexe“, also wörtlich "Das zweite Geschlecht", erschien 1949 als Simone de Beauvoir 41 Jahre alt ist. Das Werk löste hitzige Debatten und auch persönliche Beleidigungen an Simone de Beauvoir aus. Ein Beispiel: "Männerfressende Suffragette und Amazone, die eine Hälfte der Menschheit gegen die andere aufzubringen versucht". In Beauvoirs Heimat Frankreich wurde es gar als "Brechmittel" diffamiert, das "die Grenze der Verkommenheit erreicht" hat. Selbstverständlich wird es auch vom Vatikan auf den Index der verbotenen Bücher gesetzt. Begründung: Die "unmoralischen Doktrinen, die die guten Sitten und die Heiligkeit der Familie mit Füßen treten". Selbst im kanadischen Quebec wird es als "gefährliches, gegen die guten Sitten gerichtetes Buch" betitelt, in Francos Spanien und in der Sowjetunion landet es ebenfalls auf der Liste der verbotenen Bücher, in der DDR ist es erst ab 1989 erhältlich. Erst in der beginnenden 2. Welle der Frauenbewegung in den 60er Jahren wurde das Buch von der breiten Öffentlichkeit wieder entdeckt. Inzwischen gilt es als ein Meilenstein und eines der meist zitierten Werke der Frauenbewegung; ist eines der meistverkauften Sachbücher des Feminismus und in alle europäischen Sprachen übersetzt. Obwohl sich schon hier die Geister scheiden, ob es denn nun in die Sparte der Soziologie oder doch der Philosophie gehöre. Zum Verkaufsschlager wurde es in den 70er Jahren wie Verkaufszahlen dokumentieren: Waren bis 1970 40.000 Bücher verkauft, so waren es 1976 bereits 135.000 Bücher in Westdeutschland und 1998 schließlich erreichte es eine Auflage von 596.000 Exemplaren. [...]

Corporate Data Quality

Author: Boris Otto
Publisher: Springer-Verlag
ISBN: 3662468069
Size: 53.54 MB
Format: PDF, ePub
View: 1121
Download and Read
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.

Mathematik Und Technologie

Author: Christiane Rousseau
Publisher: Springer-Verlag
ISBN: 3642300928
Size: 10.84 MB
Format: PDF
View: 7140
Download and Read
Zusammen mit der Abstraktion ist die Mathematik das entscheidende Werkzeug für technologische Innovationen. Das Buch bietet eine Einführung in zahlreiche Anwendungen der Mathematik auf dem Gebiet der Technologie. Meist werden moderne Anwendungen dargestellt, die heute zum Alltag gehören. Die mathematischen Grundlagen für technologische Anwendungen sind dabei relativ elementar, was die Leistungsstärke der mathematischen Modellbildung und der mathematischen Hilfsmittel beweist. Mit zahlreichen originellen Übungen am Ende eines jeden Kapitels.