|
Web
Education
Viewing 1-7 of 7 total results
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].
QOS FORMAL SPECIFICATION OF ENGINEERING LANGUAGE
computational, engineering and technology provide a basis for the specification of ODP systems. In this paper we treat the need of formal notation of ODP viewpoint languages. The languages Z, SDL, LOTOS, and Esterel are used in RM-ODP architectural semantics part [4] for the specification of ODP concepts. However, no formal method is...
Using Maude to write and execute ODP information viewpoint ...
Then, an ODP information specification consists of the specification of information objects, the behavior of those objects, and environment contracts for the system. The concepts used in an information specification are explained below, together with their corresponding representation in Maude and a justification of the mapping rules used.
Using Maude to write and execute ODP information viewpoint ...
in the system specification process. The use of Maude provides additional advantages: The fact that rewriting logic specifications are executable will allow us to apply a flexible range of increasingly stronger formal analysis methods and tools, such as run-time verification [18], model checking [16],or theorem proving [7]. Maude offers a ...
ODAC: An Agent-Oriented Methodology Based on ODP ...
The behavioral specification is the output of the analysis, i.e., it corresponds to the specifications established in the Enterprise, Information and Computational viewpoints. It 210 GERVAIS describes the system according to its objective, its place in the company in which it is developed, information that it handles and the tasks that it ...
Specifying the Computation Viewpoints for a Corporate ...
heterogeneous distributed-processing systems. In order to facilitate the specification, RM-ODP uses the concept of viewpoints. RM-ODP uses five viewpoints: Enterprise, Information, Computation, Engineering, and Technology. The use of viewpoints allows the system to be specified into smaller models, where each viewpoint answers
|
