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 : 63. 90 MB
Format : PDF, ePub
Download : 685
Read : 939

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.

Advanced Information Systems Engineering

Author : Camille Salinesi
ISBN : 9783642387098
Genre : Computers
File Size : 64. 82 MB
Format : PDF
Download : 919
Read : 198

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.

Domain Engineering

Author : Iris
ISBN : 9783642366543
Genre : Computers
File Size : 57. 69 MB
Format : PDF, Docs
Download : 329
Read : 1253

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.

Conceptual Modeling Er 2013

Author : Wilfred Ng
ISBN : 9783642419249
Genre : Computers
File Size : 20. 26 MB
Format : PDF, ePub, Mobi
Download : 610
Read : 1278

Get This Book


This book constitutes the refereed proceedings of the 32nd International Conference on Conceptual Modeling, ER 2013, held in Hong Kong, China, in November 2013. The 23 full and 17 short papers presented were carefully reviewed and selected from 148 abstracts and 126 full papers submissions. The papers are organized in topical sections on modeling and reasoning, fundamentals of conceptual modeling, business process modeling, network modeling, data semantics, security and optimization, ontology-based modeling, searching and mining, conceptual modeling and applications, demonstration papers.

Conceptual Modeling

Author : Paul Johannesson
ISBN : 9783319252643
Genre : Computers
File Size : 32. 94 MB
Format : PDF, Mobi
Download : 842
Read : 872

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.

Markov Decision Processes And The Belief Desire Intention Model

Author : Gerardo I. Simari
ISBN : 9781461414728
Genre : Computers
File Size : 70. 65 MB
Format : PDF, ePub
Download : 933
Read : 541

Get This Book


In this work, we provide a treatment of the relationship between two models that have been widely used in the implementation of autonomous agents: the Belief DesireIntention (BDI) model and Markov Decision Processes (MDPs). We start with an informal description of the relationship, identifying the common features of the two approaches and the differences between them. Then we hone our understanding of these differences through an empirical analysis of the performance of both models on the TileWorld testbed. This allows us to show that even though the MDP model displays consistently better behavior than the BDI model for small worlds, this is not the case when the world becomes large and the MDP model cannot be solved exactly. Finally we present a theoretical analysis of the relationship between the two approaches, identifying mappings that allow us to extract a set of intentions from a policy (a solution to an MDP), and to extract a policy from a set of intentions.

Evolutionary Game Design

Author : Cameron Browne
ISBN : 1447121791
Genre : Computers
File Size : 66. 10 MB
Format : PDF
Download : 135
Read : 296

Get This Book


The book describes the world's first successful experiment in fully automated board game design. Evolutionary methods were used to derive new rule sets within a custom game description language, and self-play trials used to estimate each derived game's potential to interest human players. The end result is a number of new and interesting games, one of which has proved popular and gone on to be commercially published.

A General Framework For Reasoning On Inconsistency

Author : Maria Vanina Martinez
ISBN : 9781461467502
Genre : Computers
File Size : 41. 6 MB
Format : PDF, ePub, Mobi
Download : 631
Read : 522

Get This Book


This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied. The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detailed knowledge of the data as well as their application needs. The brief shows that the framework is well-suited to handle inconsistency in several logics, and provides algorithms to compute preferred options. Finally, the brief shows that the framework not only captures several existing works, but also supports reasoning about inconsistency in several logics for which no such methods exist today.

Nature Of Computation And Communication

Author : Phan Cong Vinh
ISBN : 9783319153926
Genre : Computers
File Size : 88. 76 MB
Format : PDF, ePub
Download : 630
Read : 1178

Get This Book


This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.

Situational Method Engineering

Author : Brian Henderson-Sellers
ISBN : 9783642414671
Genre : Computers
File Size : 72. 24 MB
Format : PDF, Docs
Download : 127
Read : 684

Get This Book


While previously available methodologies for software – like those published in the early days of object technology – claimed to be appropriate for every conceivable project, situational method engineering (SME) acknowledges that most projects typically have individual characteristics and situations. Thus, finding the most effective methodology for a particular project needs specific tailoring to that situation. Such a tailored software development methodology needs to take into account all the bits and pieces needed for an organization to develop software, including the software process, the input and output work products, the people involved, the languages used to describe requirements, design, code, and eventually also measures of success or failure. The authors have structured the book into three parts. Part I deals with all the basic concepts, terminology and overall ideas underpinning situational method engineering. As a summary of this part, they present a formal meta-model that enables readers to create their own quality methods and supporting tools. In Part II, they explain how to implement SME in practice, i.e., how to find method components and put them together and how to evaluate the resulting method. For illustration, they also include several industry case studies of customized or constructed processes, highlighting the impact that high-quality engineered methods can have on the success of an industrial software development. Finally, Part III summarizes some of the more recent and forward-looking ideas. This book presents the first summary of the state of the art for SME. For academics, it provides a comprehensive conceptual framework and discusses new research areas. For lecturers, thanks to its step-by-step explanations from basics to the customization and quality assessment of constructed methods, it serves as a solid basis for comprehensive courses on the topic. For industry methodologists, it offers a reference guide on features and technologies to consider when developing in-house software development methods or customising and adopting off-the-shelf ones.

Top Download:

Best Books