Bug 10396 - SPIN is in the wrong category
Summary: SPIN is in the wrong category
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: sada
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 1999-03-05 08:30 UTC by dcs
Modified: 2002-06-11 20:35 UTC (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description dcs 1999-03-05 08:30:00 UTC
SPIN is presently in the MATH category. It was submitted as
a LANG category port, so I don't know why it ended in MATH.

Fix: 

First, SPIN's short description ought to mention it processes a
model written in PROMELA. I suggest the following:
An on-the-fly verification system for asynchronous concurrent systems based on PROMELA

Otherwise, searches for the PROMELA language will fail.

Second, while it's presence in LANG might be questioned, PROMELA
is a language, and SPIN does "simulate" a run in promela
(basically, interprets a PROMELA program -- but since PROMELA is
non-deterministic, it is called "simulation")... I think it 
rather belongs in DEVEL, though, as it's main use is validation.

The point here is that while SPIN is used to validate "models",
they are rather *programming* models, not abstract math models.
By the same token, one could put all compilers in MATH, since
they are all based on formal languages...

At the very least, I'd expect adding a virtual category to it.
How-To-Repeat: find /usr/ports -name spin -print
Comment 1 Steve Price freebsd_committer freebsd_triage 1999-05-03 02:28:14 UTC
Responsible Changed
From-To: freebsd-ports->asami

I'll be glad to do the dirty work, but I'll let Mr. Asami decide 
which category is correct and do a repository copy if necessary. 
Comment 2 Steve Price freebsd_committer freebsd_triage 1999-12-29 21:00:54 UTC
State Changed
From-To: open->feedback

Saotshi should I move this port or is it already in the right place? 
Comment 3 sada freebsd_committer freebsd_triage 2002-05-23 10:00:32 UTC
Responsible Changed
From-To: asami->sada

I'll handle this. 
Approved by:	asmodai
Comment 4 sada freebsd_committer freebsd_triage 2002-06-11 20:35:12 UTC
State Changed
From-To: feedback->closed

Committed, thanks!