|
Web
Education
 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...
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....
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...
Formal methods - Wikipedia
Formal verification using a software tool to prove properties of a formal specification, or that a formal model of a system implementation satisfies its specification. Once a formal specification has been developed, the specification may be used as the basis for proving properties of the specification (and hopefully by inference the developed ......
Formal specification of dynamic constraints with the B method
Formal specification of dynamic constraints with the B method. Authors: H. Habrias: B. Griech: Published in: · Proceeding: ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods Page 304 November 12 - 14, 1997 IEEE Computer Society Washington, DC, USA ©1997
A Meta-model Syntax 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....
Formal methods 3.1 INTRODUCTION: In computer science ...
Page 1 of 7 Formal methods 3.1 INTRODUCTION: In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software
Formalizing ODP enterprise specifications in Maude
specifications obtained following our approach, the use of Maude provides additional advantages. The fact that rewriting logic specifications are executable allows us to apply a flexible range of increasingly stronger formal analysis methods and tools, such as runtime verification [11], model checking [10],or theorem proving [7].
A Formal Foundation of the RM-ODP Conceptual Framework
building complete and consistent system specifications, and allow for the formal verification of resulting models. The possibility of the verification would significantly facilitate localization of specification faults. We consider RM-ODP to be a standard, so we will not modify any of the ODP definitions in the process of their formalization....
|
