Paper Info
Title
(An Example for) Formally Modeling Robot Behavior with UML and OCL.
Abstract
One of the problems that the design and development of robotic applications currently have is the lack of unified formal modeling notations and tools that can address the many different aspects of these kinds of applications. This paper presents a small example of a chain of robotized arms that move parts in a production line, modeled using a combination of UML and OCL. We show the possibilities that these high-level notations provide to describe the structure and behaviour of the system, to model some novel aspects such as measurement uncertainty and tolerance of physical elements, and to perform several kinds of analyses.
Year
DOI
Venue
2017
10.1007/978-3-319-74730-9_22
Lecture Notes in Computer Science
DocType
Volume
ISSN
Conference
10748
0302-9743
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Martin Gogolla12398578.76
Antonio Vallecillo21399131.98