De viktigaste bidragen i detta dokument är anpassningen av en enkel första ordningen logik för att uttrycka konsekvens relationer av element i XML-dokument, den formella specifikationen av en semantik som möjliggör generering av hyperlänkar mellan inkonsekventa element, och en lättviktig arkitektur för att leverera detta som en tjänst via webben. Vi visar särskilt hur vi använde vårt språk för att uttrycka begränsningarna i UML FoundatiodCore-paketet och skriva regler som relaterar UML-dokument till Z-specifikationer. Vi presenterar en utvärdering av resultatet av vårt genomförande mot flera industriella storleksmodeller. xlinkit kan användas vid h t t p : // www.xlinkit.corn. Mainstream programvara teknik använder sig av informella till semi-formella notationer för systemspecifikationer, mest framträdande UML. Med system som växer i komplexitet och snäva begränsningar av resurser och expertis blir distribuerad utveckling ofta en nödvändighet. Syftet med detta arbete är att stödja distribuerade programvaruingenjörer att hantera enhetligheten i deras specifikationer. I motsats till tidigare arbete med begränsningskontroll använder vi oss av en tolerant inställning till inkonsekvens genom att flytta fokus från att förebygga till att upptäcka och identifiera inkonsekventa relationer. Vi presenterar en formell grund för att kontrollera konsekvensen och koppla samman de delar av distribuerade, heterogena data i XML. Vi visar hur detta kan tillämpas på semiformellt programvarutekniskt innehåll, framför allt UML. Vi beskriver en tjänst, xlinkit, som har utvecklats för att stödja det extensible Markup Language (XML) [3] har vunnit acceptans i affärs- och programvaruutvecklingsvärlden som en öppen standard och som en mekanism för att överbrygga data heterogenitetsproblem. XML har förenklat skapandet av domänspecifika markeringsspråk. Programvaruteknik är ett självklart tillämpningsområde där många språk har utvecklats. Viktigast för exemplen i detta dokument, XML Metadata Interchange (XMI) [24] standard stöder lagring av MOF [22]-kompatibla modeller i XML-format, särskilt det innehåller en DTD för UML som ett exempel program. XML åtföljs av en uppsättning kraftfulla tekniker, som vi kort kommer att granska. m a t h [6] stöder valet av elementuppsättningar från XML-dokument genom att standardisera ett språk för stigar i träd. Detta anslag är avsett att täcka utgifter för tjänstemän och tillfälligt anställda som arbetar inom politikområdet rättsliga och inrikes frågor i enlighet med bestämmelserna i Europaparlamentets och rådets förordning (EU, Euratom) nr 966/2012 av den 25 oktober 2012 om finansiella regler för unionens allmänna budget och om upphävande av rådets förordning (EG, Euratom) nr 1605/2002 (EUT L 298, 26.10.2012, s.
Xlinkit language REF är ett XML-baserat språk för att ange regler för överensstämmelse mellan XML-dokument med hjälp av en begränsad uppsättning första ordningens logik och XPath-uttryck.
Static consistency checking for distributed specifications
{'venue': 'Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)', 'journal': 'Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)', 'mag_field_of_study': ['Computer Science']}