Module CS41XX-KP0X

Duration

1 Semester

Turnus of offer

each winter semester

Credit points

6

Course of studies, specific fields and terms:

• Master Computer Science 2014, optional subject, Applied computer science
• Master Entrepreneurship in Digital Technologies 2014, optional subject, Applied computer science
• Master Medical Informatics 2014, optional subject, ehealth / infomatics
• Master IT-Security 2019, optional subject, Applied computer science
• Master Robotics and Autonomous Systems 2019, optional subject, Elective
• Master Medical Informatics 2019, optional subject, Applied computer science
• Master Computer Science 2019, basic module, Canonical Specialization Data Science and AI
• Master Entrepreneurship in Digital Technologies 2020, optional subject, Applied computer science
• Master Media Informatics 2014, optional subject, Computer science
• Master Artificial Intelligence 2028 , optional subject, Applied AI
• Master Computer Science 2014, optional subject, specialization field software systems engineering
• Master Computer Science 2019, optional subject, Applied computer science
• Master Computer Science 2019, optional subject, Applied computer science

Classes and lectures:

• Knowledge-based Systems Engineering (lecture, 2 SWS)
• Knowledge-based Systems Engineering (exercise, 2 SWS)

Workload:

• 60 hours in-classroom work
• 100 hours private studies
• 20 hours exam preparation

Contents of teaching:

• Introduction to Knowledge-Based Systems Engineering
• Knowledge Representation and Ontologies
• Systems Engineering Concepts
• Introduction to UML and SysML
• System Modeling with SysML
• Requirements and Process Modeling
• Model Validation with OCL
• Business Process Modeling with BPMN
• Model and Ontology Integration with DOL

Qualification-goals/Competencies:

• Students can explain the fundamentals of systems engineering as well as concepts, methods and processes of Model-Based Systems Engineering (MBSE), including the modeling languages UML, SysML and BPMN, requirements engineering, process modeling, and model validation using the Object Constraint Language (OCL).
• Students can describe approaches to knowledge representation through ontologies and concepts of semantic interoperability, model integration and knowledge integration, and explain the Distributed Ontology, Modeling and Specification Language (DOL) as a formal approach for describing, linking and integrating heterogeneous models, metamodels and ontologies.
• Students can model and analyze complex systems using UML, SysML and BPMN, develop and apply ontologies for the formal description of domain knowledge, and examine and validate models and knowledge bases with regard to consistency, completeness and interoperability.
• Students can compare and evaluate different modeling languages and knowledge representation approaches with regard to expressive power, semantics and areas of application, and use DOL to specify formal relationships between models, metamodels and ontologies as well as to integrate heterogeneous modeling artifacts across languages.
• Students can work on modeling, integration and knowledge representation tasks independently as well as in teams, critically discuss different modeling and ontology approaches and assess their suitability for concrete application scenarios.
• Students can analyze, model and integrate complex systems in a structured way using knowledge-based methods within the scope of project-oriented work.

Grading through:

• written exam

Responsible for this module:

• Prof. Dr. rer. nat. Sylvia Melzer

Teacher:

• Institute of Information Systems
• Prof. Dr. rer. nat. Sylvia Melzer

Literature:

• Melzer, S., Weilkiens, T., Muggeo, C. & Berres, A. : Sustainable Development of Information Systems Using SysML, FAS and DOL The 18th Annual International Systems Conference , 2024, DOI 10.1109/SysCon61195.2024.10553629
• Weilkiens, T., Lamm, J.G., Roth, S. and Walker, M., Eichmann, O. E., God, R. & Melzer, S. : Systems, Systems of Systems, and Cyber-Physical Systems In Model-Based System Architecture, Second Edition (eds T. Weilkiens, J.G. Lamm, S. Roth and M. Walker) /li>
• Melzer, S., Thiemann, S. & Möller, R. : Modeling and Simulating Federated Databases for early Validation of Federated Searches using the Broker-based SysML Toolbox IEEE International Systems Conference (SysCon 2021), Vancouver, BC, Canada, April 15 - May 15, 2021 , IEEE, 2021. pp. 1-6, DOI 10.1109/SysCon48628.2021.9447055
• Weilkiens, T. : Variant Modeling with SysML MBSE4U, 2016, ISBN 978-3-9817875-7-3
• Weilkiens, T. : SYSMOD - The Systems Modeling Toolbox. Pragmatic MBSE with SysML MBSE4U, Fredesdorf 2015, ISBN 978-3-9818529-8-1
• Holt, J., Perry, S., Payne, R.J., Bryans, J., Hallerstede, S., & Hansen, F.O. : A Model-Based Approach for Requirements Engineering for Systems of Systems IEEE Systems Journal, 9, 252-262
• Alt, O : Modellbasierte System-Entiwkclung mit SysML München, 2012, Hanser Verlag München
• Friedenthal, S., Moore, A., & Steiner, R. : A practical guide to SysML: the systems modeling language Sanford Friedenthal, Alan Moore, Rick Steiner. ([2nd ed.].). Morgan Kaufmann.
• Holt, J., Perry, S. & Brownsword : Model-Based Requirements Engineering London, 2012, The Institution of Engineering and Technology
• Holt, J. & Perry, S. : SysML for Systems Engineering Institution of Engineering and Technology /li>
• Weilkiens, T. : Systems Engineering mit SysML/UML dpunkt.verlag, Heidelberg 2008, ISBN 978-3-89864-577-5
• Weilkiens, T. : Systems Engineering mit SysML/UML Morgan Kaufmann, Burlington 2008, ISBN 978-0-12-374274-2

Language:

• English

Notes:

Last Updated:

15.09.2026