A Formal Method Applied to the Automated Software Engineering with Quality Guarantees

Teixeira, Marcelo; Ribeiro, Richardson; Barbosa, Marco António; Marin, Luciene

doi:10.1109/issrew.2014.43

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Formal methods have been used to verify whether the information model of a smart distributed network possesses expected semantic features [7][8][9]. Using underlying logic and semantics derived from ontology rules and propositions, formal definitions and logical descriptions have been constructed for elements in the information model such as objects, logic, and scenes [10].…”

Section: Introductionmentioning

confidence: 99%

Formal verification of ontology transformation for distribution network information model based on meta‐model theory

Qin

Dong

2020

IET cyber-phys. syst.

View full text Add to dashboard Cite

This study presents a formal description and verification method of the ontology transformation process of the distribution network information model based on the meta-model theory. By defining the dynamic change structures and model mapping constraints of the ontology transformation process of distribution network, a formalised specification for describing the key attributes of model updating and model mapping processes was constructed. The model updating and model mapping instances were specified using model checking verification tool SPIN. The method fundamentally guarantees the standardisation and reliability of the model ontology transformation process achieved by the meta-model.

show abstract