Invited Talk on "Semantic Model-driven Engineering" at the Microsoft Research Software Summit 2011, Paris, France, April 13-15, 2011; View video at http://research.microsoft.com/apps/video/default.aspx?id=150058
This document summarizes the research topics and laboratories of the School of Computer Science at FDU, led by Professor Xiangyang Xue. The school's research includes natural language processing, multimodal dialogue, image classification, and cross-media search. Key laboratories study intelligent media computing, databases, software engineering, and information security. Application areas mentioned include interactive TV, education/gaming robots, and assistant technologies for future smart homes.
Model Driven Architecture (MDA): Motivations, Status & Futureelliando dias
The document discusses Model Driven Architecture (MDA), an approach developed by the Object Management Group (OMG) that uses models to manage complexity in software development. MDA aims to improve productivity by making applications more portable, interoperable, and able to evolve independently of platforms. It promotes modeling software at a platform-independent level and then mapping models to specific platforms. The document provides an overview of MDA and examples of how it has been applied to areas like application integration, metadata integration, and data warehousing. It also outlines some ongoing MDA work related to topics like enterprise application integration and model transformations.
Analyze your software assets with Modisco par Frédéric MadiotEclipseDayParis
The document discusses MoDisco, an Eclipse modeling project for model-driven software modernization. MoDisco allows analyzing existing software assets, understanding legacy systems, and transforming applications to new technologies through the use of models. It provides capabilities for quality analysis, code refactoring, and technical migration. MoDisco is supported by standards from the OMG and leverages other Eclipse modeling projects.
EclipseConEurope2012 SOA - Models As Operational DocumentationMarc Dutoo
At Eclipse Con Europe 2012 in the SOA Symposium track, JWT's EMF model export to structure and information in Document Management Systems is explained and demonstrated for in the case of the EasySOA service documentation registry, with JWT workflows producing a basis for SOA operational documentation.
This document discusses fundamental concepts of software architecture, including:
- Breaking systems down into modular components through techniques like encapsulation, contracts, and decoupling.
- Scaling systems up through parametrization, simplicity, decentralization, and standard libraries.
- Conceptualizing at a higher level of abstraction using techniques like abstraction, hierarchical decomposition, specialization, formalization, and viewpoints.
- Best practices like making dependencies and transformations explicit, limiting freedom to avoid side effects, and testing semantics rather than syntax.
The document discusses MoDisco, a model-driven platform for modernizing legacy software systems. It can discover models from various legacy technologies like Java source code and databases. These models can then be understood, transformed, and used to generate documentation, metrics, and code for a new system. MoDisco uses a metamodeling approach and supports technologies like Java through customizable discovery, modeling, and transformation tools.
This document provides an overview of the Demystifying OWL tutorial. The tutorial will explain description logics and the OWL family of ontology languages. It will cover the makeup of description logics, including the TBox (terminology) and ABox (assertions). The tutorial will also discuss OWL 1 and OWL 2, the open versus closed world assumption, the unique name assumption, and available tools and resources. The goal is to help attendees fully understand the application of semantic web and ontology technologies in model-driven software development.
Semantically-aware Networks and Services for Training and Knowledge Managemen...Gilbert Paquette
This document discusses semantically-aware networks and services for training and knowledge management. It describes software developed at CICE/LICEF for building ontologies and semantically referencing resources to enable semantic search and personalized recommendations. The TELOS system uses competency descriptors and comparison methods to power rules-based recommender agents that are integrated into learning scenarios to provide adaptive assistance to users. Future work is aimed at experimental validation, improving group recommendations, automation, and integrating other recommendation methods.
This document summarizes the research topics and laboratories of the School of Computer Science at FDU, led by Professor Xiangyang Xue. The school's research includes natural language processing, multimodal dialogue, image classification, and cross-media search. Key laboratories study intelligent media computing, databases, software engineering, and information security. Application areas mentioned include interactive TV, education/gaming robots, and assistant technologies for future smart homes.
Model Driven Architecture (MDA): Motivations, Status & Futureelliando dias
The document discusses Model Driven Architecture (MDA), an approach developed by the Object Management Group (OMG) that uses models to manage complexity in software development. MDA aims to improve productivity by making applications more portable, interoperable, and able to evolve independently of platforms. It promotes modeling software at a platform-independent level and then mapping models to specific platforms. The document provides an overview of MDA and examples of how it has been applied to areas like application integration, metadata integration, and data warehousing. It also outlines some ongoing MDA work related to topics like enterprise application integration and model transformations.
Analyze your software assets with Modisco par Frédéric MadiotEclipseDayParis
The document discusses MoDisco, an Eclipse modeling project for model-driven software modernization. MoDisco allows analyzing existing software assets, understanding legacy systems, and transforming applications to new technologies through the use of models. It provides capabilities for quality analysis, code refactoring, and technical migration. MoDisco is supported by standards from the OMG and leverages other Eclipse modeling projects.
EclipseConEurope2012 SOA - Models As Operational DocumentationMarc Dutoo
At Eclipse Con Europe 2012 in the SOA Symposium track, JWT's EMF model export to structure and information in Document Management Systems is explained and demonstrated for in the case of the EasySOA service documentation registry, with JWT workflows producing a basis for SOA operational documentation.
This document discusses fundamental concepts of software architecture, including:
- Breaking systems down into modular components through techniques like encapsulation, contracts, and decoupling.
- Scaling systems up through parametrization, simplicity, decentralization, and standard libraries.
- Conceptualizing at a higher level of abstraction using techniques like abstraction, hierarchical decomposition, specialization, formalization, and viewpoints.
- Best practices like making dependencies and transformations explicit, limiting freedom to avoid side effects, and testing semantics rather than syntax.
The document discusses MoDisco, a model-driven platform for modernizing legacy software systems. It can discover models from various legacy technologies like Java source code and databases. These models can then be understood, transformed, and used to generate documentation, metrics, and code for a new system. MoDisco uses a metamodeling approach and supports technologies like Java through customizable discovery, modeling, and transformation tools.
This document provides an overview of the Demystifying OWL tutorial. The tutorial will explain description logics and the OWL family of ontology languages. It will cover the makeup of description logics, including the TBox (terminology) and ABox (assertions). The tutorial will also discuss OWL 1 and OWL 2, the open versus closed world assumption, the unique name assumption, and available tools and resources. The goal is to help attendees fully understand the application of semantic web and ontology technologies in model-driven software development.
Semantically-aware Networks and Services for Training and Knowledge Managemen...Gilbert Paquette
This document discusses semantically-aware networks and services for training and knowledge management. It describes software developed at CICE/LICEF for building ontologies and semantically referencing resources to enable semantic search and personalized recommendations. The TELOS system uses competency descriptors and comparison methods to power rules-based recommender agents that are integrated into learning scenarios to provide adaptive assistance to users. Future work is aimed at experimental validation, improving group recommendations, automation, and integrating other recommendation methods.
The document discusses developing ontologies for collaborative engineering in mechatronics. It presents several ontology development methodologies and describes how the ImportNET project is using these to develop an ontology landscape for mechatronic domains. This includes developing ontologies to model mechatronic engineering processes and artifacts using foundational ontologies like DOLCE and aligning the ontologies.
Spy On Your Models, Standard talk at EclipseCon 2011Hugo Bruneliere
The document discusses MoDisco, an Eclipse modeling project that uses models to represent and manipulate existing software systems. MoDisco aims to help with software modernization tasks like understanding legacy code, performing quality analysis, and migrating to new technologies. It includes a model browser for navigating and querying large and complex models. MoDisco is developed by a joint team from INRIA and Ecole des Mines de Nantes, with contributions from Mia-Software, Obeo, and other Eclipse members.
1) The document discusses using the MoDisco Eclipse platform and OMG standards like KDM and SMM to facilitate software modernization projects.
2) It presents a case study of defining quality rules for Eclipse plugins using MoDisco models and SMM measures, and implementing the rules to detect issues.
3) There are mutual benefits to collaboration between Eclipse and OMG, such as standard-compliant tools encouraging adoption and feedback improving standards.
PROPOSAL OF AN HYBRID METHODOLOGY FOR ONTOLOGY DEVELOPMENT BY EXTENDING THE P...ijitcs
W3C’s Semantic Web intents a common framework that allows data to be shared and reused across
application and enterprise. The semantic web and its related technologies are the main directions of
future web development where machine-processable information which supports user tasks. Ontologies are
playing the vital role in Semantic Web. Researches on Ontology engineering had pointed out that an effective
ontology application development methodology with integrated tool support is mandatory for its success. .
Potential benefits are there to ontology engineering in making the toolset of Model Driven Architecture
applicable to ontology modeling. Since Software and Ontology engineering are two complimentary
branches, the scope of extension of the well proven methodologies and UML based modeling approaches
used in software engineering to ontology engineering can bridge the gap between the engineering branches.
This research paper is an attempt to suggest an exclusive hybrid methodology for ontology development from
existing matured software engineering. Philosophical and engineering aspects of the newly derived
methodology have been described clearly An attempt has been made for the application of proposed
methodology with protégé editor. The full-fledged implementation of an domain ontology and its validation
is the future research direction.
These slides accompanied my presentation about my research process called "demo-driven research". The presentation was first held at Hasso Platner Institute on 2007-11-28.
Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...Christoph Lange
The document introduces the Distributed Ontology Language (DOL), which is part of the Ontology Integration and Interoperability (OntoIOP) standard. DOL aims to enable logical and modular heterogeneity across ontologies to improve semantic integration and interoperability. It will serve as a logic-agnostic meta-language for structuring ontologies, ontology modules, and formal and informal links between ontologies. DOL is intended to have well-defined semantics and serializations to XML, RDF, and text to facilitate reuse of existing ontologies and reasoning over heterogeneous ontological representations.
Ontologies and Software Modeling: Potentials, Experience and Challenges Dragan Gasevic
Ontologies and software modeling are related in several ways. Ontologies can be used to define modeling languages and integrate with model-driven engineering (MDE). However, using ontologies like OWL to fully represent modeling languages has challenges, as OWL does not support all needed concepts like collections. While early work has integrated ontologies and MDE at both the language and model levels, many open challenges remain around areas like requirements engineering, software processes, and developing domain-specific modeling languages.
The document discusses an approach for automatically generating software artifacts and models from natural language requirements documents during the analysis phase of software development.
It proposes a technique that first converts the natural language into a formal Semantic Business Vocabulary and Rules (SBVR) format. It then performs semantic and syntactic analysis on the SBVR to identify software artifacts like actors, use cases, classes, attributes, methods, and relationships. These artifacts are used to generate analysis models like use case diagrams and class diagrams. Finally, it produces XML Metadata Interchange (XMI) files to visualize the generated models in a UML modeling tool. The goal is to increase accuracy over existing tools by using the SBVR intermediate representation and generating multiple analysis models rather
The document discusses an approach for automatically generating software artifacts and models from natural language requirements documents during the analysis phase of software development.
It proposes a technique that first converts the natural language into a formal intermediate representation using Semantic Business Vocabulary and Rules (SBVR) to improve accuracy. It then identifies software artifacts like actors, use cases, classes, attributes, methods, and relationships.
The technique generates UML analysis models like use case and class diagrams. It also produces XML Metadata Interchange (XMI) files to visualize the generated models in UML modeling tools that support XMI import. The goal is to help automate parts of the analysis phase and address limitations of existing tools in terms of coverage and accuracy
Development, distribution and use of open source software comprise a market of data (source code, bug reports, documentation, number of downloads, etc.) from projects, developers and users. This large amount of data makes it difficult for people involved to make sense of implicit links between software projects, e.g., dependencies, patterns, licenses. This context raises the question of what techniques and mechanisms can be used to help users and developers to link related pieces of information across software projects. In this paper, we propose a framework for a marketplace enhanced using linked open data (LOD) technology for linking software artifacts within projects as well as across software projects. The marketplace provides the infrastructure for collecting and aggregating software engineering data as well as developing services for mining, statistics, analytics and visualization of software data. Based on cross-linking software artifacts and projects, the marketplace enables developers and users to understand the individual value of components, their relationship to bigger software systems. Improved understanding creates new business opportunities for software companies: users will be better able to analyze and compare projects, developers can increase the visibility of their products, hosts may offer plug-ins and services over the data to paying customers.
The document discusses object-oriented programming (OOP) concepts like abstraction, encapsulation, inheritance, and polymorphism. It then covers design patterns, the Unified Modeling Language (UML), and provides an example case study of developing a student information system using Java and related technologies. The key topics are introduced at a high-level with the goal of demonstrating practical OOP through the case study example.
This document discusses strategies for using open source technologies in enterprise IT systems. It proposes a shared open source technical foundation called Improve Foundations that provides pre-packaged open source components, tools, and support to reduce costs, improve consistency, and allow non-Java experts to work on projects. Improve Foundations is a high-level community of companies that share the same technical foundation for their Java projects and benefits from cost sharing, outsourced complexity, and long-term support of open source components.
This document summarizes the ALIVE project which develops tools and techniques for creating self-adaptive service-oriented architectures (SOAs). It includes a layered stack for modeling organizations, coordination, and services using model-driven architecture. Offline tools allow modeling organizations and designing workflows and services. A runtime environment enables dynamic planning, monitoring, and service discovery. The project provides ontologies, sample services, and three use cases to test the tools. The tools are open source and modular, enabling reuse and rapid prototyping of agent-based SOAs.
Event-driven Model Transformations in Domain-specific Modeling LanguagesIstvan Rath
This PhD thesis by István Ráth focuses on event-driven model transformations in domain-specific modeling languages. The thesis contains 3 parts: 1) developing concepts for event-driven graph transformations based on incremental pattern matching, 2) applying these concepts to provide advanced language engineering features like simulation, and 3) integrating modeling tools using change-driven transformations. The research aims to address challenges in scalability, usability and tool integration for model-driven software engineering.
When talking about modeling, I think there will be a bundle of terms that will come to our mind, UML, domain driven development, DSL, forward/reverse enginerring, MDD, MDA, BPMN. These technology or methodology have been there for years; And obviously, modeling has proven itself to provide value by improving communication, business-alignment, quality, and productivity. Its applicability includes a number of disciplines such as analysis, design, or development. But why aren’t we all doing Model Driven Development yet?
1) The document discusses using ontologies to formalize systems engineering languages and methods. It argues that more formal languages can reduce errors compared to informal languages.
2) It proposes developing an "engineering service smart bus" ontology-based architecture to integrate systems engineering data and tools. This would provide interfaces for data services and knowledge discovery.
3) The document also notes challenges in applying ontologies to systems engineering, including the need for "counterintuitive ontologies", handling engineering heuristics differently than classical logic, and developing new computational models for ontologies beyond traditional reasoning.
NL based Object Oriented modeling - EJSR 35(1)IT Industry
Imran Sarwar Bajwa, Shahzad Mumtaz, Ali Samad [2009], "Object Oriented Software Modeling using NLP Based Knowledge Extraction", European Journal of Scientific Research, Aug 2009, Vol. 35 No. 01, pp:22-33
The document discusses Smalltalk and its use in business. It provides an overview of Smalltalk, including its history and inventions. It describes dialects like Pharo and how it can be used for web development, databases, and more. Benefits include productivity, flexibility, and being fully object-oriented, while disadvantages include lack of mainstream popularity and documentation compared to other languages.
The course aims to provide you with an understanding of the fundamental concepts involved in object-oriented programming (object, class, protocol, hierarchy, inheritance, encapsulation, polymorphism and collaboration).
The programming language you will use is Java. However, the purpose of the course is not to teach you the minutiae of the Java language, but rather to teach you fundamental object-oriented programming concepts and skills that will be transferable to any object¬ oriented language
The document discusses the TwoUse Toolkit, which allows for the transformation of models from textual and graphical notations like UML and BPMN into OWL ontologies. It provides services for validating, querying, integrating, and debugging software languages by mapping language metamodels to OWL and transforming models into ontology instances that can then be reasoned over. The toolkit includes model management capabilities and allows for the refinement of models.
Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...Steffen Staab
Data spaces in distributed environments should be allowed to evolve in agile ways providing data space owners with large flexibility about which data they store. Agility and heterogeneity, however, jeopardize data exchanges because representations may build on varying ontologies and data consumers may not rely on the semantic correctness of their queries in the context of semantically heterogeneous, evolving data spaces. Graph data spaces are one example of a powerful model for representing and querying data whose semantics may change over time. To assert and enforce conditions on individual graph data spaces, shape languages (e.g SHACL) have been developed. We investigate the question of how querying and programming can be guarded by reasoning over SHACL constraints in a distributed setting and we sketch a picture of how a future landscape based on semantically heterogeneous data spaces might look like.
Knowledge graphs for knowing more and knowing for sureSteffen Staab
Knowledge graphs have been conceived to collect heterogeneous data and knowledge about large domains, e.g. medical or engineering domains, and to allow versatile access to such collections by means of querying and logical reasoning. A surge of methods has responded to additional requirements in recent years. (i) Knowledge graph embeddings use similarity and analogy of structures to speculatively add to the collected data and knowledge. (ii) Queries with shapes and schema information can be typed to provide certainty about results. We survey both developments and find that the development of techniques happens in disjoint communities that mostly do not understand each other, thus limiting the proper and most versatile use of knowledge graphs.
The document discusses developing ontologies for collaborative engineering in mechatronics. It presents several ontology development methodologies and describes how the ImportNET project is using these to develop an ontology landscape for mechatronic domains. This includes developing ontologies to model mechatronic engineering processes and artifacts using foundational ontologies like DOLCE and aligning the ontologies.
Spy On Your Models, Standard talk at EclipseCon 2011Hugo Bruneliere
The document discusses MoDisco, an Eclipse modeling project that uses models to represent and manipulate existing software systems. MoDisco aims to help with software modernization tasks like understanding legacy code, performing quality analysis, and migrating to new technologies. It includes a model browser for navigating and querying large and complex models. MoDisco is developed by a joint team from INRIA and Ecole des Mines de Nantes, with contributions from Mia-Software, Obeo, and other Eclipse members.
1) The document discusses using the MoDisco Eclipse platform and OMG standards like KDM and SMM to facilitate software modernization projects.
2) It presents a case study of defining quality rules for Eclipse plugins using MoDisco models and SMM measures, and implementing the rules to detect issues.
3) There are mutual benefits to collaboration between Eclipse and OMG, such as standard-compliant tools encouraging adoption and feedback improving standards.
PROPOSAL OF AN HYBRID METHODOLOGY FOR ONTOLOGY DEVELOPMENT BY EXTENDING THE P...ijitcs
W3C’s Semantic Web intents a common framework that allows data to be shared and reused across
application and enterprise. The semantic web and its related technologies are the main directions of
future web development where machine-processable information which supports user tasks. Ontologies are
playing the vital role in Semantic Web. Researches on Ontology engineering had pointed out that an effective
ontology application development methodology with integrated tool support is mandatory for its success. .
Potential benefits are there to ontology engineering in making the toolset of Model Driven Architecture
applicable to ontology modeling. Since Software and Ontology engineering are two complimentary
branches, the scope of extension of the well proven methodologies and UML based modeling approaches
used in software engineering to ontology engineering can bridge the gap between the engineering branches.
This research paper is an attempt to suggest an exclusive hybrid methodology for ontology development from
existing matured software engineering. Philosophical and engineering aspects of the newly derived
methodology have been described clearly An attempt has been made for the application of proposed
methodology with protégé editor. The full-fledged implementation of an domain ontology and its validation
is the future research direction.
These slides accompanied my presentation about my research process called "demo-driven research". The presentation was first held at Hasso Platner Institute on 2007-11-28.
Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed...Christoph Lange
The document introduces the Distributed Ontology Language (DOL), which is part of the Ontology Integration and Interoperability (OntoIOP) standard. DOL aims to enable logical and modular heterogeneity across ontologies to improve semantic integration and interoperability. It will serve as a logic-agnostic meta-language for structuring ontologies, ontology modules, and formal and informal links between ontologies. DOL is intended to have well-defined semantics and serializations to XML, RDF, and text to facilitate reuse of existing ontologies and reasoning over heterogeneous ontological representations.
Ontologies and Software Modeling: Potentials, Experience and Challenges Dragan Gasevic
Ontologies and software modeling are related in several ways. Ontologies can be used to define modeling languages and integrate with model-driven engineering (MDE). However, using ontologies like OWL to fully represent modeling languages has challenges, as OWL does not support all needed concepts like collections. While early work has integrated ontologies and MDE at both the language and model levels, many open challenges remain around areas like requirements engineering, software processes, and developing domain-specific modeling languages.
The document discusses an approach for automatically generating software artifacts and models from natural language requirements documents during the analysis phase of software development.
It proposes a technique that first converts the natural language into a formal Semantic Business Vocabulary and Rules (SBVR) format. It then performs semantic and syntactic analysis on the SBVR to identify software artifacts like actors, use cases, classes, attributes, methods, and relationships. These artifacts are used to generate analysis models like use case diagrams and class diagrams. Finally, it produces XML Metadata Interchange (XMI) files to visualize the generated models in a UML modeling tool. The goal is to increase accuracy over existing tools by using the SBVR intermediate representation and generating multiple analysis models rather
The document discusses an approach for automatically generating software artifacts and models from natural language requirements documents during the analysis phase of software development.
It proposes a technique that first converts the natural language into a formal intermediate representation using Semantic Business Vocabulary and Rules (SBVR) to improve accuracy. It then identifies software artifacts like actors, use cases, classes, attributes, methods, and relationships.
The technique generates UML analysis models like use case and class diagrams. It also produces XML Metadata Interchange (XMI) files to visualize the generated models in UML modeling tools that support XMI import. The goal is to help automate parts of the analysis phase and address limitations of existing tools in terms of coverage and accuracy
Development, distribution and use of open source software comprise a market of data (source code, bug reports, documentation, number of downloads, etc.) from projects, developers and users. This large amount of data makes it difficult for people involved to make sense of implicit links between software projects, e.g., dependencies, patterns, licenses. This context raises the question of what techniques and mechanisms can be used to help users and developers to link related pieces of information across software projects. In this paper, we propose a framework for a marketplace enhanced using linked open data (LOD) technology for linking software artifacts within projects as well as across software projects. The marketplace provides the infrastructure for collecting and aggregating software engineering data as well as developing services for mining, statistics, analytics and visualization of software data. Based on cross-linking software artifacts and projects, the marketplace enables developers and users to understand the individual value of components, their relationship to bigger software systems. Improved understanding creates new business opportunities for software companies: users will be better able to analyze and compare projects, developers can increase the visibility of their products, hosts may offer plug-ins and services over the data to paying customers.
The document discusses object-oriented programming (OOP) concepts like abstraction, encapsulation, inheritance, and polymorphism. It then covers design patterns, the Unified Modeling Language (UML), and provides an example case study of developing a student information system using Java and related technologies. The key topics are introduced at a high-level with the goal of demonstrating practical OOP through the case study example.
This document discusses strategies for using open source technologies in enterprise IT systems. It proposes a shared open source technical foundation called Improve Foundations that provides pre-packaged open source components, tools, and support to reduce costs, improve consistency, and allow non-Java experts to work on projects. Improve Foundations is a high-level community of companies that share the same technical foundation for their Java projects and benefits from cost sharing, outsourced complexity, and long-term support of open source components.
This document summarizes the ALIVE project which develops tools and techniques for creating self-adaptive service-oriented architectures (SOAs). It includes a layered stack for modeling organizations, coordination, and services using model-driven architecture. Offline tools allow modeling organizations and designing workflows and services. A runtime environment enables dynamic planning, monitoring, and service discovery. The project provides ontologies, sample services, and three use cases to test the tools. The tools are open source and modular, enabling reuse and rapid prototyping of agent-based SOAs.
Event-driven Model Transformations in Domain-specific Modeling LanguagesIstvan Rath
This PhD thesis by István Ráth focuses on event-driven model transformations in domain-specific modeling languages. The thesis contains 3 parts: 1) developing concepts for event-driven graph transformations based on incremental pattern matching, 2) applying these concepts to provide advanced language engineering features like simulation, and 3) integrating modeling tools using change-driven transformations. The research aims to address challenges in scalability, usability and tool integration for model-driven software engineering.
When talking about modeling, I think there will be a bundle of terms that will come to our mind, UML, domain driven development, DSL, forward/reverse enginerring, MDD, MDA, BPMN. These technology or methodology have been there for years; And obviously, modeling has proven itself to provide value by improving communication, business-alignment, quality, and productivity. Its applicability includes a number of disciplines such as analysis, design, or development. But why aren’t we all doing Model Driven Development yet?
1) The document discusses using ontologies to formalize systems engineering languages and methods. It argues that more formal languages can reduce errors compared to informal languages.
2) It proposes developing an "engineering service smart bus" ontology-based architecture to integrate systems engineering data and tools. This would provide interfaces for data services and knowledge discovery.
3) The document also notes challenges in applying ontologies to systems engineering, including the need for "counterintuitive ontologies", handling engineering heuristics differently than classical logic, and developing new computational models for ontologies beyond traditional reasoning.
NL based Object Oriented modeling - EJSR 35(1)IT Industry
Imran Sarwar Bajwa, Shahzad Mumtaz, Ali Samad [2009], "Object Oriented Software Modeling using NLP Based Knowledge Extraction", European Journal of Scientific Research, Aug 2009, Vol. 35 No. 01, pp:22-33
The document discusses Smalltalk and its use in business. It provides an overview of Smalltalk, including its history and inventions. It describes dialects like Pharo and how it can be used for web development, databases, and more. Benefits include productivity, flexibility, and being fully object-oriented, while disadvantages include lack of mainstream popularity and documentation compared to other languages.
The course aims to provide you with an understanding of the fundamental concepts involved in object-oriented programming (object, class, protocol, hierarchy, inheritance, encapsulation, polymorphism and collaboration).
The programming language you will use is Java. However, the purpose of the course is not to teach you the minutiae of the Java language, but rather to teach you fundamental object-oriented programming concepts and skills that will be transferable to any object¬ oriented language
The document discusses the TwoUse Toolkit, which allows for the transformation of models from textual and graphical notations like UML and BPMN into OWL ontologies. It provides services for validating, querying, integrating, and debugging software languages by mapping language metamodels to OWL and transforming models into ontology instances that can then be reasoned over. The toolkit includes model management capabilities and allows for the refinement of models.
Shapes for Sharing between Graph Data Spaces - and Epistemic Querying of RDF-...Steffen Staab
Data spaces in distributed environments should be allowed to evolve in agile ways providing data space owners with large flexibility about which data they store. Agility and heterogeneity, however, jeopardize data exchanges because representations may build on varying ontologies and data consumers may not rely on the semantic correctness of their queries in the context of semantically heterogeneous, evolving data spaces. Graph data spaces are one example of a powerful model for representing and querying data whose semantics may change over time. To assert and enforce conditions on individual graph data spaces, shape languages (e.g SHACL) have been developed. We investigate the question of how querying and programming can be guarded by reasoning over SHACL constraints in a distributed setting and we sketch a picture of how a future landscape based on semantically heterogeneous data spaces might look like.
Knowledge graphs for knowing more and knowing for sureSteffen Staab
Knowledge graphs have been conceived to collect heterogeneous data and knowledge about large domains, e.g. medical or engineering domains, and to allow versatile access to such collections by means of querying and logical reasoning. A surge of methods has responded to additional requirements in recent years. (i) Knowledge graph embeddings use similarity and analogy of structures to speculatively add to the collected data and knowledge. (ii) Queries with shapes and schema information can be typed to provide certainty about results. We survey both developments and find that the development of techniques happens in disjoint communities that mostly do not understand each other, thus limiting the proper and most versatile use of knowledge graphs.
Symbolic Background Knowledge for Machine LearningSteffen Staab
Machine learning aims at learning complex functions from data. Very often, this challenge remains ill-defined given the available amount of data, however, background knowledge that is available as knowledge graphs, ontologies or symbolic (physical) equations allows for an improved specification of the targeted solution. In this talk, we want to discuss several use cases that include symbolic background knowledge as regularizing priors, as constraints or as other inductive biases into machine learning tasks.
Soziale Netzwerke und Medien: Multi-disziplinäre Ansätze für ein multi-dimens...Steffen Staab
Präsentation von Oul Han und Steffen Staab
Workshop "Soziale Netzwerke und Medien" auf dem Treffen des Fakultätentags Informatik, 14. November 2019, Hamburg
Web Futures: Inclusive, Intelligent, SustainableSteffen Staab
Almost from its very beginning, the Web has been ambivalent.
It has facilitated freedom for information, but this also included the freedom to spread misinformation. It has faciliated intelligent personalization, but at the cost of intrusion into our private lifes. It has included more people than any other system before, but at the risk of exploiting them.
The Web is full of such ambivalences and the usage of artificial intelligences threatens to further amplify these ambivalences. To further the good and to contain the negative consequences, we need a research agenda studying and engineering the Web, as well as numerous activities by societies at large. In this talk, I will present and discuss a joint effort by an interdisciplinary team of Web Scientists to prepare and pursue such an agenda.
This document summarizes Steffen Staab's keynote presentation on eye tracking and web interaction. It discusses how eye tracking can be used to understand how users interact with and understand websites. It presents a framework for discovering active visual stimuli on websites using eye tracking data and machine learning. It also introduces GazeTheWeb, a system that aims to optimize gaze-based interaction with websites by adapting the interaction based on semantic understanding of page elements and dynamics. A lab study found that GazeTheWeb improved task completion times, usability and workload compared to traditional gaze emulation.
Concepts in Application Context ( How we may think conceptually )Steffen Staab
Formal concept analysis (FCA) derives a hierarchy of concepts
in a formal context that relates objects with attributes. This approach is very well aligned with the traditions of Frege, Saussure and Peirce, which relate a signifier (e.g. a word/an attribute) to a mental concept evoked by this word and meant to refer to a specific object in the real world. However, in the practice of natural languages as well as artificial languages (e.g. programming languages), the application context
often constitutes a latent variable that influences the interpretation of a signifier. We present some of our current work that analyzes the usage of words in natural language in varying application contexts as well as the usage of variables in programming languages in varying application contexts in order to provide conceptual constraints on these signifiers.
Storing and Querying Semantic Data in the CloudSteffen Staab
Daniel Janke and Steffen Staab. Tutorial at Reasoning Web
With proliferation of semantic data, there is a need to cope with trillions of triples by horizontally scaling data management in the cloud. To this end one needs to advance (i) strategies for data placement over compute and storage nodes, (ii) strategies for distributed query processing, and (iii) strategies for handling failure of compute and storage nodes. In this tutorial, we want to review challenges and how they have been addressed by research and development in the last 15 years.
Talk at Leopoldina Symposium on Digitization and its Effects on Man and Society
(Die Digitalisierung und ihre Auswirkungen auf Mensch und Gesellschaft)
leopoldina.org/de/veranstaltungen/veranstaltung/event/2464/
The document discusses Steffen Staab's presentation on "The Web We Want" at the WebSci '17 conference. It covers several topics related to making the web more inclusive, healthy, and useful. For social inclusion, it describes the MAMEM project which aims to measure how accessible the web is for people with disabilities. For a healthy web, it discusses using techniques from social network analysis to identify harmful roles and behaviors. For a useful semantic web, it presents principles for interlinking data sets in ways that meaningfully extend entity descriptions and connectivity. The overall goal is to engineer and measure how well the web achieves important values like inclusion, health, and usefulness.
This document summarizes a presentation on the next 10 years of Web Science. It discusses social challenges like discrimination and trust, legal challenges regarding regulation and tracking, political challenges from misinformation and participation, and technical challenges from artificial intelligence and security. The presentation outlines the 10 year initiative of the Web Science Network of laboratories and highlights talks from researchers at companies like Google, Facebook, and Stanford. It promotes collaborative projects like the Web Science Observatory and Summer School.
(Semi-)Automatic analysis of online contentsSteffen Staab
How can media and discourse analyses combine approaches from humanities and statistical methods to deeply analyse large amounts of online contents.
Invited talk at Fachgruppen-Workshop der Deutschen Gesellschaft für Publizistik und Kommunikationswissenschaft
Soziale Medien – Echo-Kammer oder öffentlicher Raum?
Ansätze zur computergestützten Analyse von Internet-Korpora
6. Oktober 2016, Karlsruher Institut für Technologie (KIT)
Joint Keynote at Int. Conference on Knowledge Engineering and Semantic Web and Prague Computer Science Seminar, Prague, September 22, 2016
The challenges of Big Data are frequently explained by dealing with Volume, Velocity, Variety and Veracity. The large variety of data in organizations results from accessing different information systems with heterogeneous schemata or ontologies. In this talk I will present the research efforts that target the management of such broad data.
They include: (i) an integrated development environment for programming with broad data, (ii) a query language that allows for typing of query results, (iii) a typed lambda-calculus based on description logics, and (iv) efficient access to data repositories via schema indices.
We use metadata of various kind to improve and enrich text document clustering using an extension of Latent Dirichlet Allocation (LDA). The methods are fully implemented, evaluated and software is available on github.
These are the slides of an invited talk I gave September 8 at the Alexandria Workshop of TPDL-2016: http://alexandria-project.eu/events/3rd-workshop/
This document provides an overview of a workshop on web science. It includes an agenda with topics such as an introduction to web science, aspects of the web, observing the web through web observatories, modeling aspects of the web, and the past and future of the web. It also provides details about project work sessions and social events during the workshop. Examples of bias in the web are discussed, such as bias in devices, software, content and data, and social networks. Methods for observing and collecting data from the web are addressed, along with challenges around data collection and publishing.
This document discusses the past 10 years and future of Web Science. It provides an overview of how the Web has evolved from a place to retrieve documents to a platform for coordination, monitoring, delivering services and understanding data. Web Science has progressed from case studies to developing concepts like the "Social Machine" and models of tagging. The document poses questions to a panel of experts about the strengths, weaknesses, opportunities and threats for Web Science over the past 10 years and what the next 10 years may bring.
The document summarizes the closing session of ISWC 2015, including award winners. It lists the winners of the People's Choice Poster Award, People's Choice Demo Award, Best Poster Award, Best Demo Award, Best Applied Paper Award, and Best Research Paper Award. It thanks attendees for their participation at ISWC 2015 and looks forward to ISWC 2016 in Kobe, Japan.
हिंदी वर्णमाला पीपीटी, hindi alphabet PPT presentation, hindi varnamala PPT, Hindi Varnamala pdf, हिंदी स्वर, हिंदी व्यंजन, sikhiye hindi varnmala, dr. mulla adam ali, hindi language and literature, hindi alphabet with drawing, hindi alphabet pdf, hindi varnamala for childrens, hindi language, hindi varnamala practice for kids, https://www.drmullaadamali.com
Beyond Degrees - Empowering the Workforce in the Context of Skills-First.pptxEduSkills OECD
Iván Bornacelly, Policy Analyst at the OECD Centre for Skills, OECD, presents at the webinar 'Tackling job market gaps with a skills-first approach' on 12 June 2024
Strategies for Effective Upskilling is a presentation by Chinwendu Peace in a Your Skill Boost Masterclass organisation by the Excellence Foundation for South Sudan on 08th and 09th June 2024 from 1 PM to 3 PM on each day.
Walmart Business+ and Spark Good for Nonprofits.pdfTechSoup
"Learn about all the ways Walmart supports nonprofit organizations.
You will hear from Liz Willett, the Head of Nonprofits, and hear about what Walmart is doing to help nonprofits, including Walmart Business and Spark Good. Walmart Business+ is a new offer for nonprofits that offers discounts and also streamlines nonprofits order and expense tracking, saving time and money.
The webinar may also give some examples on how nonprofits can best leverage Walmart Business+.
The event will cover the following::
Walmart Business + (https://business.walmart.com/plus) is a new shopping experience for nonprofits, schools, and local business customers that connects an exclusive online shopping experience to stores. Benefits include free delivery and shipping, a 'Spend Analytics” feature, special discounts, deals and tax-exempt shopping.
Special TechSoup offer for a free 180 days membership, and up to $150 in discounts on eligible orders.
Spark Good (walmart.com/sparkgood) is a charitable platform that enables nonprofits to receive donations directly from customers and associates.
Answers about how you can do more with Walmart!"
it describes the bony anatomy including the femoral head , acetabulum, labrum . also discusses the capsule , ligaments . muscle that act on the hip joint and the range of motion are outlined. factors affecting hip joint stability and weight transmission through the joint are summarized.
1. Web Science & Technologies
University of Koblenz ▪ Landau, Germany
Semantic Model-driven Engineering
Steffen Staab
Acknowledgements to students and colleagues@MOST project
http://most-project.eu
2. New level in Software Engineering
Ontology-Driven Software Development (ODSD)
2030
Consistency-based
2020 Guided development
development with ontology
with advising languages
languages
2010
2000 Constraint-safe development with constraint languages
1990
1980 Type-safe development with typed languages
1970
1960 Development with untyped languages
1950
[ODSD]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 2 of 25 2
3. Marrying Ontologies and Software Technology
Software Ontology
Engineer Expert
Software
Ontology
Modeling
World
World
(OntologyWare)
(ModelWare)
EMOF
OWL
…
RDF
MOF
[ODSD]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 3 of 25
4. Marrying Ontologies and Software Technology
Software Ontology
Engineer Expert
Terminologies
with 103 to
106 entities
Software
Ontology
Modeling Gene
World
World Ontology
(OntologyWare)
(ModelWare)
Snomed
EMOF
OWL
…
RDF FMA
MOF
500+ terminologies in
[ODSD]
the B2B world
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 4 of 25
5. Marrying Ontologies and Software Technology
Software Ontology
Engineer Expert
Terminologies
with 103 to
106 entities
Software
Ontology
Modeling Gene
World
World Ontology
(OntologyWare)
(ModelWare)
Snomed
EMOF
OWL
…
RDF FMA
MOF
ontology 500+ terminologies in
[ODSD]
technologies the B2B world
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 5 of 25
6. The MOST Project
ODSD with Process
Guidance
Consistency
Preservation
In ODSD
Foundational
ODSD technology
Basic technology
[ODSD]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 6 of 25
7. The MOST Project
Software
Modeling World Ontology World
(ModelWare) (OntologyWare)
ODSD with Process
Guidance
Consistency
Preservation
In ODSD
Foundational Integration of Ontology-based
ODSD technology Traceability Metamodels configuration
and Ontologies
Basic technology MDSD
Case Studies Ontologies
[ODSD]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 7 of 25
8. The MOST Project
Software
Modeling World Ontology World
(ModelWare) (OntologyWare)
ODSD with Process Ontology-
Ontology- TwoUse:
Guided
Guidance Integrated A Platform for
Software
Modeling ODSD
Development
Consistency
Consistency Consistency
Checking for
Preservation Bridges Checking for
Structural
Processes
In ODSD Models
Foundational Integration of Ontology-based
ODSD technology Traceability Metamodels configuration
and Ontologies
Basic technology MDSD
Case Studies Ontologies
[ODSD]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 8 of 25
9. Semantic MDE
ONTOLOGY BASED
DOMAIN SPECIFIC LANGUAGES
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 9 of 25
10. Stakeholders
[MODELS09]
Metamodeling
Bridge Developer
specifies Language
uses
DSL
DSL Designer specifies defined in
Constraints
Metamodel
based on
uses
Guidance
DSL User Domain Model
builds and services
requires
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 10 of 25
11. Scenario at Comarch (PL)
• Modeling physical devices, e.g. Cisco network devices
[MODELS09]
Cisco 7603: Domain Model:
Configuration
Slot HotSwappableOSM
Device
Slot SupervisorEngine
Slot
Restrictions modeling a Cicso7603 device:
• Every Cisco7603 has at least 1 Configuration7603
• Every Configuration has at least 1 Slot in which a
SupervisorEngine card is plugged in DSL Designer
• A Configuration7603 has exactly 3 Slots in which either a
HotSwappableOSM or SPAInterface card is plugged in.
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 11 of 25
12. DSL User interacting with PDDSL
• Domain Model: (inconsistent)
DSL User
Configuration
HotSwappableOSM
Device
Error
• Requirements of DSL User:
• Consistency Checking
• Debugging of domain models
[MODELS09]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 12 of 25
13. DSL User interacting with PDDSL
• Domain Model: (consistent)
DSL User
Configuration
Slot HotSwappableOSM
Device
Slot
Slot
• Requirements of DSL User:
• Consistency Checking
• Debugging of domain models
• Validate incomplete models
• Guidance and explanations how to complete the model
[MODELS09]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 13 of 25
14. DSL User interacting with PDDSL
• Domain Model: (inconsistent)
DSL User
Configuration
Slot HotSwappableOSM
Device
Explanation:
Slot Configuration hasSlot someError and
SPAInterface Slot
hasCard some SupervisorEngine
Slot HotSwappableOSM
• Requirements of DSL User:
• Consistency Checking
• Debugging of domain models
• Validate incomplete models
• Guidance and explanations how to complete the model
[MODELS09]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 14 of 25
15. DSL User interacting with PDDSL
• Domain Model: (consistent)
DSL User
Configuration7603
Configuration
Slot
Cisco7603
HotSwappableOSM
Device
Slot SupervisorEngine
Slot
• Requirements of DSL User:
• Consistency Checking
• Debugging of domain models
• Validate incomplete models
• Guidance and explanations how to complete the model
• Suggestions of suitable domain concepts
• Use of services without any extra effort [MODELS09]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 15 of 25
16. Integrated Modeling – Modeling PDDSL
class Device {
reference hasConfiguration [1-*]: Configuration;
} DSL Designer
class Cisco7603 extends Device, equivalentWith restrictionOn hasConfiguration
{
with min 1 Configuration7603 {
}
class Configuration equivalentWith
{
IntersectionOf(restrictionOn hasSlot with min 1 Slot,
restrictionOn hasSlot some
restrictionOn hasCard some SupervisorEngine) {
reference hasSlot : Slot;
} Description Logics
• Subset of first order logics
class Configuration7603 extends Configuration ,
{
• Reasoning atrestrictionOn hasSlot with some
two levels
equivalentWith IntersectionOf(restrictionOn hasSlot with exactly 3 Slot,
• Class level restrictionOn hasCard with some
UnionOf(HotSwappableOSM, SPAInterface) {
} • Object Level
class Slot { • Sound and complete reasoning
}
• Pragmatically efficient
reference hasCard [1-*]: Card;
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 16 of 25
18. Evaluation: Stakeholders and measures
Actor Productivity Quality
GQM methodology reused
Bridge developer Not measured Not measured
Productivity
Compare development time
under comparable conditions
DSL designer manual, pure models Productivity
vs manual, hybrid measure
Quality
vs generalized, * bug ratio
Compare development time hybrid
spent on bug fixing
Assumption: development is
continued until no errors exist Domain expert/ Cisco 7600 with Productivity
Customer expert PDDSL vs. Without measure
PDDSL * bug ratio
[ECMFA10]
Domain user Survey customers Survey
customers
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 18 of 25
19. Evaluation DSL developer productivity & quality
Implement consistency guidance services for DSL users/Domain experts
• Instance validation
• Types validation
• Suggestions
Includes abstract syntax integration
Excludes concrete syntax integration
Excludes requirements analysis
Component/Approach Manual, pure Manual, hybrid Generalized,
models hybrid
Metamodel integration 0 6h Re-use
Projection to OWL 0 40 h (mostly)
automated
Services implementation 98 h 28 h Finished Apr 30
Testing& Bugfixing 34 h 18 h Finished Apr 30
Productivity improvement - 40 h = 30% Finished Apr 30
Quality improvement - 16 h = 47% Finished Apr 30
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 19 of 25
20. Semantic MDE
PROCESS REASONING
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 20 of 25
21. Supporting SAP Development of Processes
From business developer to software developer
BPMN at different levels of granularity
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 21 of 25
22. Transformation Bridge for Process Reasoning
Bridging Technology
‐ Transformation ‐
Ontoware TS Modelware TS
OWL2 target Transformation source Ecore
metamodel Definition metamodel Metametamodel M3
Metamodel
conformsTo
Tools Ontology Transformation
target Engine Tools
TBox model source DSL Metamodel M2
model Validation
Querying
Reasoning Constraint conformsTo
Technology Technology
target source
ABox model model
Model Model M1
[DKE10]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 22 of 25
23. Mapping Process Steps
[DL 2009]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 23 of 25
24. Transformation Bridge
1. Eliminating parallel gateways:
Executions remain the same
Exponential complexity (O(n!))
2. Reduce execution sets to
predecessor and successor sets:
Predecessor sets:
PS(b11) = {a11};
PS(a21) = {b11}, etc.
Successor sets:
SS(b11) = {a21,b22};
SS(a21) = {b21}, etc.
Execution sets subsumption
can be reduced to PS/SS sets
subsumptions [DL2009]
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 24 of 25
25. Example for survey question without support
3 processes in a
refinement hierarchy
Model real-life business
processes from Curran et
al. (1999):
“SAP R/3 Business
Blueprint: Understanding
Enterprise Supply Chain
Management”
Some models have
multiple errors
Multiple-choice: 2-4
answer options, multiple
correct options possible
Experiments performed by J. Lemcke & colleagues, SAP AG
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 25 of 25
26. Example for survey question with support
2 main surveys
Survey 1 with
no support to
modeller
Survey 2 with
error highlights
in the BPMN
diagrams or
guidance
comments,
respectively
Experiments performed by J. Lemcke & colleagues, SAP AG
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 26 of 25
27. Results per case study
Process refinement case study
Quality: QI = 57%, savq = 36%
Productivity: PI = 192%, savp = 66%
Process guidance case study
Quality: QI = 66%, savq = 40%
Productivity: PI = 254%, savp = 72%
Experiments performed by J. Lemcke & colleagues, SAP AG
WeST Steffen Staab Semantic MDE 27
staab@uni-koblenz.de 27 of 25
28. Calculation & overall results
Data gathered
CS, CN – correct answers with / without support
WS, WN – wrong answers with / without support
tS, tN – time for questions with / without support
Measure: Quality improvement
rq = = 1.6, QI = rq – 100% = 60%
Measure: Productivity improvement
rp = = 3.12, PI = rp – 100% = 212%
Savings: sav =
Quality: savq = 38%
Productivity: savp = 68%
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 28 of 25
29. Semantic MDE
CONCLUSION
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 29 of 25
30. Bridge Classification
Motivation Bridging definition layer
M3 layer M2 layer
Bridging Integration • Extended • Leveraging models by
expressiveness of ontologies
metamodeling • Knowledge
language represented
• Additional Restrictions independently of
for M1 models modeling language
Transformation • Replacement of • Transformations of
coexistence between models to formal
metamodels (+ ontological
conforming models) representations
and ontologies • Enabling formal
• Enabling ontology- semantics
based querying
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 30 of 25
31. Bridging Tools
Tools Bridging definition layer
M3 layer M2 layer
Bridging Integration OntoDSL: UML Profile for OWL:
Metamodeling with Modeling UML class diagrams
class Configuration7603 extends Configuration,
Ecore and OWL with OWL-based stereotypes
equivalentWith (hasSlot with exactly 3 Slot)
and (hasSlot some (hasCard some
(HotSwappableOSMOWLizer:
Transformation or SPAInterface) BPMN Refinement:
{ Transformations of Transformations of process
}
Ecore-based models to ontologies
... metamodels and
models to ontologies
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 31 of 25
32. Marriage of Ontology and Software Technologies
Original Contributions: Ontology Reasoning
Defined for class diagrammes „before“ [BCG05], but also
Domain-specific languages
Process languages
Lessons Learned
Marriage is nontrivial
formalization not straightforward, but re-useable!
terminological problems need to be reconciled between the
two pillars:
• E.g. open/closed world vs. draft/deployed models
Productivity gains
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 32 of 25
33. Ongoing Research and Outlook
Knowledge by the User & for the User
Domain models must be included, maintained and aligned
with other models in the lifecycle
Families of business processes [CAiSE 2011]
Software product lines [submitted]
Terminologies and Ontologies are undervalued re-useable
artefacts in software development
Knowledge not contained within one software project alone
Semantic Web can span many projects!
[TKB10;under development]
Semantic technologies respond to these needs
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 33 of 25
34. Core publications for this talk
http://west.uni-koblenz.de/Projects/twouse
Transforming and Weaving Ontologies and Uml for Software Engineering
[DKE10] F. S. Parreiras, S. Staab. Using Ontologies with UML Class-based Modeling:
The TwoUse Approach. In: Data & Knowledge Engineering, 69(11): 1194-
1207, Elsevier.
[CAiSE11] G. Gröner, C. Wende, M. Boskovic, F. S. Parreiras, T. Walter, F.
Heidenreich, D. Gasevic, S. Staab. Validation of Families of Business Processes. In:
Proc. of CAiSE - 23rd Int. Conf. Advanced Inf. Systems Engineering, Springer, 2011.
[ECMFA10] T. Walter, F. S. Parreiras, S. Staab, J. Ebert. Joint Language and
Domain Engineering. In: Proc. of ECMFA-2010 – 6th European Conference on
Modelling Foundations and Applications, Springer, 2010.
[MODELS09] T. Walter, F. Silva Parreiras, S. Staab. OntoDSL: An Ontology-based
Development Environment for Domain-specific Languages. In: Models - ACM/IEEE
12th Int. Conf. on Model Driven Eng., Languages & Systems. Springer, 2009.
[DL 2009] Y. Ren, G. Gröner, J. Lemcke, T. Rahmani, A. Friesen, Y. Zhao, J. Z. Pan,
S. Staab. Validating Process Refinement with Ontologies. In: The 22nd International
Workshop on Description Logics (DL2009). 27 to 30 July 2009, Oxford, UK.
[ODSD] U. Assmann, J. Pan, S. Staab, Y. Zhao (eds.). Ontology-driven Software
Development, Springer, to appear.
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 34 of 25
35. Further core publications for this area
[BCG05] Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class
diagrams. Artif. Intell. 168(1) (2005) 70-118.
[GDD09] Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Engineering and
Ontology Development, 2nd Ed. Springer (2009)
[TKB10] J. Tappolet, C. Kiefer, A. Bernstein. Semantic web enabled software
analysis, Journal of Web Semantics: Science, Services and Agents on the World
Wide Web 8, July 2010
[Par11] F. S. Parreiras. Marrying Model-Driven Engineering and Ontology
Technologies: The TwoUse Approach, Wiley, to appear.
WeST Steffen Staab Semantic MDE
staab@uni-koblenz.de 35 of 25
36. Web Science & Technologies
University of Koblenz ▪ Landau, Germany
Thank you for your attention!
Your Questions?