DocumentCode :
3601580
Title :
Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics
Author :
Blekhman, Alex ; Wachs, Juan P. ; Dori, Dov
Author_Institution :
Technion - Israel Inst. of Technol., Haifa, Israel
Volume :
45
Issue :
11
fYear :
2015
Firstpage :
1448
Lastpage :
1458
Abstract :
Technical reports and papers may be represented by a fundamental model, which can take the form of a block diagram, a state-machine, a flow diagram, or alternatively some ad hoc chart. This basic scheme can convey better the true value of otherwise verbose and potentially encumbered narrative-based specifications. We present a model-based methodology for authoring technical documents. The underlying idea is to first formalize the system to be specified using a conceptual model, and then automatically generate from the tested and verified model a humanly-readable text in a subset of English we call Tesperanto. This technical documents´ authoring methodology is carried out in an integrated bimodal text-graphics document authoring environment. The methodology was evaluated with the International Organization for Standardization standards and a medical robotics case study. The evaluation resulted in tangible improvements in the quality and consistency of international standards. Further, it can serve to document complex dynamics among agents, such as interaction between an operation room technician robot and the surgeon, suggesting that it could be applied to represent and bring value to other types of technical documents.
Keywords :
authoring systems; document handling; finite state machines; medical robotics; surgery; English; International Organization for Standardization standards; Tesperanto; ad hoc chart; authoring technical documents; block diagram; document complex dynamics; encumbered narrative-based specifications; flow diagram; formal graphics; fundamental model; humanly-readable text; integrated bimodal text-graphics document authoring environment; medical robotics; model-based methodology; model-based system specification; operation room technician robot; state-machine; technical document authoring methodology; tesperanto; Analytical models; Computational modeling; Graphics; Mathematical model; Standards; Unified modeling language; Enterprise standards; medical treatment; modeling; object-process methodology (OPM); requirements; systems engineering (SE); technical documents;
fLanguage :
English
Journal_Title :
Systems, Man, and Cybernetics: Systems, IEEE Transactions on
Publisher :
ieee
ISSN :
2168-2216
Type :
jour
DOI :
10.1109/TSMC.2015.2406753
Filename :
7058446
Link To Document :
بازگشت