...
机译:为适应性和灵活的业务流程实现功能安全性
Software Competence Center Hagenberg GmbH, Softwarepark 21, 4232 Hagenberg, Austria;
Software Competence Center Hagenberg GmbH, Softwarepark 21, 4232 Hagenberg, Austria;
Software Competence Center Hagenberg GmbH, Softwarepark 21, 4232 Hagenberg, Austria;
Software Competence Center Hagenberg GmbH, Softwarepark 21, 4232 Hagenberg, Austria;
business process management; exception handling; fault tolerance; formal semantics; process adaptations; safety and security restrictions;
机译:Web服务和灵活的业务流程:面向自适应企业
机译:系统安全和安全手册:网络风险和风险管理,网络安全,威胁分析,功能安全,软件系统和网络物理系统
机译:SATMC:基于SAT的模型检查器,用于安全协议,业务流程和安全API
机译:使用通用模式调整工作流:在业务流程安全中的应用
机译:风险和安全计划的业务流程,策略分析和成熟度模型。
机译:业务流程中的合规性监视:功能应用程序和工具支持
机译:企业业务流程质量管理系统的灵活性和适应性机制