|
Web
Education
CORE
We treat in this paper the need of formal notation and specification for behavior al concepts in the Computational language. Using the Unified Modeling Language (UML)/OCL (Object Constraints Language) we define a formal semantics for a fragment of ODP behavior concepts defined in the RM-ODP foundations part and in the Computational language....
 Specifying Data Bases Management Systems by Using RM-ODP ...
semantics part [4] for the specification of ODP concepts. Unfortunately, up to now, no formal method is suitable to specify and verify every aspect of an ODP system. The inherent characteristics of ODP systems imply the need to integrate different specification languages and to handle non-behavioral properties of ODP systems that is the QoS...
Jalal LAASSIRI - citeseerx.ist.psu.edu
well as on the relationship transformations between the concepts of the behavior of the computational language and the concepts of the BPEL language. To achieve this, we ... 5 USING BPEL FOR BEHAVIORAL CONCEPTS IN ODP COMPUTATIONAL ... 6 VERIFYING ODP COMPUTATIONAL BEHAVIORAL SPECIFICATION BY USING B-METHOD 87...
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].
List of Open Access publications for International Journal ...
Verifying ODP Computational Behavioral Specification by using B-Method : Jalal Laassiri, Saïd El Hajji, Mohamed Bouhdadi : Pages - 31 - 39 | Revised - 25-02-2010 | Published - 26-03-2010 : Full Text Available (376.1KB) MORE INFORMATION : Full Citation | Full Text PDF | Abstract | References | Related Articles
A Meta-model Semantics for Structural Constraints in ODP ...
specification of ODP concepts. Elsewhere, up to now no formal method is likely to be suitable for specifying and verifying every aspect of an ODP system. The inherent characteristics of ODP systems imply the need to integrate different specification languages, and to handle non-behavioral properties of ODP systems....
jalal.laassiri
“Verifying ODP Computational Behavioral Specification by using B-Method”, J.Laassiri, S.El Hajji, M.Bouhdadi: “ International Journal of Computer Science and Security ” (IJCSS), Volume (4): Issue (1), pp 31 – 39, 2010.
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...
A DENOTATIONAL SEMANTICS OF CONCEPTS IN ODP INFORMATION ...
[4] for the specification of ODP concepts. Unfortunately, up to now, no formal method is suitable to specify and verify every aspect of an ODP system. The inherent characteristics of ODP systems imply the need to integrate different specification languages and to handle non-behavioral properties of ODP systems that is...
THE SPECIFICATION OF QUALITY OF SERVICE IN OPEN ...
RM-ODP is a reference model in computer science, which provides a co-ordinating framework for the standardization of open distributed processing (ODP), whereas in the second phase , we introduce Event-B method to formalize and verify mechatronics system. We explore the benefits provided by using the proof
|
