Model-Based System Specification with Tesperanto: Readable Text from Formal Graphics. Blekhman, A., Wachs, J., J., P., & Dori, D. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(11):1-1, 2015. ![Model-Based System Specification with Tesperanto: Readable Text from Formal Graphics [link]](https://bibbase.org/img/filetypes/link.svg "link")
Website doi abstract bibtex 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.
@article{
title = {Model-Based System Specification with Tesperanto: Readable Text from Formal Graphics},
type = {article},
year = {2015},
keywords = {Analytical models,Computational modeling,Enterprise standards,Graphics,Mathematical model,Standards,Unified modeling language,medical treatment,modeling,object-process methodology (OPM),requirements,systems engineering (SE),technical documents},
pages = {1-1},
volume = {45},
websites = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=7058446},
id = {24ea50b9-8f62-3fcf-8bc4-77f2d56bc82a},
created = {2021-06-04T19:36:48.084Z},
accessed = {2015-09-21},
file_attached = {false},
profile_id = {f6c02e5e-2d2f-3786-8fa8-871d32fc2b9b},
last_modified = {2021-06-07T19:16:58.081Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {true},
hidden = {false},
citation_key = {Blekhman2015b},
short_title = {Systems, Man, and Cybernetics: Systems, IEEE Trans},
folder_uuids = {1f3d793c-0c1b-418f-88e7-fd77440916d9,0c3edeed-ac59-4b98-b750-f2079863a4e3,b43d1b86-b425-4322-b575-14547700e015},
private_publication = {false},
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.},
bibtype = {article},
author = {Blekhman, Alex and Wachs, J.P. Juan P. and Dori, Dov},
doi = {10.1109/TSMC.2015.2406753},
journal = {IEEE Transactions on Systems, Man, and Cybernetics: Systems},
number = {11}
}
Downloads: 0
{"_id":"xJkZrsgtHvaa4aAXy","bibbaseid":"blekhman-wachs-dori-modelbasedsystemspecificationwithtesperantoreadabletextfromformalgraphics-2015","author_short":["Blekhman, A.","Wachs, J., J., P.","Dori, D."],"bibdata":{"title":"Model-Based System Specification with Tesperanto: Readable Text from Formal Graphics","type":"article","year":"2015","keywords":"Analytical models,Computational modeling,Enterprise standards,Graphics,Mathematical model,Standards,Unified modeling language,medical treatment,modeling,object-process methodology (OPM),requirements,systems engineering (SE),technical documents","pages":"1-1","volume":"45","websites":"http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=7058446","id":"24ea50b9-8f62-3fcf-8bc4-77f2d56bc82a","created":"2021-06-04T19:36:48.084Z","accessed":"2015-09-21","file_attached":false,"profile_id":"f6c02e5e-2d2f-3786-8fa8-871d32fc2b9b","last_modified":"2021-06-07T19:16:58.081Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"Blekhman2015b","short_title":"Systems, Man, and Cybernetics: Systems, IEEE Trans","folder_uuids":"1f3d793c-0c1b-418f-88e7-fd77440916d9,0c3edeed-ac59-4b98-b750-f2079863a4e3,b43d1b86-b425-4322-b575-14547700e015","private_publication":false,"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.","bibtype":"article","author":"Blekhman, Alex and Wachs, J.P. Juan P. and Dori, Dov","doi":"10.1109/TSMC.2015.2406753","journal":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","number":"11","bibtex":"@article{\n title = {Model-Based System Specification with Tesperanto: Readable Text from Formal Graphics},\n type = {article},\n year = {2015},\n keywords = {Analytical models,Computational modeling,Enterprise standards,Graphics,Mathematical model,Standards,Unified modeling language,medical treatment,modeling,object-process methodology (OPM),requirements,systems engineering (SE),technical documents},\n pages = {1-1},\n volume = {45},\n websites = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=7058446},\n id = {24ea50b9-8f62-3fcf-8bc4-77f2d56bc82a},\n created = {2021-06-04T19:36:48.084Z},\n accessed = {2015-09-21},\n file_attached = {false},\n profile_id = {f6c02e5e-2d2f-3786-8fa8-871d32fc2b9b},\n last_modified = {2021-06-07T19:16:58.081Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {Blekhman2015b},\n short_title = {Systems, Man, and Cybernetics: Systems, IEEE Trans},\n folder_uuids = {1f3d793c-0c1b-418f-88e7-fd77440916d9,0c3edeed-ac59-4b98-b750-f2079863a4e3,b43d1b86-b425-4322-b575-14547700e015},\n private_publication = {false},\n 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.},\n bibtype = {article},\n author = {Blekhman, Alex and Wachs, J.P. Juan P. and Dori, Dov},\n doi = {10.1109/TSMC.2015.2406753},\n journal = {IEEE Transactions on Systems, Man, and Cybernetics: Systems},\n number = {11}\n}","author_short":["Blekhman, A.","Wachs, J., J., P.","Dori, D."],"urls":{"Website":"http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=7058446"},"biburl":"https://bibbase.org/service/mendeley/f6c02e5e-2d2f-3786-8fa8-871d32fc2b9b","bibbaseid":"blekhman-wachs-dori-modelbasedsystemspecificationwithtesperantoreadabletextfromformalgraphics-2015","role":"author","keyword":["Analytical models","Computational modeling","Enterprise standards","Graphics","Mathematical model","Standards","Unified modeling language","medical treatment","modeling","object-process methodology (OPM)","requirements","systems engineering (SE)","technical documents"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/service/mendeley/f6c02e5e-2d2f-3786-8fa8-871d32fc2b9b","dataSources":["KaQrHMBTMZHpqr8fv"],"keywords":["analytical models","computational modeling","enterprise standards","graphics","mathematical model","standards","unified modeling language","medical treatment","modeling","object-process methodology (opm)","requirements","systems engineering (se)","technical documents"],"search_terms":["model","based","system","specification","tesperanto","readable","text","formal","graphics","blekhman","wachs","dori"],"title":"Model-Based System Specification with Tesperanto: Readable Text from Formal Graphics","year":2015}