Service Modeling Language - Fast Formal Facts About SML

Fast Formal Facts About SML

The Service Modeling Language (SML) is a language for building a rich set of constructs for creating and constraining models of complex IT services and systems. SML-based models could include information about configuration, deployment, monitoring, policy, health, capacity planning, target operating range, service level agreements, and so on.

An SML model is a set of interrelated XML documents. An SML model could contain information about the parts of an IT service, as well as the constraints that each part must satisfy for the IT service to function properly. Constraints are captured in two ways:

XML Schema documents
constrain the structure and content of the XML instance documents in a model. SML uses XML Schema 1.0, but allows later versions as well. SML also defines a set of extensions to XML Schema to constrain references, and identity constraints (key, unique, ...) that apply to sets of documents.
Rule documents
constrain the structure and content of documents in a model. SML uses Schematron and XPath 1.0 for rules, but allows later versions as well.

Once a model is defined, one of the important operations on the model is to establish its validity. This involves checking whether all model documents satisfy the XML Schema and rule document constraints.

Read more about this topic:  Service Modeling Language

Famous quotes containing the words fast, formal and/or facts:

    “Across the lonely beach we flit,
    One little sandpiper and I;
    And fast I gather, bit by bit,
    The scattered driftwood, bleached and dry.
    The wild waves reach their hands for it,
    The wild wind raves, the tide runs high,
    As up and down the beach we flit—
    One little sandpiper and I.”
    —Celia Thaxter (”Laighton”)

    “It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
    —Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)

    “Still, it will sometimes strike a scientific man that the philosophers have been less intent on finding out what the facts are, than on inquiring what belief is most in harmony with their system.”
    —Charles Sanders Peirce (1839–1914)