TAILIEUCHUNG - Model-Based Design for Embedded Systems- P51

Model-Based Design for Embedded Systems- P51: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 476 Model-Based Design for Embedded Systems domain model as the input and produces a corresponding TASU model as output. A transformation in GReAT is formed by a sequence of rules each of which contains a pattern graph 26 . The pattern graph is constructed from the objects defined in the TDL and TASU metamodels. Each pattern graph object is assigned an action to perform on matched objects upon execution of the transformation bind createnew or delete. The execution of a transformation rule proceeds by finding matches between the pattern graph objects annotated with the bind or delete action and instances in the input and output domain models. Upon the initial discovery of a nonempty set of matches a boolean expression called a Guard can be included in the pattern graph to compare the attributes of the returned matches. Any matches that do not satisfy the Guard condition will not be included in the returned matches. Finally the remaining matched objects marked as delete are removed and objects marked with the createnew action are created in their respective domain models. Before completion of the rule the attribute fields of objects in the updated graph can be modified using an AttributeMapping object for example to correctly instantiate fields of new objects. The model transformation between the TDL and TASU metamodels provides the mapping from the TDL objects that characterize the temporal behavior of the system to the corresponding TASU structures. The transformation steps are described using the following syntax TDLoi or on TASUoi or . Om Each matched set of n objects from the TDL domain found in the input graph is mapped to newly created instances of a set of m objects from the TASU domain. TASU object types in bold font are newly created in the current step. Each object can also be appended with relevant attribute values for example clock1. The line following the step number gives a brief description of the object types involved in the .

Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.