|From:||William Frank <williamf.frank@xxxxxxxxx>|
|Date:||Tue, 18 Feb 2014 10:15:07 -0500|
I agree with all you say below, John, but add that an equally important feature integrated into a cosistent set of of UML models, along with the 4 you list, are state - transition models, the backbone, in my opinion, for precise behavior specifications. Myself, I find UML diagrams, with my OWN simple simple common logic semantics, the most effective way to ensure a system consistency, because of all these integrated models.
Yes,this is what we (Joauquin Miller, Kevin Tyson, and I) proposed for UML 2, in Clear, Clean, Concise (3C) UML
UML based on a many-sorted higher order predicate calculus with Henkin semantics, and a simple upper ontology represented by the sorts -
Communications of the ACM, Nov 2002, volume 45, no. 11 pages 79 - 81.
This was never going to happen, at that point. The agenda was set by Oracle and IBM, with no regard for the benefits to the long term future of systems engineering. Also, I misunderstood people so much that instead of referencing the science, I simply explained the BENEFITS, and showed how simple it was to use this language, so I now suspect they thought this was some new off-the-wall approach invented by us three.
"The Clear, Clean, Concise (3C) UML2 proposal makes the language
easier to understand and enables it to describe a broader
range of systems, from Web agents and services to entire business
On Tue, Feb 18, 2014 at 9:11 AM, John F Sowa <sowa@xxxxxxxxxxx> wrote:
John M, Henson, et al.,
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Good ontologies without good tools are useless, Gary Berg-Cross|
|Next by Date:||Re: [ontolog-forum] What the difference re., Data Dictionary, Ontology, and Vocabulary?, Kingsley Idehen|
|Previous by Thread:||Re: [ontolog-forum] Good ontologies without good tools are useless, Gary Berg-Cross|
|Next by Thread:||Re: [ontolog-forum] Good ontologies without good tools are useless, henson|
|Indexes:||[Date] [Thread] [Top] [All Lists]|