Note, however, that Presentation MathML still encodes aspects of the mathematical semantics.
但要注意，Presentation MathML仍然编码数学语义方面。
They often focused on complex mathematical theories (such as the Pi-Calculus) without ever validating if these theory's semantics would actually be enough to support a business process execution.
他们经常关注复杂的数学理论（如 Pi-Calculus），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。
The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on UML models for system validation.
但UML的缺点是难以直接用数学工具对uml模型进行检验，另外uml在语义方面也存在一些不足。
应用推荐