8,362 Hits in 2.9 sec

Using Event B to Specify QoS in ODP Enterprise Language [chapter]

Hafid Belhaj, Youssef Balouki, Mohamed Bouhdadi, Said El Hajji
2010 IFIP Advances in Information and Communication Technology  
The use of formal methods in the design process of ODP systems is explicitly required.  ...  In this context, we investigate the support for the specification of Quality of Service (QoS) in Event-B when modelling open distributed System in the enterprise viewpoint.  ...  As for future work, we are going to generalize our approach to other methods of reaching QoS agreements in ODP systems in particular using event-B in the design process of ODP systems.  ... 
doi:10.1007/978-3-642-15961-9_57 fatcat:wjziyykanvfkhow6jgtuvdc6bu

How Can Ontology Design Patterns Help Ontology Refinement?

Wander dos Santos Vasconcellos, Kate Revoredo, Fernanda Baião
2014 Learning and Nonlinear Models  
Therefore, automatic mechanisms are demanding to improve Ontology refinement processes.  ...  In this paper, we propose to automatically refine ontologies by applying Theory Revision techniques using Ontology Design Patterns (ODPs) to reduce the search space of possible decision points to be considered  ...  The pre-revision process then tries to find the registered ODPs in the REP in the FDT. If any ODP is found, we try to find the clauses in the THY that reference these ODPs.  ... 
doi:10.21528/lnlm-vol12-no1-art1 fatcat:wlvvuhdeejgmra5jzz2a5wiaxa

Specification and Verification of Uplink Framework for Application of Software Engineering using RM-ODP [article]

Krit Salahddine, Laassiri Jalal, El Hajji Said
2012 arXiv   pre-print
This paper present a survey and discussion of the Reference Model for Open Distributed Processing (RM-ODP) viewpoints; oriented approaches to requirements engineering viewpoint and a presentation of new  ...  The goal of this article is to check the uplink path using the MIC (Microphone amplifier) with all analog inputs, and check the amplifier gain.  ...  Introduction The rapid growth of distributed processing has led to a need for coordinating framework for the standardization of Open Distributed Processing (ODP).  ... 
arXiv:1204.6729v1 fatcat:3mukig2dvjhztjlzex74y3ygfq

Page 46 of Geoscience Canada Vol. 18, Issue 1 [page]

1991 Geoscience Canada  
The sediments may preserve a relatively continuous stratigraphic record of magmatic, tectonic and thermal events, providing clues to the spatial and temporal variability of these processes.  ...  ODP and its predecessor, the Deep Sea Drilling Project (DSDP), have provided information essential to the understanding of earth processes such as plate tectonics, global circulation and climatic changes  ... 

Applying formal methods to standard development: The open distributed processing experience

Richard O. Sinnott, Kenneth J. Turner
1995 Computer Standards & Interfaces  
This paper gives an account of these applications, focusing on one application in particular: the development o f a f r a m e w ork for creating standards for Open Distributed Processing (ODP).  ...  Following an introduction to ODP, the paper gives an insight i n to the current w ork on formalising the architecture of the Reference Model of ODP (RM-ODP), highlighting the advantages to be gained.  ...  the Formalisation of the ODP Systems Architecture (FORMOSA) project in which British Telecom (BT) is prime contractor.  ... 
doi:10.1016/0920-5489(95)00025-p fatcat:h7y2tojnabel3i4mfyg2c4lnsm

Knowledge Base Smarter Articulations for the Open Directory Project in a Sustainable Digital Ecosystem

Shastri L. Nimmagadda, Dengya Zhu, Amit Rudra
2017 Proceedings of the 26th International Conference on World Wide Web Companion - WWW '17 Companion  
We explore the Big Data, incorporating their characteristics in the ODP constructs and models.  ...  The volumes and varieties of the ODP data are logically organized and integrated in the warehouse repositories.  ...  Each data event is again composed of groups of other associated events making up the system, interpreting events in a particular knowledge domain and describing the leverage of human edited ODP.  ... 
doi:10.1145/3041021.3054769 dblp:conf/www/NimmagaddaZR17 fatcat:h3h6vss6mff47jlt6tivdgpb6q

FDTs for ODP

Howard Bowman, John Derrick, Peter Linington, Maarten Steen
1995 Computer Standards & Interfaces  
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.  ...  Weprovide an overview of the ODP reference model, before discussing the ODP requirements on FDTs, and the role suchtechniques play.  ...  SieveConstruct is used in the event reporting process, its internal structure is left unspeci ed at this stage, hence it is de ned as a given set.  ... 
doi:10.1016/0920-5489(95)00021-l fatcat:wuoc5qcagzfvzlrhkgopy5cwqi

Applying the architectural semantics of ODP to develop a trader specification

Richard O. Sinnott, Kenneth J. Turner
1997 Computer networks and ISDN systems  
Abstract This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP).  ...  Finally, an ODP infrastructure component -the ODP Trader -is specified using the architectural semantics work.  ...  It is not the case that one event offer "causes" another event offer. Event offers which synchronise on a single event do so simultaneously and instantaneously.  ... 
doi:10.1016/s0169-7552(96)00108-0 fatcat:qbrsakuvirayrmfkhbpaumrjqu

From RM-ODP to the Formal Behavior Representation [chapter]

