FW Profile
The Framework Profile (or FW Profile for short) is a specification-level modelling language for software applications which:
- is partially defined as a restriction of UML but removes most of UML's complexity and resolves its semantic ambiguities
- promotes a separation of concerns between functional and timing aspects of an application
- supports the specification of reusable software assets (software frameworks) of the kind used when developing software product lines
- allows formal proofs of correctness to be built with the Spin Model Checker
The core modelling constructs of the FW Profile are state machines, procedures (equivalent to UML's Activity Diagrams), and RT Containers (encapsulation of threads). The full definition of the FW Profile is publicly available in this document.