xlinkit

Nentwich, Christian; Capra, Licia; Emmerich, Wolfgang; Finkelsteiin, Anthony

doi:10.1145/514183.514186

Cited by 213 publications

(126 citation statements)

References 22 publications

Supporting

Mentioning

121

Contrasting

Unclassified

Order By: Relevance

“…In [24,25], we have described xlinkit, a consistency checker that can be used to validate the static consistency of software engineering documents represented in XML. That research is largely complementary to the techniques for establishing behavioural consistency that we have presented in this paper.…”

Section: Discussionmentioning

confidence: 99%

Validating Distributed Object and Component Designs

Kaveh

Emmerich

2003

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Distributed systems are increasingly built using distributed object or component middleware. The dynamic behaviour of those distributed systems is influenced by the particular combination of middleware synchronisation and threading primitives used for communication amongst distributed objects. A designer may accidentally choose combinations that cause a distributed application to enter undesirable states or violate liveness properties. We exploit the fact that modern object and component middleware offer only a small number of underlying synchronisation primitives and threading policies. For each of these we define a UML stereotype and a formal process algebra specification of the stereotype semantics. We devise a means to specify safety and liveness properties in UML and again map those to process algebra safety and liveness properties. We can thus apply model checking techniques to verify that a given design does indeed meet the desired properties. We propose how to reduce the state space that needs to be model checked by exploiting middleware characteristics. We finally show how model checking results can be related back to the input UML models. In this way we can hide the formalism and the model checking process entirely from UML designers, which we regard as critical for the industrial exploitation of this research.

show abstract

Section: Discussionmentioning

confidence: 99%

Validating Distributed Object and Component Designs

Kaveh

Emmerich

2003

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Besides DTDs [6] and XML Schema [22,5], the best known schema languages include RELAX [16], TREX [8], RELAX NG [9], Schematron [12], DSD [13] and xlinkit [17].…”

Section: Schema Languages For Xmlmentioning

confidence: 99%

“…xlinkit [17] is more than a schema language: it is an application service that provides rule-based link generation and checks the consistency of distributed web content.…”

Section: Xlinkitmentioning

confidence: 99%

“…The number of schema languages created to overcome the limitations of DTDs is vast; in [2], a fairly authoritative source, 15 different schema languages for XML are listed besides DTDs, and at least one more, xlinkit [17], is missing. One of these languages, XML Schema [22,5] is directly backed by the World Wide Web Consortium, and is being toted as the only and official schema language for XML documents, the natural substitution for DTDs.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Schemapath, a minimal extension to xml schema for conditional constraints

Coen

Marinelli

Vitali

2004

Proceedings of the 13th International Conference on World Wide Web

View full text Add to dashboard Cite

In the past few years, a number of constraint languages for XML documents has been proposed. They are cumulatively called schema languages or validation languages and they comprise, among others, DTD, XML Schema, RELAX NG, Schematron, DSD, xlinkit.One major point of discrimination among schema languages is the support of co-constraints, or co-occurrence constraints, e.g., requiring that attribute A is present if and only if attribute B is (or is not) present in the same element. Although there is no way in XML Schema to express these requirements, they are in fact frequently used in many XML document types, usually only expressed in plain human-readable text, and validated by means of special code modules by the relevant applications.In this paper we propose SchemaPath, a light extension of XML Schema to handle conditional constraints on XML documents. Two new constructs have been added to XML Schema: conditions -based on XPath patterns -on type assignments for elements and attributes; and a new simple type, xsd:error, for the direct expression of negative constraints (e.g. it is prohibited for attribute A to be present if attribute B is also present).A proof-of-concept implementation is provided. A Web interface is publicly accessible for experiments and assessments of the real expressiveness of the proposed extension.

show abstract

“…While this imposes restrictions on the expressible types of recursion, IFP embraces a family of widespread use cases of recursion in XQuery, including many forms of horizontal or vertical structural recursion and the pervasive transitive closure problem (IFP captures Regular XPath [25], in particular). [22]) describes recursive curriculum data, including courses, their lists of prerequisite courses, the prerequisites of the latter, and so on. The XQuery program of Figure 2 uses the course element node with code "c1" to seed a computation that recursively finds all prerequisite courses, direct or indirect, of course "c1".…”

Section: Introductionmentioning

confidence: 99%