An aircraft assembly process formalism and verification method based on semantic modeling and MBSE
Xiaochen Zheng, Xiaodu Hu, Jinzhi Lu, Rebeca Arista, Joachim Lentes, Dimitris Kiritsis
Topics & Concepts
Computer scienceOntologyProcess (computing)Discrete event simulationSystems Modeling LanguageProcess modelingSoftware engineeringFormalism (music)Systems engineeringUnified Modeling LanguageData miningWork in processEngineeringSimulationProgramming languageSoftwareEpistemologyPhilosophyMusicalArtOperations managementVisual artsManufacturing Process and OptimizationProduct Development and CustomizationFlexible and Reconfigurable Manufacturing Systems