Use of natural polysaccharides in medicine and food has wide interest in research. In this study, we extracted and purified some polysaccharides from cactus Opuntia dillenii Haw. (ODP). Some preliminary functions of these products were characterized. Under the optimal purification conditions, the yield of ODP extracted from the 2-4 month-old Opuntia dillenii Haw. (T-ODP) was 30.60% ± 0.40%, hig...

This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP). Following a brief overview of ODP and the Reference Model for ODP, an outline of the reasons for developing of an architectural semantics is given. The different approaches currently being taken for an ODP architectural semantic...

In order to support interoperability in open distributed systems, an information service is needed that can provide dynamic knowledge about available service providers. Such a service is Trading function, identified by Basic Reference Model of Open Distributed Processing (RM ODP). RM ODP is a joint effort of ISO and ITU−T. Within the standardization of RM ODP, Trading function is developed as a...

This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP). Following a brief overview of ODP and the Reference Model for ODP, an outline of the reasons for developing of an architectural semantics is given. The diierent approaches currently being taken for an ODP architectural semantics...

This Technical Report is a revision of an invited paper for the Berlin ODP Conference, October 1991. This paper reviews the technical challenges that have to be overcome if Open Distributed Processing (ODP) standards are to achieve the goal of enabling interworking of applications and sharing of data across computer networks spanning organizational and national boundaries. The choice of abstrac...

The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify complex ODP systems. Formal methods are playing an increasing role within ODP. There are two technical problems concerning the use of formal techniques within ODP which have yet to be addressed: these are uniication and consistency checking. We show how Z can be used to provide a solution for bo...

PURPOSE To measure ophthalmodynamometric pressure (ODP) with the vented-gas forced-infusion (VGFI) system during vitrectomy in patients with various vitreoretinal disorders and to investigate factors related to ODP. METHODS This study included 169 eyes of 169 patients undergoing pars plana vitrectomy. After core vitrectomy, the intraocular pressure was gradually raised by using the VGFI syste...

This paper presents an approach for formalizing the Reference Model for Open Distributed Processing (RM-ODP), an ISO and ITU standard for the modeling of distributed system. The goals of this formalization are to clarify the RM-ODP modeling framework thus making it more accessible to modelers such as system architects, designers and implementers and to open the way for the formal verification o...

IMPORTANCE Multicenter studies indicate that outcomes of open (ODP) and minimally invasive distal pancreatectomy (MIDP) are equivalent for benign lesions. However, data for pancreatic carcinoma are limited. OBJECTIVE To compare outcomes of ODP and MIDP for early-stage pancreatic ductal carcinoma to determine relative safety and oncologic efficacy. DESIGN Retrospective analysis of 62 consecu...

This paper discusses the use and integration of formal techniques into the Open Distributed Processing ODP standardization initiative The ODP reference model is a natural progression from OSI Multiple viewpoints are used to specify complex ODP systems Formal methods are playing an increasing role within ODP We provide an overview of the ODP reference model before discussing the ODP require ment...