ontolog-forum
[Top] [All Lists]

[ontolog-forum] Giving SysML a formal semantics

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Sun, 06 Oct 2013 08:38:00 -0400
Message-id: <525159A8.8030807@xxxxxxxxxxx>
There was some discussion about SysML on another forum, and
Peter Yim suggested that it be moved to Ontolog Forum.    (01)

My note below summarizes the original messages by Christoph Lange
and Leo Obrst.    (02)

John
-------- Original Message --------
Subject: Re: [ontoiop-wg] Possibly related work on giving SysML a formal 
semantics
From: John F Sowa    (03)

CL
> Graves, H., Bijan, Y., Using formal methods with SysML in aerospace
> design and engineering, Annals of Mathematics and Artificial Intelligence,
> Springer 2011
>
> 
>http://www.omgwiki.org/MBSE/lib/exe/fetch.php?media=mbse:10.1007_s10472-011-9267-5.pdf
>
> They conclude with the sentence that …
>
>> A formal semantics along the lines of ABD logic should be part of the formal
>> specification of SysML.    (04)

Leo
> Henson Graves has been a recent contributor to various Ontology Summits,
> and is currently involved in the Ontolog mini-series on Ontology, Rules,
> Logic Programming for Reasoning and Applications.
>
> So we could ask Henson about its status.    (05)

The question I would ask: "Why ABD logic instead of Common Logic?"    (06)

Following is a specification of SysML that uses fUML, which is
specified in terms of Common Logic:    (07)

    xUML-SysML-Project-Report.PDF
    Executable UML/SysML Semantics Project Report (Final), November 2008    (08)

This report is the first hit on Google when you type:  xuml sysml fuml    (09)

John    (010)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (011)

<Prev in Thread] Current Thread [Next in Thread>