It was presented at OnTheMove'14, Amantea, Italy on 2014-10-29. (http://www.onthemove-conferences.org/)
A part of it has been presented at the ESA ADCSS'14 workshop on 2014-10-28 (adcss.esa.int)
Publication:
Y.T. Demey, Adapting the Fact-based Modelling Approach in Requirement Engineering, On the Move to Meaningful Internet Systems: OTM 2014 Workshops, in Meersman et al. (eds.), Lecture Notes in Computer Science Volume 8842, 2014, pp 65-69
Injustice - Developers Among Us (SciFiDevCon 2024)
Editor's Notes
2011, budget €590 million
Begun development in 2009, planed to be launched in 2016
Red: definition phase; blue: main development phase; green: satellites under operation
57 satellites for 2000 employees in 2014
What is this TM about.
1 2 in order to enable semantic interoperability,…
2 CM is the key here
Now let’s look closely to the kernel issues of requirements.
Requirements must be …
Requirement engineering using conceptual modeling is discussed in a large number of scientific papers.
It is important to have high quality requirements. In large enterprises, we all know that if we don’t have high quality requirements, ….
Taken a scenario of customers’ requirements, if the customer could provide high quality requirements, then the suppliers would be able to provide the right product; if not, …
Then, we use some text mining or natural language processing techniques to highlight important information
Before segmentation and highlighting, we can ask competency questions like “what does ‘it’ points to”. Accessible battery
We use a combination of graphical representation and a controlled natural language to formally model the requirement and validate it with the stakeholder
Modeler has to explain the difference between the two models by posing questions like “are you sure that estimated Qc will have relations with others that will not be of this general Qc?” If the answer is certainly “Yes”, then take the second model. Otherwise, take the first model.
Forget the constraints for FT “Qc is of Battery” for the moment (due to the time restriction of this presentation)
A battery comprises 11 strings of 6 lithium-ion cells. Suppose we use cells with the mode SONY 18650HC.
Note that this requirement doesn’t apply to Rosetta (ask Peter)
There shall be another constrained fact type: each battery is controlled by exactly one power management software, which is omitted here
A special treatment of determiner
And we run this process iteratively until the requirement is fully analyzed.
Here shows the result of modeling
At the end, such formal requirements will be stored as space system global conceptual model, in other words, “space system ontology”….
Each supplier gets its own local view from this global model.
Such a local view is further extended locally, e.g. extended with implementation details, by the suppliers. For instance, SW dev. Companies …..
Thanks to this infrastructure, these products could interoperate seamlessly at the end.
CM-conceptual model
The conceptual modelling approach I’ve illustrated is called fact-based modelling. Currently, it is being standardized. Fact based modelling (FBM) is a methodology for modelling the semantics of a subject area.
And the fact based modelling unifying system is towards the implementation of ECSS-E-TM-10-23