A Formal Semantics for Use Case Diagram Via Event-B.

Thiago C. de Sousa Luciano Kelvin Constantino D. Neto Carlos Giovanni Nunes de Carvalho

Published in: J. Softw. (2017)

Keyphrases

formal semantics
class diagram
modeling language
formal language
eca rules
er model
logical reasoning
operational semantics
logical language
first order logic
modelling language
theorem prover
ontology languages
epistemic logic
xml documents
speech acts
object oriented