Abstrakt. Mångfalden av olika formella specifikationer och behovet av effektiva kombinationer kräver en extensibel och integrerad stödjande miljö. Webben tillhandahåller infrastruktur för en sådan miljö för formell specifikation och design eftersom den möjliggör delning av olika designmodeller och ger hypertextlänkar mellan modellerna. Nyligen föreslog Semantic Web Activity idén om att ha data på webben definieras och länkas på ett sätt som det kan användas för automation, förlängning och integration. Framgången med Semantic Web kan ha stor inverkan på webbmiljön för formella specifikationer, särskilt för att utvidga och integrera olika formalismer. Detta dokument visar hur RDF och DAML kan användas för att bygga en semantisk webbmiljö för att stödja, utvidga och integrera olika formella specifikationsspråk. Dessutom illustrerar dokumentet hur RDF:s frågetekniker kan underlätta specifikationsförståelse.
Från en helt annan riktning, dvs. att tillämpa SW för att bygga programvara modellering miljö, har vi nyligen undersökt hur RDF och DAML+OIL kan användas för att konstruera en semantisk webbmiljö för att stödja, utvidga och integrera olika specifikationer språk REF.
Semantic Web for Extending and Linking Formalisms
{'venue': 'ICFEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}