8,145 research outputs found

    Precise service level agreements

    Get PDF
    SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes that the service is required to possess. We define the semantics of SLAng precisely by modelling the syntax of the language in UML, then embedding the language model in an environmental model that describes the structure and behaviour of services. The presence of SLAng elements imposes behavioural constraints on service elements, and the precise definition of these constraints using OCL constitutes the semantic description of the language. We use the semantics to define a notion of SLA compatibility, and an extension to UML that enables the modelling of service situations as a precursor to analysis, implementation and provisioning activities

    Analysing imperfect temporal information in GIS using the Triangular Model

    Get PDF
    Rough set and fuzzy set are two frequently used approaches for modelling and reasoning about imperfect time intervals. In this paper, we focus on imperfect time intervals that can be modelled by rough sets and use an innovative graphic model [i.e. the triangular model (TM)] to represent this kind of imperfect time intervals. This work shows that TM is potentially advantageous in visualizing and querying imperfect time intervals, and its analytical power can be better exploited when it is implemented in a computer application with graphical user interfaces and interactive functions. Moreover, a probabilistic framework is proposed to handle the uncertainty issues in temporal queries. We use a case study to illustrate how the unique insights gained by TM can assist a geographical information system for exploratory spatio-temporal analysis

    Toward an Ontology of Commercial Exchange

    Get PDF
    In this paper we propose an Ontology of Commercial Exchange (OCE) based on Basic Formal Ontology. OCE is designed for re-use in the Industrial Ontologies Foundry (IOF) and in other ontologies addressing different aspects of human social behavior involving purchasing, selling, marketing, and so forth. We first evaluate some of the design patterns used in the Financial Industry Business Ontology (FIBO) and Product Types Ontology (PTO). We then propose terms and definitions that we believe will improve the representation of contractual obligations, sales processes, and their associated documents. A commercial exchange, for instance, involves mutual agreement to reciprocate actions, such as transferring money, performing a service, or transferring goods
    • …
    corecore