A framework for reviewing domain specific conceptual models

Bilgen, Semih
Conceptual models are used in understanding and communicating the domain of interest during analysis phase of system development. As they are used in early phases, errors and omissions may propagate to later phases and may be very costly to correct. This paper proposes a framework for evaluating conceptual models when represented in a domain specific language based on UML constructs. The framework describes the main aspects to be considered when conceptual models are represented in a domain specific language, presents a classification of semantic issues and some evaluation indicators. The indicators can, in principle, identify situations in the models where inconsistencies or incompleteness might occur. Whether these are real concerns might depend on domain semantics, hence these are semantic, not syntactic checks. The use of the proposed review framework is illustrated in the context of two conceptual models in a domain specific notation, KAMA. With reviews based on the framework, it is possible to spot semantic issues which are not noticed by case tools and help the analyst to identify more information about the domain.


A process capability based assessment model for software workforce in emergent software organizations
TANRIÖVER, ÖMER ÖZGÜR; Demirörs, Onur (Elsevier BV, 2015-01-01)
Software process improvement frameworks for software organizations enable to identify opportunities for improving the processes as well as establishing road maps for improvement. However, software process improvement practice showed that to achieve a sustained, leveraged state, software organizations need to focus on the workforce as much as the process. Software process improvement frameworks address the people dimension indirectly through processes. To complement process assessment models/methods, there i...
A 3D virtual environment for training soccer referees
Gulec, Ulas; Yilmaz, Murat; İşler, Veysi; O'Connor, Rory V.; Clarke, Paul M. (Elsevier BV, 2019-05-01)
Emerging digital technologies are being used in many ways by and in particular virtual environments provide new opportunities to gain experience on real-world phenomena without having to live the actual real-world experiences. In this study, a quantitative research approach supported by expert validation interviews was conducted to determine the availability of virtual environments in the training of soccer referees. The aim is to design a virtual environment for training purposes, representing a real-life ...
An inspection approach for conceptual models of the mission space in a domain specific notation
Tanrıöver, Ö. Özgür; Bilgen, Semih; Department of Information Systems (2008)
An inspection approach is proposed for improving the quality of conceptual models developed in a domain specific notation. First, the process of identification of desirable properties of conceptual models in a domain specific notation is described. Intra- and interview properties are considered. Semantic properties are defined considering the conceptual modeling notation. A systematic inspection process is proposed for checking semantic properties of different types of diagrams and of the relations between ...
Modeling Distributed Real-Time Systems in TIOA and UPPAAL
Schmidt, Klaus Verner; Schmidt, Şenan Ece (Association for Computing Machinery (ACM), 2016-11-01)
The mission- and life-critical properties of distributed real-time systems require concurrent modeling, analysis, and formal verification in the design stage. The timed input/output automata (TIOA) framework and the UPPAAL software package are two widely used modeling and verification tools for this purpose. To this end, we develop the algorithm TUConvert for converting distributed TIOA models to UPPAAL behavioral models and formally prove its correctness. We demonstrate the applicability of our algorithm b...
An Approach for introducing a set of domain specific components
Yiğit, İbrahim Onuralp; Doğru, Ali Hikmet; Department of Computer Engineering (2015)
In this thesis, a preliminary methodology is proposed for the determination of a set of components to populate the domain model of a Software Product Line infrastructure. Software Product Line based approaches focus on the reusability of assets for a family of software products. For effective reuse, the definition of reusable assets in this thesis considers variability in a domain. The approach is based on variability specifications that is rooted in Feature Models and is reflected to a component modeling n...
Citation Formats
Ö. Ö. TANRIÖVER and S. Bilgen, “A framework for reviewing domain specific conceptual models,” COMPUTER STANDARDS & INTERFACES, pp. 448–464, 2011, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/57642.