A Type Management System for an ODP Trader
|
|
- Naomi Greer
- 8 years ago
- Views:
Transcription
1 A Type Management System for an ODP Trader J. Indulskaa, M. Bearmanband K. Raymondc acrc for Distributed Systems Technology, Department of Computer Science, University of Queensland, Brisbane 4072, Australia bcrc for Distributed Systems Technology, Faculty of Information Sciences and Engineering, University of Canberra, Bruce, ACT 2616, Australia ccrc for Distributed Systems Technology, Centre for Information Technology Research, University of Queensland, Brisbane 4072, Australia In order to use services available throughout an open distributed system, there must be a common understanding of the nature of those services. Also there must be a provision for system evolution, i.e. smooth replacement (without recompilation of clients applications) of existing services by their newer versions. Therefore, type description and type management functions are required to facilitate the dynamic service matching performed by an ODP trader. Also federation of traders should be supported. This paper examines the trader s requirements and presents a type model which is sufficient for those requirements. The model includes types and type relationships which are basic for ODP applications. Type descriptions and type relationships are used to find compatible service types in an open, multi-lingual environment. The paper also presents a type naming scheme and addresses the problems related to the federation of traders. Keyword Codes: C.2.4; D.2.6 Keywords: Distributed Systems, Programming Environments 1. INTRODUCTION Open distributed processing extends the OSI concept of openness in communication to openness in distributed processing, and must allow multi-vendor interoperability of distributed applications. The Basic Reference Model of Open Distributed Processing (RM-ODP) [9] is currently being developed as an international standard by ISO and CCITT. Its goals are to develop a framework which can support: interworking of heterogeneous systems and administrations, distribution transparencies, to mask the consequences of distribution,
2 portability of applications. The scale of open distributed processing is very large, and can even be world-wide. Within an open distributed system, there are many services available and the set of available services changes as the system evolves. Therefore, there must be mechanisms for both: selection of a service appropriate to an application s needs, and binding a client with the selected service at run-time. RM-ODP [9, 10] introduces the: trading function which is responsible for selecting services based on their types and other user requirements, and binding function which binds clients with servers at run-time. The trading function is implemented by objects known as traders. A server can advertise (export) its service within a trader. A client can request the trader to scan its advertisements to select services (import) that match the client s needs. Services are offered through interfaces (sets of operations). RM-ODP defines the concept of a computational interface type, which describes the signature and computational behaviour of a service. Selection of services through the trader involves the matching of interface types, but this alone is not sufficient. Many aspects of a service are not captured through a description of computational behaviour, e.g. cost and quality of service. These additional aspects are called service properties, and are usually drawn from non-computational specifications. Therefore, a service is described by its interface type and its service property values. In order to use services and information available throughout an open distributed system, there must be a common understanding of the nature of those services and information, independent of their representation or provision by a particular computer system. A type management system is required to describe and relate the types of services and information within an open distributed system. Type checking and type matching at run-time are facilitated in the RM-ODP infrastructure by the ODP functions [9,10]: the type description function, which provides a means to describe and compare types, and the type management function, which provides a means to record type names and their relationships. The term type manager is used in this paper to describe a type management system that provides the functionalities of the type description and the type management functions, required for dynamic checking and matching of types. An ODP type is defined by a predicate [9,14], allowing very general classification of objects. In addition to the common data typing required in programming languages and object-oriented databases, ODP is interested in types of behaviour, e.g. the types of operations and interfaces, and the types of services created from interfaces. An ODP type model must therefore allow descriptions of interface types and service types, and relationships between these types. In fact, the type model should be general enough to allow any predicated type to be described.
3 Since an ODP system facilitates cooperation of autonomous and independently created distributed systems, its type model should be able to express any type which can be defined in any specification or programming language. It also needs to reflect some features (e.g. subtyping) of the type systems used in specific languages whenever such features affect type matching during dynamic service selection or run-time binding. In particular, the type system has to support two forms of polymorphism: inclusion polymorphism to allow services to be replaced by compatible versions at runtime, parametric polymorphism to support the creation of generic functions. An ODP system must also support the merging of independent systems, which requires the federation of its infrastructure components (e.g. traders). An ODP type management system can support federation by providing a uniform model for information and services and a means to record type relationships. The main clients of the type manager are the ODP infrastructure (mainly the trading and binding functions), applications and application developers. The type manager supports all aspects of dynamic selection of services, binding among interfaces, and type checking during remote procedure invocations. However, in this paper, we focus only on the service type checking and service type matching required by an ODP trader. 2. TRADER S REQUIREMENTS OF TYPE MANAGEMENT A trader needs type checking and type matching facilities to ensure that: services and service properties, advertised or requested for trading, conform to the service type description, service types are checked for compatibility before selection can take place. A trader can only trade services known to its type manager. For each service type, there is a corresponding interface type, which is also known to its type manager. In addition, the type manager maintains a set of relationships over its interface types and service types. The relationships include super/sub-type relationships. When a trader receives a service offer (an export), it checks with its type manager that it is a known service type and the service properties expressed in the service offer are valid. Service offers are stored in a trader database. When a trader receives a service request (an import), it checks with its type manager that it is a known service type and the service properties in the matching constraints are valid. Using the service type of the service request, a trader finds from its type manager the list of service types that are compatible (sub-types) with the required service type. The trader uses the returned list to match service offers from its database. 3. TYPE MODEL This section presents a type model sufficient for an ODP trader. The trader will require a means to name and describe types, and to record relationships between types, leading to the development of type hierarchies.
4 3.1. Types The main function of our type manager is to enable selection of services in an ODP environment. Therefore, interface types and service types are of primary concern to the type manager. An interface is an abstraction of the behaviour of an object. An object can have many interfaces. An interface is an instance of an interface type. Interfaces that are instances of the same operational interface type have identical computational behaviour and operational signature. Interfaces that are instances of the same stream interface type have the same stream signatures and details of information transmitted or received such as format or coding. A service is a function provided by an object at a computational interface [10]. Every service is an instance of a service type. Services that are instances of the same service type have identical interface types. Services also include service properties, and therefore the service type in our model is defined as an ordered pair (interface type, set of property types) Type Description To describe service types and interface types, the type manager must be able to represent: operations included in interfaces, domains of parameters and results used in operations, and domains of service properties used in service definitions. Therefore, the following types are first class citizens which have to be recorded and maintained by the type manager: data types, consisting of basic data types (e.g. char, integer, real), constructed data types (sets, records, unions), operation types, consisting of: operation names, names and types of input parameters, names and types of terminations and results, semantics of the operations, operational interface types, consisting of: a set of operation types, semantics of the interface, stream interface types, consisting of: a set of information flow types (type of information passed and the direction of the flow), semantics of the interface, service types, consisting of
5 an interface type (including null value), a set of service property types (names and types). For clarity, operational and stream interface types have been shown as separate types. In reality, an interface type is a union of operational and stream interface types. Currently RM-ODP assumes only one interface in the service definition. There is no provision for describing services involving several interfaces. Although our model currently conforms to RM-ODP (only one interface per service), the model can be easily extended to multiple interfaces within a service. Many notations can be used to describe types. While application developers can use language-specific notations to describe types, interworking is generally simpler if a canonical notation is used. The type manager could support mapping between different representations, providing a means to record and relate types in a multi-lingual environment. Semantics of operations and interfaces can be described in many ways, for example, using pre- and post-conditions as in the language Z or using temporal ordering as in LOTOS Type Naming The types known to the type management system can be of the following kinds: universal, known in every domain (e.g. boolean), conformant, standardised in a given domain (e.g. operation types for FTAM), private, known only in a user s own domain (e.g. an employee s record type). The type manager must identify (name) types and the naming method should be scalable. Since the type manager has to be able to manage universal, conformant and private types, its naming domain can be divided into the universal, conformant, and private naming subdomains. Universal types, which are primitive types (e.g. integer, boolean) are immutable. They are chosen and named by international standardisation bodies. Conformant types are not fundamental in nature, but their extensive use within a domain has necessitated their standardisation within the domain. Only appropriate authorities can assign names and versions to conformant types within a domain. Private types are specific to a user who assigns names and versions within the user s private domain. Since types must be uniquely identified within a domain, each domain can be divided further into a number of sub-domains (contexts) to make the name space more manageable Type Relationships An ODP type manager should be able to understand relationships and to learn about new relationships at run-time. Only relationships important for a trader are described here. A trader needs information about compatible services, i.e. services which are in a subtype or an equivalence relation. Interface subtyping is defined in Part 3 of RM-ODP [9]. That is, if interface type X is a subtype of interface type Y, then the following conditions hold: X has all of the operations defined for Y and operations common for X and Y are of the same kind (announcement/interrogation),
6 numbers of parameters for each common operation are the same and types of parameters for each operation in X has to be in a subtype relation to Y, numbers of result parameters for each termination are the same and types of result parameters for each termination in Y has to be in a subtype relation to X. Our model extends the sub-type relationship to service types. For service type S to be a subtype of service type T, it requires: interface type of S is a subtype of interface type of T, each service property named in T to be also named in S, for every service property P named in T, the type of the corresponding property in S to be a subtype of the type of P. Note: Semantic substitutability is the only basis for subtyping of service properties. Subtype relationships between data types used to represent these service property types do not imply subtype relationship between service properties. A type management system needs to manage types expressed in different languages and/or created by different users. Such types are equivalent but are described using different notations and cannot be identified as equivalent by comparing their type descriptions. For instance, one user might use a service property of price while another uses cost, or two interfaces might be structurally the same and provide the same service but the names of their service differ. A type management system needs to record such equivalences. Many different equivalence relationships exist (structural, syntactical, semantic) [13]. However, the trader is interested mainly in the can be mapped relationships. The can be mapped relationships can be either symmetric, or asymmetric (e.g. marks can be converted into grades, but it is impossible to reverse this mapping). Exports and imports within a trader can be expressed in any type: private, conformant, or universal. In order to find matching types, the type manager must consider (recursively) both subtyping and can be mapped relationship. The type manager should be able to record relationships between any two types. To satisfy the trader requirements, the type manager has to be able to record and maintain the following relationships: subtyping of services, subtyping of interfaces, mapping between equivalent types, mapping between service and interface types. Relationships between pairs of types can arise by two methods: the user supplies this information, the type manager derives it from the type descriptions.
7 3.5. Service Type Hierarchies To make the service type space manageable from a user point of view, service types can be considered as a hierarchy of services based on functionality. In this hierarchy, the root and all the intermediate levels are virtual services described by properties alone (and the interface type is undefined). The leaves of the hierarchy are the actualised service types and their interface types must be defined. A service must be an instance of an actualised service type and, therefore, is an instance of all of the virtual service types which are ancestors of the actualised service type in the hierarchy. A service cannot be an instance of only virtual service types. This refinement of virtual services is a form of subtyping. For trading, an exporter must offer instances of actualised service types while importers can search for either virtual or actualised service types. Figure 1 shows an example of a service functional hierarchy applicable to a file service. For each of the actual (leaf) service types, further subtyping relationships can be applied as shown in Figure 2. Grouping services that are semantically similar, even if they are syntactically different, makes importing easier for a client, and also allows an application developer to readily browse for service types based on functionality, which is usually how a user views a service. File service (NULL: Inttype, access control: enum) File transfer ( NULL: Inttype, transfer rate: range, transfer mode: enum) File management (NULL: Inttype, access control: enum) File access (NULL: Inttype, cost : integer, access mode: enum) FTP (inttype-1: Inttype, transfer rate: range, transfer mode: enum) NFS (inttype-4: Inttype, access mode: enum) FTAM transfer (inttype-2: Inttype, transfer rate: range, transfer mode: enum) FTAM (inttype-3: Inttype, access mode: enum) Fig.1. A functional hierarchy of service types
8 FTAM (inttype-3 (read, write), access mode: enum) FTAM (inttype-6 (read, write, extend), access mode: enum) FTAM (inttype-5 (read, write), access mode: enum, shared access: enum) FTAM (inttype-7 (read, write, extend), access mode: enum, shared access: enum) Fig.2. Subtyping services 3.6. Types and Federation In a federation of traders, a user expresses its service requests using its local types even though a user could be accessing a trader with different type syntax and/or semantics. Thus, for traders in a federation to interwork, a common understanding of types and the relationship between types must be achieved. Federating traders either use different type managers, or use the same type manager. In the first case, the federation of traders requires prior integration of type managers. Federated type managers have a mutual understanding of universal types and those conformant types which they have in common. However, relationships between other types will have to be derived from known information or be established by human intervention. The type manager should provide tools to facilitate the establishment of these relationships. In the second case, since the trader can operate on all types which are known to its type manager, the situation is no different than for a single trader with users using private types. Services can be exported and imported using private types or using existing equivalence relationships to conformant types. An N-by-N mapping of all types between private domains is clearly undesirable. The mapping of private types to conformant types makes exporting and importing more efficient, because it reduces the number of mapping relationships maintained by the type manager. Such mappings to conformant types are also the preferred mechanism for federated traders using different type managers.
9 4. OPERATIONS The type manager creates and maintains a repository of types and their relationships, and supports run-time type checking and type matching. For a trader and its users, the type manager should provide the following functions: operations on types: add type description (private, conformant, universal), delete type description (private, conformant), list type description (private, conformant, universal), create sub-domain (private, conformant), delete sub-domain (private, conformant), list sub-domain (private, conformant), browse (for convenience of trader users). For example browse by service type (including virtual types), by service property types, by interface types, etc. operations on type relationships add/delete a relationship between specific types, type-check for validity of exports and/or imports, check if two types are in a given relationship (e.g. is X a subtype of Y), list all types which are related by a given relationship to a given type (e.g. what are the subtypes of X), add/delete/list a relationship type (relationship definition). Changes to the repository of types and their relationships cannot be performed if they introduce inconsistency to the repository. The operations performed by the type manager are constrained by the naming schemes and the features of relationships. For example, types have to be uniquely identified. Also, if a relationship is anti-symmetric, as in the the case of the ODP subtype relationship, the operation add relationship has to check that the anti-symmetry is not violated. Checking for violations can be expensive, especially when transitivity is involved. It could require searching the closure of the relation. The full specification of necessary constraints can be found in [5]. 5. RELATIONSHIP TO OTHER WORK The problems of describing types and using relationships between them (e.g. inheritance, subtyping) have already been addressed in many research projects related to distributed operating systems and distributed computing. Object-oriented programming languages exploit inheritance relationship between objects for resource reusability [7] and compatibility relationship for system evolution, i.e. smooth replacement of one object by a compatible object [3]. Large area networks and distributed operating systems use attribute naming to support service selection [4].
10 Problems in federation of object-oriented databases have also triggered work on the models and relationships between types[6]. Research on platforms for distributed computing e.g. ANSAware [1], DCE [12], OMG OMA [11], and Comandos [2], have addressed problems of dynamic resource selection and system evolution, which in most cases (ANSAware, Comandos, OMA) has led to a design of a type manager for the given system. The functionality of these type managers ranges from a minimal type manager in ANSAware to a richer type manager in OMG OMA (not yet implemented). The ANSAware type manager maintains a directed acyclic graph of type names related by a subtype relationship, with information about the relationship supplied by the users (see further discussion in the description of our prototype in section 6). The type manager in OMG OMA will store descriptions of object interfaces and subtyping relationships; this information will be extracted automatically from the specification expressed in the OMG Interface Definition Language (IDL). 6. DEVELOPING TYPE MANAGERS In this paper, we have described only the basic functionality of our type manager, sufficient to support service trading in an ODP system. Since some distributed platforms already exist, our first type manager prototypes will be embedded in existing platforms in order to introduce or enhance late binding facilities. One of our prototypes has been built for the ANSAware platform to replace its type management by an ODP conformant one. This ODP-based type manager uses a general relationship model; relationships are treated as types and new relationship definitions can be added to the type manager database, thus allowing various relationships to be managed (for example, different definitions of a subtyping relationship). Many relationships can be found between types; some distributed applications need to store and use information about such relationships. For example, the allomorphic relationship is used by system management [8], inheritance is used for resource reusability, and various equivalence relationships (structural, syntactic, semantic) can be used for deciding whether two types are compatible or convertable. However, from the ANSAware trader point of view, our prototype provides the same functionality as the basic ODP type manager. Our prototype maintains the description of types (whereas ANSAware stores relationship between type names only) and uses the ODP definition of subtyping which is more general than that used in ANSAware. In particular, our type manager allows subtyping of parameters and results. This type manager is also able to trade services, not only interfaces. That is, it has knowledge about service properties and service subtypes. While the type manager is able to extract the type description from the IDL language, the user is also able to add type descriptions. When relationships between two types are introduced to the database, the type descriptions are checked to ensure that the relationship holds. Another prototype is being built for the DCE environment. It is not an enhancement of an existing type manager, but is a completely new element in the DCE infrastructure. The introduction of trading and type management will enhance DCE s ability for dynamic service selection and system evolution. Apart from implementation, we are carrying out research on a powerful type model, which includes the full functionality of the type manager (e.g. rich browsing facilities), federation of type managers, and methods for semantic description of types.
11 7. CONCLUSIONS The requirements of a trader and its type management system have been examined and a type model has been proposed. The type model includes: types of behaviour, i.e. interfaces and services, relationships between types. The type description function and the relationship mechanism facilitate dynamic selection of services, by providing a trader/user with information about services and their compatibilities. The type management system also allows multi-lingual environment, by relating types expressed in one language-dependent form to another language-dependent form or to a canonical form. In addition, the functionality of the type management system has been presented. An ODP-conformant prototype has been built for the ANSAware environment. Work is being carried out on a prototype for the DCE environment and in the enhancement (regarding semantics) of the proposed type model to strengthen its expressive power. ACKNOWLEDGEMENTS The work reported in this paper has been funded in part by the Cooperative Research Centres Program through the department of the Prime Minister and Cabinet of the Commonwealth Government of Australia, and by Telecom (Australia) Research Laboratories through the Centre of Expertise in Distributed Information Systems. REFERENCES 1. Architecture Projects Management limited, ANSAware 3.0 Implementation Manual, Document RM , January R. Balter, Construction and Management of Distributed Office Systems Achievements and Future Trends, Proc. of the 6th Annual ESPRIT Conference, Brussels, November 27-December 1, 1989, pp A. Black, N. Hutchinson, E. Jul, H. Levy, L. Carter, Distribution and Abstract Types in Emerald, IEEE Transactions on Software Engineering, Vol. SE-13, January 1987, pp M. Bowman, L. Peterson, A. Yeatts. Univers: An Attribute-based Name Server. Software Practice and Experience, 20(4), pp , April W. Brookes, J. Indulska, Object-Z Specification of ODP-based Type Management. Technical report. University of Queensland (in preparation). 6. R.A. de By, H.J. Steenhagen, Interfacing Heterogeneous Systems through Functionally Specified Transactions IFIP DS-5 Workshop on Semantics of Interoperable Database Systems, Lorne, Australia, November, A. Goldberg, D. Robson, Smalltalk-80 The Language and its Implementation, Addison- Wesley, Reading, MA, ISO/IEC , Information Technology - Open System Interconnection - Structure of Management Information - Part 4: Guidelines for the Definition of Managed Objects, ISO/IEC CD , Basic Reference Model of Open distributed Processing - Part 3: Prescriptive Model, December 1992.
12 10. ISO/IEC JTC1/SC21/WG7/N743, Working Document on Topic ODP Trader, November OMG and X/Open, Object Management Architecture Guide, Revision 2.0, September 1, OMG TC Document W. Rosenbery, D. Kenney, G. Fisher, Understanding DCE, O Reilly & Assoc. Inc, A. Sheth, V. Kashyap, So FAR (Schematically) yet So Near (Semantically). IFIP DS-5 Workshop on Semantics of Interoperable Database Systems, Lorne, Australia, November, C. J. Taylor, Object-oriented Concepts for Distributed Systems, Computer Standards and Interfaces, 1993.
Meta-meta is better-better!
Meta-meta is better-better! S. Crawley, S. Davis, J. Indulska, S. McBride, K. Raymond CRC for Distributed Systems Technology (DSTC) University of Queensland, Qld 4072, Australia crawley@dstc.edu.au Abstract
More informationTHE IMPACT OF INHERITANCE ON SECURITY IN OBJECT-ORIENTED DATABASE SYSTEMS
THE IMPACT OF INHERITANCE ON SECURITY IN OBJECT-ORIENTED DATABASE SYSTEMS David L. Spooner Computer Science Department Rensselaer Polytechnic Institute Troy, New York 12180 The object-oriented programming
More informationA Model for Component Based E-governance Software Systems
A Model for Component Based E-governance Software Systems A.SHRABAN KUMAR 1, G.JAYARAO 2,B.SHANKAR NAYAK 3, KBKS. DURGA 4 A.ESWARA RAO 5 1,2,3,4 Associate Professor CSE, St.MARTIN S ENGINEERING COLLEGE,
More informationIntegration Information Model
Release 1.0.1 The openehr Reference Model a. Ocean Informatics Editors: T Beale a Revision: 0.6 Pages: 15 Date of issue: 22 Jul 2006 Keywords: EHR, reference model, integration, EN13606, openehr EHR Extract
More informationDesign by Contract beyond class modelling
Design by Contract beyond class modelling Introduction Design by Contract (DbC) or Programming by Contract is an approach to designing software. It says that designers should define precise and verifiable
More informationDefining Policies for Performance Management in Open Distributed Systems
Defining Policies for Performance Management in Open Distributed Systems B. Meyer *, C. Popien Aachen University of Technology, Department of Computer Science IV Ahornstr. 55, D-52056 Aachen, Germany Phone:
More informationGenericServ, a Generic Server for Web Application Development
EurAsia-ICT 2002, Shiraz-Iran, 29-31 Oct. GenericServ, a Generic Server for Web Application Development Samar TAWBI PHD student tawbi@irit.fr Bilal CHEBARO Assistant professor bchebaro@ul.edu.lb Abstract
More informationIntroduction to Service Oriented Architectures (SOA)
Introduction to Service Oriented Architectures (SOA) Responsible Institutions: ETHZ (Concept) ETHZ (Overall) ETHZ (Revision) http://www.eu-orchestra.org - Version from: 26.10.2007 1 Content 1. Introduction
More informationViewpoint Modeling. Agenda. 1. Viewpoint Modeling 2. ODS, Enterprise Architecture, Viewpoints, Models 3. Modeling approaches and standards
Viewpoint Modeling Antonio Vallecillo Universidad de Málaga Dpto. Lenguajes y Ciencias de la Computación av@lcc.uma.es http://www.lcc.uma.es/~av Master en Ingeniería del Software e Inteligencia Artificial
More informationETSI ETR 130 TECHNICAL April 1994 REPORT
ETSI ETR 130 TECHNICAL April 1994 REPORT Source: ETSI TC-MTS, EWOS Reference: DTR/MTS-02003-1 EWOS EGCT EWOS ETG 028 ICS: 33.080 Key words: Interworking, taxonomy, testing Methods for Testing and Specification
More informationGeneric Interfaces to Remote Applications in Open Systems 1
Generic Interfaces to Remote Applications in Open Systems 1 M. Merz and W. Lamersdorf Department of Computer Science, University of Hamburg, Vogt-Kölln-Straße 30, D-2000 Hamburg 54, Germany; email: [merz
More informationInfrastructure that supports (distributed) componentbased application development
Middleware Technologies 1 What is Middleware? Infrastructure that supports (distributed) componentbased application development a.k.a. distributed component platforms mechanisms to enable component communication
More informationData Abstraction and Hierarchy
Data Abstraction and Hierarchy * This research was supported by the NEC Professorship of Software Science and Engineering. Barbara Liskov Affiliation: MIT Laboratory for Computer Science Cambridge, MA,
More informationOn the general structure of ontologies of instructional models
On the general structure of ontologies of instructional models Miguel-Angel Sicilia Information Engineering Research Unit Computer Science Dept., University of Alcalá Ctra. Barcelona km. 33.6 28871 Alcalá
More informationMiddleware Lou Somers
Middleware Lou Somers April 18, 2002 1 Contents Overview Definition, goals, requirements Four categories of middleware Transactional, message oriented, procedural, object Middleware examples XML-RPC, SOAP,
More informationModels Supporting Development of Complex Information Systems in Healthcare. Case study: an Obstetrics-Gynecology Department
en18 Original Article Models Supporting Development of Complex Information Systems in Healthcare. Case study: an Obstetrics-Gynecology Department Mihaela Crisan-Vida 1, Lăcrămioara Stoicu-Tivadar 1, Oana
More informationSNMP, CMIP based Distributed Heterogeneous Network Management using WBEM Gateway Enabled Integration Approach
, CMIP based Distributed Heterogeneous Network Management using WBEM Gateway Enabled Integration Approach Manvi Mishra Dept. of Information Technology, SRMSCET Bareilly (U.P.), India S.S. Bedi Dept of
More informationAdvanced Service Creation: Bridging the Gap Between Requirements Elicitation and Service Design
Advanced Service Creation: Bridging the Gap Between Requirements Elicitation and Service Design Dionisis X. Adamopoulos 1, Constantine A. Papandreou 2 1 University of Piraeus, Greece and Centre for Communication
More informationInformation Services for Smart Grids
Smart Grid and Renewable Energy, 2009, 8 12 Published Online September 2009 (http://www.scirp.org/journal/sgre/). ABSTRACT Interconnected and integrated electrical power systems, by their very dynamic
More informationProject VIDE Challenges of Executable Modelling of Business Applications
Project VIDE Challenges of Executable Modelling of Business Applications Radoslaw Adamus *, Grzegorz Falda *, Piotr Habela *, Krzysztof Kaczmarski #*, Krzysztof Stencel *+, Kazimierz Subieta * * Polish-Japanese
More informationINTERNATIONAL TELECOMMUNICATION UNION
INTERNATIONAL TELECOMMUNICATION UNION ITU-T X.690 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (07/2002) SERIES X: DATA NETWORKS AND OPEN SYSTEM COMMUNICATIONS OSI networking and system aspects Abstract
More informationInformation and documentation The Dublin Core metadata element set
ISO TC 46/SC 4 N515 Date: 2003-02-26 ISO 15836:2003(E) ISO TC 46/SC 4 Secretariat: ANSI Information and documentation The Dublin Core metadata element set Information et documentation Éléments fondamentaux
More informationA STEP Towards a Computer based Integrated Building Design System
A STEP Towards a Computer based Integrated Building Design System Sun M. and Lockley S. R. University of Newcastle upon Tyne Department of Architecture Newcastle upon Tyne United Kingdom ABSTRACT Building
More informationComparative Analysis of SOA and Cloud Computing Architectures Using Fact Based Modeling
Comparative Analysis of SOA and Cloud Computing Architectures Using Fact Based Modeling Baba Piprani 1, Don Sheppard 2, and Abbie Barbir 3 1 MetaGlobal Systems, Canada 2 ConCon Management Services, Canada
More informationTELECOMMUNICATION SERVICE MANAGEMENT
CITR TECHNICAL JOURNAL VOLUME 1 1 TELECOMMUNICATION SERVICE MANAGEMENT QINZHENG KONG, GRAHAM CHEN, AND GLENN HOLLIMAN Abstract The development of standard platform approaches to the management of telecommunication
More informationThe Value of a Reference Architecture GSAW 99 Workshop
The Value of a Reference ure GSAW 99 Workshop Janis Putman Mike Hooper Andy Reho The MITRE Corporation So Why a Reference ure? MOTIVATION: Need an overarching architecture strategy to accommodate crossorganization
More informationCo-Creation of Models and Metamodels for Enterprise. Architecture Projects.
Co-Creation of Models and Metamodels for Enterprise Architecture Projects Paola Gómez pa.gomez398@uniandes.edu.co Hector Florez ha.florez39@uniandes.edu.co ABSTRACT The linguistic conformance and the ontological
More informationi-questionnaire A Software Service Tool for Data
i-questionnaire A Software Service Tool for Data Analysis in e-business 1 ANDY S.Y. LAI, 2 Y.C. POON 1, Department of Information and Communications Technology, Hong Kong Institute of Vocational Education,
More informationDistributed Objects and Components
Distributed Objects and Components Introduction This essay will identify the differences between objects and components and what it means for a component to be distributed. It will also examine the Java
More informationAdvanced and secure architectural EHR approaches
International Journal of Medical Informatics (2006) 75, 185 190 Advanced and secure architectural EHR approaches Bernd Blobel Chair of the EFMI WG Electronic Health Records, University Hospital Magdeburg,
More informationIntroduction to CORBA. 1. Introduction 2. Distributed Systems: Notions 3. Middleware 4. CORBA Architecture
Introduction to CORBA 1. Introduction 2. Distributed Systems: Notions 3. Middleware 4. CORBA Architecture 1. Introduction CORBA is defined by the OMG The OMG: -Founded in 1989 by eight companies as a non-profit
More informationA Mind Map Based Framework for Automated Software Log File Analysis
2011 International Conference on Software and Computer Applications IPCSIT vol.9 (2011) (2011) IACSIT Press, Singapore A Mind Map Based Framework for Automated Software Log File Analysis Dileepa Jayathilake
More informationClarifying a vision on certification of MDA tools
SCIENTIFIC PAPERS, UNIVERSITY OF LATVIA, 2010. Vol. 757 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES 23 29 P. Clarifying a vision on certification of MDA tools Antons Cernickins Riga Technical University,
More informationChapter 8 The Enhanced Entity- Relationship (EER) Model
Chapter 8 The Enhanced Entity- Relationship (EER) Model Copyright 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 8 Outline Subclasses, Superclasses, and Inheritance Specialization
More informationCoSMIC: An MDA Tool Suite for Application Deployment and Configuration
CoSMIC: An MDA Tool Suite for Application Deployment and Configuration Tao Lu, Emre Turkay, Aniruddha Gokhale*, Douglas Schmidt Institute for Software Integrated Systems Vanderbilt University, Nashville
More informationReusable Knowledge-based Components for Building Software. Applications: A Knowledge Modelling Approach
Reusable Knowledge-based Components for Building Software Applications: A Knowledge Modelling Approach Martin Molina, Jose L. Sierra, Jose Cuena Department of Artificial Intelligence, Technical University
More informationLessons learned developing protocols for the industrial virtual enterprise
COMPUTER-AIDED DESIGN Computer-Aided Design 32 (2000) 159 166 www.elsevier.com/locate/cad Lessons learned developing protocols for the industrial virtual enterprise M. Hardwick a, *, K.C. Morris b, D.L.
More informationChapter 6. CORBA-based Architecture. 6.1 Introduction to CORBA 6.2 CORBA-IDL 6.3 Designing CORBA Systems 6.4 Implementing CORBA Applications
Chapter 6. CORBA-based Architecture 6.1 Introduction to CORBA 6.2 CORBA-IDL 6.3 Designing CORBA Systems 6.4 Implementing CORBA Applications 1 Chapter 6. CORBA-based Architecture Part 6.1 Introduction to
More informationConflict Analysis for Management Policies
To appear in: Proceedings of the Vth International Symposium on Integrated Network Management IM 97 (formerly knonw as ISINM), San-Diego (U.S.A.), Chapman&Hall, May 1997. Conflict Analysis for Management
More informationA Methodology for the Development of New Telecommunications Services
A Methodology for the Development of New Telecommunications Services DIONISIS X. ADAMOPOULOS Centre for Communication Systems Research School of Elec. Eng., IT and Mathematics University of Surrey Guildford
More informationComponent Based Software Engineering: A Broad Based Model is Needed
Component Based Software Engineering: A Broad Based Model is Needed Allen Parrish (parrish@cs.ua.edu) Brandon Dixon (dixon@cs.ua.edu) David Hale (dhale@alston.cba.ua.edu) Department of Computer Science
More informationArchitecture of the CORBA Component Model CORBA 3.0
Architecture of the CORBA Component Model CORBA 3.0 What is CORBA CORBA (Common Request Broker Architecture) is a distributed object-oriented client server platform. It provides: An object oriented remote
More informationFormal Engineering for Industrial Software Development
Shaoying Liu Formal Engineering for Industrial Software Development Using the SOFL Method With 90 Figures and 30 Tables Springer Contents Introduction 1 1.1 Software Life Cycle... 2 1.2 The Problem 4 1.3
More informationII. PREVIOUS RELATED WORK
An extended rule framework for web forms: adding to metadata with custom rules to control appearance Atia M. Albhbah and Mick J. Ridley Abstract This paper proposes the use of rules that involve code to
More informationSemantic Search in Portals using Ontologies
Semantic Search in Portals using Ontologies Wallace Anacleto Pinheiro Ana Maria de C. Moura Military Institute of Engineering - IME/RJ Department of Computer Engineering - Rio de Janeiro - Brazil [awallace,anamoura]@de9.ime.eb.br
More informationMIDDLEWARE 1. Figure 1: Middleware Layer in Context
MIDDLEWARE 1 David E. Bakken 2 Washington State University Middleware is a class of software technologies designed to help manage the complexity and heterogeneity inherent in distributed systems. It is
More informationTelecommunications Management Network (TMN)
Telecommunications Management Network (TMN) Definition The telecommunications management network (TMN) provides a framework for achieving interconnectivity and communication across heterogeneous operating
More informationINTERNATIONAL TELECOMMUNICATION UNION
INTERNATIONAL TELECOMMUNICATION UNION ITU-T X.680 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (07/2002) SERIES X: DATA NETWORKS AND OPEN SYSTEM COMMUNICATIONS OSI networking and system aspects Abstract
More informationRequirements Ontology and Multi representation Strategy for Database Schema Evolution 1
Requirements Ontology and Multi representation Strategy for Database Schema Evolution 1 Hassina Bounif, Stefano Spaccapietra, Rachel Pottinger Database Laboratory, EPFL, School of Computer and Communication
More informationComp 411 Principles of Programming Languages Lecture 34 Semantics of OO Languages. Corky Cartwright Swarat Chaudhuri November 30, 20111
Comp 411 Principles of Programming Languages Lecture 34 Semantics of OO Languages Corky Cartwright Swarat Chaudhuri November 30, 20111 Overview I In OO languages, data values (except for designated non-oo
More informationAutomated Test Approach for Web Based Software
Automated Test Approach for Web Based Software Indrajit Pan 1, Subhamita Mukherjee 2 1 Dept. of Information Technology, RCCIIT, Kolkata 700 015, W.B., India 2 Dept. of Information Technology, Techno India,
More informationSysML Modelling Language explained
Date: 7 th October 2010 Author: Guillaume FINANCE, Objet Direct Analyst & Consultant UML, the standard modelling language used in the field of software engineering, has been tailored to define a modelling
More informationOntology for Home Energy Management Domain
Ontology for Home Energy Management Domain Nazaraf Shah 1,, Kuo-Ming Chao 1, 1 Faculty of Engineering and Computing Coventry University, Coventry, UK {nazaraf.shah, k.chao}@coventry.ac.uk Abstract. This
More informationGenerating Aspect Code from UML Models
Generating Aspect Code from UML Models Iris Groher Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich, Germany Iris.Groher@fh-hagenberg.at Stefan Schulze Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich,
More informationAdministration of Access Control in Information Systems Using URBAC Model
JOURNAL OF APPLIED COMPUTER SCIENCE Vol. 19 No. 2 (2011), pp. 89-109 Administration of Access Control in Information Systems Using URBAC Model Aneta Poniszewska-Marańda Institute of Information Technology
More informationChapter 7 Application Protocol Reference Architecture
Application Protocol Reference Architecture Chapter 7 Application Protocol Reference Architecture This chapter proposes an alternative reference architecture for application protocols. The proposed reference
More informationSecurity Issues for the Semantic Web
Security Issues for the Semantic Web Dr. Bhavani Thuraisingham Program Director Data and Applications Security The National Science Foundation Arlington, VA On leave from The MITRE Corporation Bedford,
More informationISSA Guidelines on Master Data Management in Social Security
ISSA GUIDELINES ON INFORMATION AND COMMUNICATION TECHNOLOGY ISSA Guidelines on Master Data Management in Social Security Dr af t ve rsi on v1 Draft version v1 The ISSA Guidelines for Social Security Administration
More informationHow To Protect With Hidden Capabilities In A Protected System (Permanent Powerpoint)
Hidden Software Capabilities D. Hagimont, J. Mossière. X. Rousset de Pina, F. Saunier Laboratoire IMAG-LSR, 2 av. de Vignate, 38610 Gières - France Internet: Daniel.Hagimont@imag.fr Abstract: Software
More informationSystems Integration: Co C mp m onent- t bas a e s d s o s ftw ft a w r a e r e ngin i eeri r n i g
Systems Integration: Component-based software engineering Objectives To explain that CBSE is concerned with developing standardised components and composing these into applications To describe components
More informationProcess Technology Implications of Procurement Processes: Some Initial Observations
Process Technology Implications of Procurement Processes: Some Initial Observations Ernst Ellmer, Wolfgang Emmerich and Anthony Finkelstein Dept. of Computer Science, University College London Gower Street,
More informationCxBANKING SOFTWARE ATM CLIENT APPLICATIONS
CxBANKING SOFTWARE ATM CLIENT APPLICATIONS Assurance in a multi-vendor world An NCR brochure 7 reasons why NCR s ATM client applications exceed your consumers expectations 1 Flexibility 5 CRM and e-commerce
More informationA Multidatabase System as 4-Tiered Client-Server Distributed Heterogeneous Database System
A Multidatabase System as 4-Tiered Client-Server Distributed Heterogeneous Database System Mohammad Ghulam Ali Academic Post Graduate Studies and Research Indian Institute of Technology, Kharagpur Kharagpur,
More informationTool Support for Software Variability Management and Product Derivation in Software Product Lines
Tool Support for Software Variability Management and Product Derivation in Software s Hassan Gomaa 1, Michael E. Shin 2 1 Dept. of Information and Software Engineering, George Mason University, Fairfax,
More informationISO 18308 INTERNATIONAL STANDARD. Health informatics Requirements for an electronic health record architecture
INTERNATIONAL STANDARD ISO 18308 First edition 2011-04-15 Health informatics Requirements for an electronic health record architecture Informatique de santé Exigences relatives à une architecture de l'enregistrement
More informationInformation integration platform for CIMS. Chan, FTS; Zhang, J; Lau, HCW; Ning, A
Title Information integration platform for CIMS Author(s) Chan, FTS; Zhang, J; Lau, HCW; Ning, A Citation IEEE International Conference on Management of Innovation and Technology Proceedings, Singapore,
More informationGetting Started with Service- Oriented Architecture (SOA) Terminology
Getting Started with - Oriented Architecture (SOA) Terminology Grace Lewis September 2010 -Oriented Architecture (SOA) is a way of designing, developing, deploying, and managing systems it is neither a
More informationISO 19119 and OGC Service Architecture
George PERCIVALL, USA Keywords: Geographic Information, Standards, Architecture, Services. ABSTRACT ISO 19119, "Geographic Information - Services," has been developed jointly with the Services Architecture
More informationOpen Cloud Computing Interface - Service Level Agreements
1 2 3 4 Draft OCCI-WG Gregory Katsaros, Intel April 13, 2015 5 Open Cloud Computing Interface - Service Level Agreements 6 7 8 9 10 11 12 13 14 15 16 17 Status of this Document This document is a draft
More informationCommunication Networks. MAP-TELE 2011/12 José Ruela
Communication Networks MAP-TELE 2011/12 José Ruela Network basic mechanisms Network Architectures Protocol Layering Network architecture concept A network architecture is an abstract model used to describe
More informationINTERNATIONAL STANDARD
INTERNATIONAL STANDARD ISO/IEC 14662 First edition Information Technologies - Open-edi reference model Technologie de l'information - Modèle de référence EDI-ouvert Reference number Page 2 Contents Foreword...
More informationPatterns in Software Engineering
Patterns in Software Engineering Lecturer: Raman Ramsin Lecture 7 GoV Patterns Architectural Part 1 1 GoV Patterns for Software Architecture According to Buschmann et al.: A pattern for software architecture
More informationOn the Relation between Design Contracts and Errors: A Software Development Strategy
On the Relation between Design Contracts and Errors: A Software Development Strategy Eivind J. Nordby, Martin Blom, Anna Brunstrom Computer Science, Karlstad University SE-651 88 Karlstad, Sweden {Eivind.Nordby,
More informationApplying a Generic Conceptual Workflow Modeling Technique to Document Workflows *
Applying a Generic Conceptual Workflow Modeling Technique to Document Workflows * Wasim Sadiq Maria E. Orlowska CRC for Distributed Systems Technology School of Information Technology The University of
More informationKnowledge Network: An Information Repository with Services for Managing Concurrent Engineering Design
Knowledge Network: An Information Repository with Services for Managing Concurrent Engineering Design Jinxin Lin, Mark S. Fox, Lokesh Gupta, and William Leizerowicz Enterprise Integration Laboratory, Dept.
More informationDATA QUALITY AND SCALE IN CONTEXT OF EUROPEAN SPATIAL DATA HARMONISATION
DATA QUALITY AND SCALE IN CONTEXT OF EUROPEAN SPATIAL DATA HARMONISATION Katalin Tóth, Vanda Nunes de Lima European Commission Joint Research Centre, Ispra, Italy ABSTRACT The proposal for the INSPIRE
More informationBuilding Applications with Protégé: An Overview. Protégé Conference July 23, 2006
Building Applications with Protégé: An Overview Protégé Conference July 23, 2006 Outline Protégé and Databases Protégé Application Designs API Application Designs Web Application Designs Higher Level Access
More informationApplication of ontologies for the integration of network monitoring platforms
Application of ontologies for the integration of network monitoring platforms Jorge E. López de Vergara, Javier Aracil, Jesús Martínez, Alfredo Salvador, José Alberto Hernández Networking Research Group,
More informationAbstract. Governance TRADERS CITIZENS
Abstract Towards Regulating Electronic Communities with s Michal Morciniec, Mathias Salle, Brian Monahan Trusted E-Service Laboratory, Hewlett-Packard Laboratories Bristol We present work-in-progress towards
More informationM2M Communications and Internet of Things for Smart Cities. Soumya Kanti Datta Mobile Communications Dept. Email: Soumya-Kanti.Datta@eurecom.
M2M Communications and Internet of Things for Smart Cities Soumya Kanti Datta Mobile Communications Dept. Email: Soumya-Kanti.Datta@eurecom.fr WHAT IS EURECOM A graduate school & research centre in communication
More informationOMG/CORBA: An Object-Oriented Middleware
OMG/CORBA: An Object-Oriented Middleware Wolfgang Emmerich Dept. of Computer Science University College London London WC1E 6BT, UK w.emmerich@cs.ucl.ac.uk Abstract An increasing number of systems have
More informationA Reusability Concept for Process Automation Software
A Reusability Concept for Process Automation Software Wolfgang Narzt, Josef Pichler, Klaus Pirklbauer, Martin Zwinz Business Information Systems C. Doppler Laboratory for Software Engineering University
More informationInverted files and dynamic signature files for optimisation of Web directories
s and dynamic signature files for optimisation of Web directories Fidel Cacheda, Angel Viña Department of Information and Communication Technologies Facultad de Informática, University of A Coruña Campus
More informationDatabase Application Developer Tools Using Static Analysis and Dynamic Profiling
Database Application Developer Tools Using Static Analysis and Dynamic Profiling Surajit Chaudhuri, Vivek Narasayya, Manoj Syamala Microsoft Research {surajitc,viveknar,manojsy}@microsoft.com Abstract
More informationObligation Policies and Policy - A Theory of Communication
Journal of Network and Systems Management, Plenum Press, Vol. 2, No. 4, 1994, pp. 333-360 POLICY DRIVEN MANAGEMENT FOR DISTRIBUTED SYSTEMS Morris Sloman Imperial College Department of Computing 180 Queen's
More informationA Rule-Oriented Concurrent Architecture to Effect Adaptiveness for Integrated Manufacturing Enterprises
A Rule-Oriented Concurrent Architecture to Effect Adaptiveness for Integrated Manufacturing Enterprises Cheng Hsu and Gilbert Babin Decision Sciences and Engineering Systems, Rensselaer Polytechnic Institute,
More informationTechNote 0006: Digital Signatures in PDF/A-1
TechNote 0006: Digital Signatures in PDF/A-1 Digital signatures are primarily used to check the integrity of the signed part of the document. They also can be used to authenticate the signer s identity
More informationImplementing reusable software components for SNOMED CT diagram and expression concept representations
1028 e-health For Continuity of Care C. Lovis et al. (Eds.) 2014 European Federation for Medical Informatics and IOS Press. This article is published online with Open Access by IOS Press and distributed
More informationData Modeling Basics
Information Technology Standard Commonwealth of Pennsylvania Governor's Office of Administration/Office for Information Technology STD Number: STD-INF003B STD Title: Data Modeling Basics Issued by: Deputy
More informationStandard for Object Databases
The ODMG Standard for Object Databases Francois Bancilhon and Guy Ferran OaTechnology 2685 Marine Way-Suite 1220 Mountain View, California 94043 Research on object databases started at the beginning of
More informationCHAPTER 2 MODELLING FOR DISTRIBUTED NETWORK SYSTEMS: THE CLIENT- SERVER MODEL
CHAPTER 2 MODELLING FOR DISTRIBUTED NETWORK SYSTEMS: THE CLIENT- SERVER MODEL This chapter is to introduce the client-server model and its role in the development of distributed network systems. The chapter
More informationBiometrics, Tokens, & Public Key Certificates
Biometrics, Tokens, & Public Key Certificates The Merging of Technologies TOKENEER Workstations WS CA WS WS Certificate Authority (CA) L. Reinert S. Luther Information Systems Security Organization Biometrics,
More informationBusiness Object Facilities. A Comparative Analysis æ
Business Object Facilities A Comparative Analysis æ Wolfgang Emmerich, Ernst Ellmer Dept. of Computer Science University College London London WC1E 6BT, UK fw.emmerich j e.ellmerg@cs.ucl.ac.uk Birgit Osterholt,
More informationA Model Based on Semantic Nets to Support Evolutionary and Adaptive Hypermedia Systems
A Model Based on Semantic Nets to Support Evolutionary and Adaptive Hypermedia Systems Natalia Padilla Zea 1, Nuria Medina Medina 1, Marcelino J. Cabrera Cuevas 1, Fernando Molina Ortiz 1, Lina García
More informationOWL based XML Data Integration
OWL based XML Data Integration Manjula Shenoy K Manipal University CSE MIT Manipal, India K.C.Shet, PhD. N.I.T.K. CSE, Suratkal Karnataka, India U. Dinesh Acharya, PhD. ManipalUniversity CSE MIT, Manipal,
More informationebxml Glossary Technical Architecture Team Version 0.99
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 ebxml Glossary Technical Architecture Team Version 0.99 28 29 30 31 32 33 34 35 1 Status of this Document This document specifies
More informationInterface Definition Language
Interface Definition Language A. David McKinnon Washington State University An Interface Definition Language (IDL) is a language that is used to define the interface between a client and server process
More informationThesaurus-Based Software Environments
Thesaurus-Based Software Environments Dag I.K. Sjøberg, Department of Informatics, University of Oslo, N-0316 Oslo, Norway. dagsj@ifi.uio.no Malcolm P. Atkinson and Ray Welland, Computing Science Department,
More informationTECHNIQUES FOR DATA REPLICATION ON DISTRIBUTED DATABASES
Constantin Brâncuşi University of Târgu Jiu ENGINEERING FACULTY SCIENTIFIC CONFERENCE 13 th edition with international participation November 07-08, 2008 Târgu Jiu TECHNIQUES FOR DATA REPLICATION ON DISTRIBUTED
More informationA SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT
A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT Cléver Ricardo Guareis de Farias, Marten van Sinderen and Luís Ferreira Pires Centre for Telematics and Information Technology (CTIT) PO Box
More information