论文部分内容阅读
DO-178B标准要求软件开发过程有四个过程,各个过程都有其输入输出和目标要求,过程之间也存在着追踪和依赖关系.本文根据WfMC工作流技术基于活动网络的模型,给出了一个元模型,并基于元模型以活动为中心对这四个过程进行建模,将这四个过程目标要求对应到可实施的活动,并定义了活动的状态及其转移规则.该模型解决了过程目标与活动实施的对应,为基于DO-178B标准的软件开发过程提供了指导和参考.