Assessing situation models with a lightweight formal method

@article{Sobral2015AssessingSM,
  title={Assessing situation models with a lightweight formal method},
  author={Vinicius Sobral and Jo{\~a}o Paulo A. Almeida and Patrix0301cia Dockhorn Costa},
  journal={2015 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision},
  year={2015},
  pages={42-48}
}
In order to leverage the benefits of the notion of situation at design time, proper support is required at the modeling level. In the past, this need has led to the development of a situation type specification language called SML. Although SML facilitates the definition of situation types by providing a graphical notation, designers could profit from additional support in order to assess the quality of the situation type models they produce. Since situations consist of combinations of context… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-9 of 9 references

A rule-based platform for situation management

2013 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA) • 2013
View 2 Excerpts

Network composition for situation assessment: A “trusted meeting” case study

2012 15th International Conference on Information Fusion • 2012
View 1 Excerpt

Similar Papers

Loading similar papers…