|
Web
Education
Viewing 1-4 of 4 total results
A UML Profile for Communicating Systems | Request PDF
Verifying ODP Computational Behavioral Specification by using B-Method. March 2010. ... Finally we explore the benefits provided by thenew extension mechanisms of B-Method for verifying the ODP ...
Writing and executing ODP computational viewpoint ...
This is why we have explored the use of UML 2.0 for modeling the ODP computational viewpoint concepts, and defined a UML Profile for the graphical description of ODP computational specifications . This has been integrated into a more general standardization effort by ITU-T and ISO/IEC to define the use of UML for ODP system specifications ......
 Formal Specification and Verification of Concepts in ...
the need to integrate different specification languages and to handle non-behavioral properties of ODP systems that is the QoS concepts. There had been an amount of research to apply UML [13] as a syntactic notation for the ODP viewpoint language [14]-[16].
A Generic Method for Defining Viewpoints in SysML
Behavior: (from UML) For the purpose of this paper, the word behavior refers to any behavioral feature of the system being described. Allocate: (from SysML) Allocate is a mechanism for associating elements of different types, or in different hierarchies, at an abstract level. In this paper, only behavior allocation (that is,
|
