Formal Semantics of OMG's Interaction Flow Modeling Language (IFML) for Mobile and Rich-Client Application Model Driven Development¶

Bernaschina, C., Comai, S., & Fraternali, P. (2018). Formal Semantics of OMG's Interaction Flow Modeling Language (IFML) for Mobile and Rich-Client Application Model Driven Development. Journal of Systems and Software, 239-260.

Type: Journal article
Intellectual base: Primary research
Year: 2018
DOI: 10.1016/j.jss.2017.11.067
Link: https://doi.org/10.1016/j.jss.2017.11.067

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Interaction Flow Modeling Language
- The official standard gives behavior largely through metamodel constraints and explanatory semantics; later research has mapped a foundational subset to Place Chart Nets to make event behavior analyzable and expose underspecified cases.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:27c7ed345718 · see in the full table