将形式化技术和软件复用结合是非常有意义的工作。
It's a meaningful work to combine formal technology and software reuse.
利用此技术，很可能将业务流程转化为业务模型，并在它们之间创建形式化的可追溯性。
Using this technique, it is possible to transpose the Business Processes into a Business Model and create formal traces between the two.
我们还将提出一个可以应用于分布式组织来帮助形式化适当的技术基础架构和实现的参考架构。
We will also propose a reference architecture that can be applied to distributed organizations to help formulate the appropriate technology infrastructure and implementation to enable those teams.
应用推荐