Defining a formal domain ontology is considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts such as description logics or rule-based systems, and most software engineers are unfamiliar with these. This book fills this gap by covering the subject of MDA application for ontology development on the Semantic Web. The writing is technical yet clear, and is illustrated with examples. The book is supported by a website.

Defining a formal domain ontology is considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts such as description logics or rule-based systems, and most software engineers are unfamiliar with these. This book fills this gap by covering the subject of MDA application for ontology development on the Semantic Web. The writing is technical yet clear, and is illustrated with examples. The book is supported by a website.

The next enterprise computing era will rely on the synergy between both technologies: semantic web and model-driven software development (MDSD). The semantic web organizes system knowledge in conceptual domains according to its meaning. It addresses various enterprise computing needs by identifying, abstracting and rationalizing commonalities, and checking for inconsistencies across system specifications. On the other side, model-driven software development is closing the gap among business requirements, designs and executables by using domain-specific languages with custom-built syntax and semantics. It focuses on using modeling languages as programming languages. Among many areas of application, we highlight the area of configuration management. Consider the example of a telecommunication company, where managing the multiple configurations of network devices (routers, hubs, modems, etc.) is crucial. Enterprise systems identify and document the functional and physical characteristics of network devices, and control changes to those characteristics. Applying the integration of semantic web and model-driven software development allows for (1) explicitly specifying configurations of network devices with tailor-made languages, (2) for checking the consistency of these specifications (3) for defining a vocabulary to share device specifications across enterprise systems. By managing configurations with consistent and explicit concepts, we reduce cost and risk, and enhance agility in response to new requirements in the telecommunication area. This book examines the synergy between semantic web and model-driven software development. It brings together advances from disciplines like ontologies, description logics, domain-specific modeling, model transformation and ontology engineering to take enterprise computing to the next level.

This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking and process guidance for ontology-driven software development (ODSD). It demonstrates how to apply ontology reasoning in the lifecycle of software development, using current and emerging standards and technologies. You will learn new methodologies and infrastructures, additionally illustrated using detailed industrial case studies. The book will help you: Learn how ontology reasoning allows validations of structure models and key tasks in behavior models. Understand how to develop ODSD guidance engines for important software development activities, such as requirement engineering, domain modeling and process refinement. Become familiar with semantic standards, such as the Web Ontology Language (OWL) and the SPARQL query language. Make use of ontology reasoning, querying and justification techniques to integrate software models and to offer guidance and traceability supports. This book is helpful for undergraduate students and professionals who are interested in studying how ontologies and related semantic reasoning can be applied to the software development process. In addition, itwill also be useful for postgraduate students, professionals and researchers who are going to embark on their research in areas related to ontology or software engineering.

This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, that cover graph transformations, software architectures and reengineering, embedded systems engineering, and more.

This book constitutes the refereed proceedings of the 14th East European Conference on Advances in Databases and Information Systems, ADBIS 2010, held in Novi Sad, Serbia on September 20-24, 2010. The 36 revised full papers and 14 short papers were carefully selected from 165 submissions. Tolically the papers span a wide spectrum of topics in the database and information systems field, including database theory, advanced DBMS technologies, design methods, data mining and data warehousing, spatio-temporal and graph structured data and database applications.

"This book provides an opportunity for readers to clearly understand the notion of ontology engineering and the practical aspects of this approach in the domains of two interest areas: Knowledge Management Systems and Enterprise Systems"--

This book contains the refereed proceedings of the 12th International Conference on Business Process Modeling, Development and Support (BPMDS 2011) and the 16th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2011), held together with the 23rd International Conference on Advanced Information Systems Engineering (CAiSE 2011) in London, UK, in June 2011. The 22 papers accepted for BPMDS were selected from 61 submissions and cover a wide spectrum of issues related to business processes development, modeling, and support. They are grouped into sections on BPMDS in practice, business process improvement, business process flexibility, declarative process models, variety of modeling paradigms, business process modeling and support systems development, and interoperability and mobility. The 16 papers accepted for EMMSAD were chosen from 31 submissions and focus on exploring, evaluating, and enhancing current information modeling methods and methodologies. They are grouped in sections on workflow and process modeling extensions, requirements analysis and information systems development, requirements evolution and information systems evolution, data modeling languages and business rules, conceptual modeling practice, and enterprise architecture.

th The 14 International Conference on Knowledge-Based and Intelligent Information and Engineering Systems was held during September 8–10, 2010 in Cardiff, UK. The conference was organized by the School of Engineering at Cardiff University, UK and KES International. KES2010 provided an international scientific forum for the presentation of the - sults of high-quality research on a broad range of intelligent systems topics. The c- ference attracted over 360 submissions from 42 countries and 6 continents: Argentina, Australia, Belgium, Brazil, Bulgaria, Canada, Chile, China, Croatia, Czech Republic, Denmark, Finland, France, Germany, Greece, Hong Kong ROC, Hungary, India, Iran, Ireland, Israel, Italy, Japan, Korea, Malaysia, Mexico, The Netherlands, New Zealand, Pakistan, Poland, Romania, Singapore, Slovenia, Spain, Sweden, Syria, Taiwan, - nisia, Turkey, UK, USA and Vietnam. The conference consisted of 6 keynote talks, 11 general tracks and 29 invited s- sions and workshops, on the applications and theory of intelligent systems and related areas. The distinguished keynote speakers were Christopher Bishop, UK, Nikola - sabov, New Zealand, Saeid Nahavandi, Australia, Tetsuo Sawaragi, Japan, Yuzuru Tanaka, Japan and Roger Whitaker, UK. Over 240 oral and poster presentations provided excellent opportunities for the presentation of interesting new research results and discussion about them, leading to knowledge transfer and generation of new ideas. Extended versions of selected papers were considered for publication in the Int- national Journal of Knowledge-Based and Intelligent Engineering Systems, Engine- ing Applications of Artificial Intelligence, Journal of Intelligent Manufacturing, and Neural Computing and Applications.

This book constitutes the thoroughly refereed proceedings of eight international workshops held in Gdańsk, Poland, in conjunction with the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, in June 2012. The 35 full and 17 short revised papers were carefully selected from 104 submissions. The eight workshops were Agility of Enterprise Systems (AgilES), Business/IT Alignment and Interoperability (BUSITAL), Enterprise and Organizational Modeling and Simulation (EOMAS), Governance, Risk and Compliance (GRCIS), Human-Centric Process-Aware Information Systems (HC-PAIS), System and Software Architectures (IWSSA), Ontology, Models, Conceptualization and Epistemology in Social, Artificial and Natural Systems (ONTOSE), and Information Systems Security Engineering (WISSE).