The emerging Digital Engineering demands digital representation of the system of interest and sharing models and data across the boundaries of organizations and the boundaries of the engineering lifecycle. Towards thi...
详细信息
ISBN:
(纸本)9781665444392
The emerging Digital Engineering demands digital representation of the system of interest and sharing models and data across the boundaries of organizations and the boundaries of the engineering lifecycle. Towards this direction, it is critical to develop systems modelinglanguages and tools that accommodate Digital Engineering. This paper presents our research on semantic mapping from System modelinglanguage (SysML) to Functional Reactive Programming (FRP) with the goal of developing computing mechanisms with functional reactive programming to support executable and verifiable SysML model specification.
暂无评论