on the mathematics of modelling metamodelling ontologies and modelling languages springerbriefs in computer science

Download Book On The Mathematics Of Modelling Metamodelling Ontologies And Modelling Languages Springerbriefs In Computer Science in PDF format. You can Read Online On The Mathematics Of Modelling Metamodelling Ontologies And Modelling Languages Springerbriefs In Computer Science here in PDF, EPUB, Mobi or Docx formats.

On The Mathematics Of Modelling Metamodelling Ontologies And Modelling Languages

Author : Brian Henderson-Sellers
ISBN : 9783642298257
Genre : Computers
File Size : 31. 32 MB
Format : PDF, ePub, Mobi
Download : 627
Read : 181

Get This Book


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
ISBN : 9783642366543
Genre : Computers
File Size : 69. 70 MB
Format : PDF, Docs
Download : 494
Read : 598

Get This Book


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
ISBN : 9783642387098
Genre : Computers
File Size : 90. 16 MB
Format : PDF, Docs
Download : 485
Read : 1045

Get This Book


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
ISBN : 9783319252643
Genre : Computers
File Size : 22. 34 MB
Format : PDF
Download : 209
Read : 1170

Get This Book


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
ISBN : 9783319449609
Genre : Computers
File Size : 57. 48 MB
Format : PDF, ePub, Docs
Download : 375
Read : 496

Get This Book


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.

Allgemeine Modelltheorie

Author : Herbert Stachowiak
ISBN : 3709183286
Genre : Science
File Size : 84. 48 MB
Format : PDF, Mobi
Download : 155
Read : 1241

Get This Book



Vito Volterra

Author : Angelo Guerraggio
ISBN : 9783034800815
Genre : Mathematics
File Size : 54. 6 MB
Format : PDF, Mobi
Download : 708
Read : 1103

Get This Book


Der Mathematiker Vito Volterra (1860 – 1940) war nicht nur ein großer Mathematiker, sondern auch ein guter Wissenschaftsorganisator. Über Jahrzehnte galt er als der bedeutendste Repräsentant der Wissenschaft in Italien. Die Autoren rekonstruieren seine wichtigsten Beiträge zur Wissenschaft und zur Entwicklung der wissenschaftlichen Institutionen in Italien und der Welt: von der Entwicklung der Funktionalanalysis über die Untersuchung der Populationsdynamik bis zu seiner Lehrtätigkeit und der Gründung des staatlichen italienischen Forschungsrates.

Corporate Data Quality

Author : Boris Otto
ISBN : 9783662468067
Genre : Business & Economics
File Size : 32. 11 MB
Format : PDF, Kindle
Download : 357
Read : 196

Get This Book


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
ISBN : 9783642300929
Genre : Mathematics
File Size : 90. 15 MB
Format : PDF, ePub, Mobi
Download : 966
Read : 328

Get This Book


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.

Warum Wir Kooperieren

Author : Michael Tomasello
ISBN : 3518260367
Genre : Altruism
File Size : 45. 86 MB
Format : PDF, Kindle
Download : 668
Read : 1084

Get This Book


Seit vielen Jahrhunderten wird die Frage nach der Natur des Menschen von zwei grundsätzlichen Positionen bestimmt: Hobbes' Meinung, daß die Menschen egoistisch zur Welt kommen und die Gesellschaft sie zur Kooperation erziehen muß, und Rousseaus Darstellung, nach der die Menschen von Natur aus kooperativ sind und später von ihrem Umfeld zu Egoisten gemacht werden. In "Warum wir kooperieren" berichtet Tomasello von wegweisenden Studien mit Kindern und Schimpansen, die neues Licht auf diese uralte Frage werfen. Kinder sind von Geburt an hilfsbereit und kooperativ, lernen aber im Laufe ihres Heranwachsens, eher selektiv zu kooperieren und beginnen den sozialen Normen ihrer Gruppe zu folgen.

Top Download:

Best Books