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 546 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 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 272 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 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 792 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.
Download or read book Theory and Application of Multi Formalism Modeling written by Gribaudo, Marco and published by IGI Global. This book was released on 2013-10-31 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt: With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges. Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.
Download or read book Advanced Information Systems Engineering Workshops written by Raimundas Matulevičius and published by Springer. This book was released on 2018-06-04 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of six international workshops held in Tallinn, Estonia, in conjunction with the 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018, in June 2018. These workshops were: – The 5th Workshop on Advances in Services DEsign based on the Notion of Capability (ASDENCA) – The 1st Workshop on Business Data Analytics: Techniques and Applications (BDA) – The 1st Workshop on Blockchains for Inter-Organizational Collaboration (BIOC) – The 6thWorkshop on Cognitive Aspects of Information Systems Engineering (COGNISE) – The 2nd Workshop on Enterprise Modeling – The 1st Workshop on Flexible Advanced Information Systems (FAiSE) Two more workshops decided to produce their own, independent proceedings. The 22 full papers presented here were carefully reviewed and selected from a total of 49 submissions.
Download or read book Advanced Computational Methods for Knowledge Engineering written by Hoai An Le Thi and published by Springer. This book was released on 2015-05-04 with total page 417 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the extended versions of papers presented at the 3rd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2015) held on 11-13 May, 2015 in Metz, France. The book contains 5 parts: 1. Mathematical programming and optimization: theory, methods and software, Operational research and decision making, Machine learning, data security, and bioinformatics, Knowledge information system, Software engineering. All chapters in the book discuss theoretical and algorithmic as well as practical issues connected with computation methods & optimization methods for knowledge engineering and machine learning techniques.
