[Top] [All Lists]

[ontolog-forum] OACES (Organized ACE Specifications)

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Thu, 30 Oct 2014 08:24:22 -0400
Message-id: <54522DF6.9070100@xxxxxxxxxxx>
Following is an article about using ACE for organizing and
managing readable specifications that can be unambiguously
translated to first-order logic:    (01)

http://homepages.abdn.ac.uk/w.w.vasconcelos/pages//publications/specifications_in_the_large.pdf    (02)

Excerpts below.    (03)

_______________________________________________________________    (04)

One advantage of ACE as a specification language is that it is not
required that its users learn a formal notation for communication
and get fluent in it before they can actually start using it.
Software practitioners can write specifications in a familiar
format, their only major concern being the linguistic limitations
of ACE's adopted subset of English...    (05)

We are currently developing an environment for writing specifications
in ACE.  To tackle issues inherent in large bodies of textual
information aimed at humans, we employ automatic and manual means
with which ACE specifications can be organised and presented for
management and reuse. Our environment, called OACES (Organised
Attempto Controlled English Specifications) can be seen as
a tool to prepare and manage a library of specifications in ACE...    (06)

Currently, our OACES tool can only be run locally, that is, the source
Prolog code must be provided for each of its users. We have however
started to develop an interface so as to allow remote users to
experiment with OACES via the World-Wide-Web.    (07)

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    (08)

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