Download or read book On the Mathematics of Modelling Metamodelling Ontologies and Modelling Languages written by Brian Henderson-Sellers and published by Springer Science & Business Media. This book was released on 2012-06-13 with total page 111 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book On the Mathematics of Modelling Metamodelling Ontologies and Modelling Languages written by and published by Springer. This book was released on 2012-08-31 with total page 118 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Conceptual Modeling written by Paul Johannesson and published by Springer. This book was released on 2015-10-09 with total page 608 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Conceptual Modeling ER 2013 written by Wilfred Ng and published by Springer. This book was released on 2013-11-08 with total page 537 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Domain Engineering written by Iris Reinhartz-Berger and published by Springer Science & Business Media. This book was released on 2013-08-13 with total page 410 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Advanced Information Systems Engineering written by Camille Salinesi and published by Springer. This book was released on 2013-06-20 with total page 735 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Progressions and Innovations in Model Driven Software Engineering written by Díaz, Vicente García and published by IGI Global. This book was released on 2013-06-30 with total page 388 pages. Available in PDF, EPUB and Kindle. Book excerpt: Users increasingly demand more from their software than ever beforemore features, fewer errors, faster runtimes. To deliver the best quality products possible, software engineers are constantly in the process of employing novel tools in developing the latest software applications. Progressions and Innovations in Model-Driven Software Engineering investigates the most recent and relevant research on model-driven engineering. Within its pages, researchers and professionals in the field of software development, as well as academics and students of computer science, will find an up-to-date discussion of scientific literature on the topic, identifying opportunities and advantages, and complexities and challenges, inherent in the future of software engineering.
Download or read book Conceptual Modeling written by Heinrich C. Mayr and published by Springer. This book was released on 2017-10-28 with total page 536 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017. The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions. This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies.
Download or read book Model Driven Engineering and Software Development written by Philippe Desfray and published by Springer. This book was released on 2016-01-04 with total page 447 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015. The 25 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 94 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.
Download or read book Behavioural Models written by Matthias Kunze and published by Springer. This book was released on 2016-09-10 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Adaptive Enterprise Architecture As Information Architecting Intelligent Enterprises written by Asif Qumar Gill and published by World Scientific. This book was released on 2022-07-15 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt: This compendium discusses the adaptive enterprise architecture (AEA) as information to support decisions and actions for desired efficiency and innovation (outcomes and impacts). This comprehensive information-driven approach uses data, analytics, and intelligence (AI/ML) for architecting intelligent enterprises.The unique reference text includes practical artefacts and vivid examples based on both practice and research. It benefits chief information officers, chief data officers, chief enterprise architects, enterprise architects, business architects, information architects, data architects, and anyone who has an interest in adaptive and digital enterprise architecture.
Download or read book Linguistic Refactoring of Business Process Models written by Fabian Pittke and published by Logos Verlag Berlin GmbH. This book was released on 2016-03-02 with total page 267 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the past decades, organizations had to face numerous challenges due to intensifying globalization, shorter innovation cycles and growing IT support. Business process management is seen as a comprehensive approach to address these challenges. For this purpose, business process models are increasingly utilized to document and redesign relevant parts of the organization's business operations. Since organizations tend to have a huge number of such models, analysis techniques are required that ensure the quality of these process models in an automatic fashion. The goal of this doctoral thesis is the development of model refactoring techniques by integrating and applying concepts from the three main branches of theoretical linguistics: syntax, semantics, and pragmatics. The syntactical refactoring technique addresses linguistic issues that arise by expressing process behavior with natural language. The semantic refactoring technique reworks terminology with overlapping and synonymous meaning. The pragmatic refactoring technique provides recommendations for incompletely specified process models. All of the presented techniques have been evaluated with real-world process model repositories from various industries to demonstrate their applicability and efficiency.
Download or read book Nature of Computation and Communication written by Phan Cong Vinh and published by Springer. This book was released on 2015-01-23 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Intelligent Distributed Computing XIII written by Igor Kotenko and published by Springer Nature. This book was released on 2019-10-01 with total page 566 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers research contributions on recent advances in intelligent and distributed computing. A major focus is placed on new techniques and applications for several highlydemanded research directions: Internet of Things, Cloud Computing and Big Data, Data Mining and Machine Learning, Multi-agent and Service-Based Distributed Systems, Distributed Algorithms and Optimization, Modeling Operational Processes, Social Network Analysis and Inappropriate Content Counteraction, Cyber-Physical Security and Safety, Intelligent Distributed Decision Support Systems, Intelligent Human-Machine Interfaces, VisualAnalytics and others. The book represents the peer-reviewed proceedings of the 13thInternational Symposium on Intelligent Distributed Computing (IDC 2019), which was held in St. Petersburg, Russia, from October 7 to 9, 2019.
Download or read book Dependable Software Engineering Theories Tools and Applications written by Shengchao Qin and published by Springer Nature. This book was released on 2021-11-18 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Download or read book Recent Research in Control Engineering and Decision Making written by Olga Dolinina and published by Springer. This book was released on 2019-01-28 with total page 771 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the full papers and short monographs developed on the base of the refereed proceedings of the International Conference on Information Technologies: Information and Communication Technologies for Research and Industry (ICIT-2019), held in Saratov, Russia in February 2019. The book brings accepted papers which present new approaches and methods of solving problems in the sphere of control engineering and decision making for the various fields of studies: industry and research, ontology-based data simulation, smart city technologies, theory and use of digital signal processing, cognitive systems, robotics, cybernetics, automation control theory, image recognition technologies, and computer vision. Particular emphasis is laid on modern trends, new approaches, algorithms and methods in selected fields of interest. The presented papers were accepted after careful reviews made by at least three independent reviewers in a double-blind way. The acceptance level was about 60%. The chapters are organized thematically in several areas within the following tracks: • Models, Methods & Approaches in Decision Making Systems • Mathematical Modelling for Industry & Research • Smart City Technologies The conference is focused on development and globalization of information and communication technologies (ICT), methods of control engineering and decision making along with innovations and networking, ICT for sustainable development and technological change, and global challenges. Moreover, the ICIT-2019 served as a discussion area for the actual above-mentioned topics. The editors believe that the readers will find the proceedings interesting and useful for their own research work.