Pavel Balabko, Alain Wegmann
2003 Practical Foundations of Business System Specifications  
In this work we show how the Reference Model for Open Distributed Processing (RM-ODP) can be used for the purpose of the mapping of terms from different behavioral notations.  ...  This allows us to consider RM-ODP as a possible meta-model for behavior specifications written in UML, which help to insure the consistency of UML models.  ...  The concept of interaction in RM-ODP corresponds to the concept of event in UML and the concept of internal action corresponds to the concept of action in UML: "An event is something done to the object  ... 
doi:10.1007/978-94-017-2740-2_3 fatcat:iqmwz53jk5dwhlla66co6i73tq

The Impact of One-Dose Package of Medicines on Patient Waiting Time in Dispensing Pharmacy: Application of a Discrete Event Simulation Model

Daisuke Furushima, Hiroshi Yamada, Michiko Kido, Yuko Ohno
2018 Biological and Pharmaceutical Bulletin  
Further, we propose an improvement strategy developed with use of a discrete event simulation (DES) model. A total of 673 patients received pharmacy services during the study period.  ...  Furthermore, assuming that 40% of non-ODP patients would transfer to ODP, the waiting time was predicted to increase to 56.8 min; however, introduction of the A-ODP system decreased the waiting time to  ...  This research supported by The Japan Society for the Promotion of Science (JSPS) KAKENHI Grant Number JP16K21152.  ... 
doi:10.1248/bpb.b17-00781 pmid:29491218 fatcat:7d3ball5cba45f5hm7gu5suibu

CORBA and RM-ODP: parallel or divergent?

N Dunlop, J Indulska, K A Raymond
1999 Distributed Systems Engineering  
The recent emergence of a standard for open distributed processing, the ISO / IEC Reference Model for Open Distributed Processing (RM-ODP) [3] and the coincidence of the development of the Object Management  ...  This paper analyses the CORBA architecture as a support environment for open distributed processing by comparing the business requirements for ODP, RM-ODP viewpoints, functions and distribution transparencies  ...  Acknowledgements The work reported in this paper has been funded in part by the Co-operative Research Centre Program through the Department of Industry, Science and Tourism of the Commonwealth Government  ... 
doi:10.1088/0967-1846/6/2/303 fatcat:brpju5d4kvhrlmxz4hns2vsf2a

Experiences With the OSF Distributed Computing Environment [chapter]

John Dilley
1995 Open Distributed Processing  
This paper describes the Open Software Foundation's Distributed Computing Environment (OSF DCE) in the context of the ISO Reference Model of Open Distributed Processing (RM-ODP).  ...  It presents a critical assessment of the DCE technology, and suggests future work for both DCE and ODP.  ...  ACKNOWLEDGMENTS We would like to thank Deborah Caswell for providing the information on fault tolerance, recovery, and data replication; and Jeff Morgan for providing the historical view of the CCE.  ... 
doi:10.1007/978-0-387-34882-7_36 fatcat:xja5ldhus5dbbdmdjyy5dpetia

An Enterprise Model for Real-Time Inter-domain Billing of Services

M. van Le, B.J.F. van Beijnum, L.J.M. Nieuwenhuis, G.B. Huitema
2008 2008 12th Enterprise Distributed Object Computing Conference Workshops  
The model builds on the RM-ODP Enterprise Viewpoint, the eTOM and the Shared Information/Data model (SID).  ...  Determining the actual charge during a service session implies that most of the billing processes need to be executed in near real-time.  ...  We can also define the process to handle Partner-facing Service Usage Events. These events are emitted by the Partner Agent.  ... 
doi:10.1109/edocw.2008.13 dblp:conf/edoc/LeBNH08 fatcat:hu54zsygczfrxppcj5wkqizw6m

A Change Architecture for Enterprises: A Semiotic Model [chapter]

M. Cross, F. O'Brien
1996 Modelling and Methodologies for Enterprise Integration  
In the ODP example the emphasis is on process at each level without feedback between the levels The semiotic approach to telecommunications software has demonstrated the need and has the potential to model  ...  the two way process between the model of the enterprise and the systems that support and change that model.  ...  process (including software agents) and how the events in the authentication process are realised.  ... 
doi:10.1007/978-0-387-34983-1_23 fatcat:6ofumulghzgt7jj2uhqvg3tfpu

Ontology Design Patterns for bio-ontologies: a case study on the Cell Cycle Ontology

Mikel Egaña Aranguren, Erick Antezana, Martin Kuiper, Robert Stevens
2008 BMC Bioinformatics  
Modelling such bio-ontologies is, however, a difficult task for bio-ontologists, because the necessary richness and rigour is difficult to achieve without extensive training.  ...  The richness in bio-ontologies is a prior condition for diverse and efficient reasoning, and hence querying and hypothesis validation. Rigour allows a more consistent maintenance.  ...  Acknowledgements This work was supported by the EU (FP6, contract number LSHG-CT-2004-512143 to EA) and MEA received funding from MC-EST (VIB), EPSRC and Manchester University.  ... 
doi:10.1186/1471-2105-9-s5-s1 pmid:18460183 pmcid:PMC2367624 fatcat:4ekfa2ovrjfbnaer5wxwpyatra
« Previous Showing results 1 — 15 out of 8,362 results