Article

LOTOS Specification of the OSI CCR Service

Authors:

University of Warith Al-Anbiyaa

Lotos Specification Style for OSI

Article

Feb 1970

The architecture of OSI is used to derive guidelines for writing LOTOS specifications of distributed systems. In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. The approach described in this paper is motivated by the need to produce distributed system specifications in a more consistent and productive fashion. 1 Introduction Design and specification are related but distinct notions. A design is an abstraction of a technical object of concern. This paper deals with design specifications --- representations of a design using a specification language. It is common experience that one of the most difficult and critical aspects of design specification is the choice of specification structure. The structure of...

ResearchGate has not been able to resolve any references for this publication.

Article

Full-text available

A new semantic service discovery in service oriented architecture (SOA)

May 2012

One of the interesting topics in service oriented architecture is services discovery. After the failure of a service agent in a chain of services working on a specific task, discovering a service that reforms the chain is an important topic. In this paper, we define new agent that known as task agent and propose a new algorithm that discovers a service and increases the fault tolerance against ... [Show full abstract] probable failure of service agents.

Article

Full-text available

Products and Markets – The Activities of the Imperial Guilds of Constantinople

January 2015 · Procedia Economics and Finance

In the present paper the questions that are covered concern specific entrepreneurial aspects of the imperial guilds in Constantinople of the 10th century. The mentioned aspects are dealing first with the products and services offered by the guilds and secondly with the places, streets and areas where the guild members allowed to do their business. All this information is stated in the Book of the ... [Show full abstract] Eparch (BE) or Book of the Prefect («Tο Eπαρχικóν Bιβλίον»). Accordingly we are analyzing first the structure and quantity of the products / services mentioned in the Book of Eparch (BE) and next we are mentioning the used locations prescribed by the Prefect himself. Therefore the investigation analyses the products / services as well as the places connected with each of the products and services that are sold there.

Conference Paper

Sustainable Procurement

June 2015

Eugene Madejski

Internal and external customer requirements Meeting budget targets and performance criteria Product and process capability Service specifications Supplier requirements Resource allocation

Article

Représentation des spécifications CIM dans un serveur d'annuaire LDAP

January 2001

Ce rapport présente une étude sur le stockage des modèles de l'information CIM (Common Information Model) dans un serveur d'annuaire LDAP. Il propose un schéma permettant de représenter toute modélisation CIM dans un annuaire LDAP. Il décrit aussi l'implémentation qui a été réalisée et qui est disponible dans la distribution actuelle de MODERES.

Article

Ultrasonic diagnostic imaging system with automatic restart and response

January 2003 · The Journal of the Acoustical Society of America

Andrew L. Robinson

An ultrasound system is described which will automatically turn on at predetermined times and condition itself for a specific scanning procedure. The system can also respond to remote queries even when not in service. Such an ultrasound system can be turned off at night, respond to external queries during the night, and be ready for use at a desired time the next day, without operator ... [Show full abstract] intervention, thereby conserving energy while maintaining efficiency.

Article

Full-text available

A SERVICE VIEW OF ENGINEERING EDUCATION

January 1998

The origin of the service as an economic activity happened at the pre industrial era and had the characteristics of personnal service. The emerge of the industries fortified the concept of employee job and modified the nature of the service activities. As the time went by, the differences between services and products were accentuated and the specific characteristics of service rendered were ... [Show full abstract] identified. The first specific characteristics identified to this sector were intangibility, heterogenity and inseparability. Some other characteristics were suggested as new researches were realized in the

Article

On Decidability of Simulation in Data-Centeric Business Protocols

January 2013 · Lecture Notes in Business Information Processing

We consider the problem of analyzing specifications of data-centric services. Specifications of such services incorporate data in business protocols. We focus our study on the decidability of the problem of checking the simulation preorder in the framework of the Colombo model. Colombo is a data-centric service that appears, at a first glance, to have a limited expressivity. Our first result, ... [Show full abstract] presented in this paper, shows that even in this restricted framework, both simulation and state reachability problems are already undecidable. Even worse, these problems remain undecidable in the case of non-communicating, read-only services.

Article

SELECTING OUTSIDE SERVICES.

July 1987

Stephen R. Dartt

This second article in a series on the growing field of outside services looks at consultation, project management, engineering and system integration. It discusses types available and what each has to offer, along with specific selection criteria, legal aspects, and other related subjects.

Conference Paper

Full-text available

Does Balanced Scorecard Improves Strategy Communication? A Case of a Malaysian Utility Company.

November 2012

Hazeline Ayoup

This study presents an exploratory and qualitative analysis of the used of Balanced Scorecard (BSC) as a strategy communication tool in a large Malaysian service provider. Better understanding of organization’s strategy is vital for better implementation of the strategy itself. Kaplan and Norton (1992, 2001), claimed that one of the major advantages of BSC is its ability to enhance the process of ... [Show full abstract] communicating corporate strategic objectives from the top to the operational level managers. With regards to this issue, this study specifically explores the used of BSC to facilitate strategy communication between the top and the lower management team. Finding of this study revealed that the BSC does improve communication of firm’s strategic objectives from the top to certain lower managerial levels. The study also indicates some room for improvement regarding the strategy communication issue in a BSC company.

Article

Deliverable D6.3. Requirement Specifications for the Wireless Connectivity

March 2006

Chapter

Matching conditions and service styles

March 2008

Nick Axford

One of the main contentions of this book is that the way in which children's well-being is conceptualised will shape the service response to which it gives rise. The aim here, therefore, is not to detail what quantities of which service are required to match particular problems in order to achieve specified outcomes. To do this would require in-depth descriptions of specific interventions. ... [Show full abstract] Rather, the purpose of this chapter is to deduce the contrasting styles of service that the five conditions (or types of ill-being) require — in other words, the features that services should have logically if they are to have the potential to be effective in addressing a designated condition.

Article

4-H 142 4-H Presentations for a Purpose

January 1984

C. Dean Johnson

Nebraska Cooperative Extension Service 4-H 142. This circular is about presentations in the 4-H program which are specific to Nebraska.