Initial import of ltsa (Labelled Transition System Analyser), version 2.2:

A model is a simplified representation of the real world.  Engineers
use models to gain confidence in the adequacy and validity of a proposed
design.

Models are described using state machines, known as Labelled Transition
Systems (LTS).  These are described textually as Finite State Processes
(FSP) and displayed and analysed by the LTSA analysis tool.

This package provides the LTSA utility exposed above.  It is specially
useful to be used together with the 'Concurrency: State Models & Java
Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.

4 files changed, 242 insertions, 0 deletions

diff --git a/devel/ltsa/DESCR b/devel/ltsa/DESCR
new file mode 100644
index 00000000000..9e8b8c9387b
--- /dev/null
+++ b/devel/ltsa/DESCR
@@ -0,0 +1,11 @@
+A model is a simplified representation of the real world.  Engineers
+use models to gain confidence in the adequacy and validity of a proposed
+design.
+
+Models are described using state machines, known as Labelled Transition
+Systems (LTS).  These are described textually as Finite State Processes
+(FSP) and displayed and analysed by the LTSA analysis tool.
+
+This package provides the LTSA utility exposed above.  It is specially
+useful to be used together with the 'Concurrency: State Models & Java
+Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.
diff --git a/devel/ltsa/Makefile b/devel/ltsa/Makefile
new file mode 100644
index 00000000000..c5167a62674
--- /dev/null
+++ b/devel/ltsa/Makefile
@@ -0,0 +1,38 @@
+# $NetBSD: Makefile,v 1.1.1.1 2004/02/29 22:21:19 jmmv Exp $
+#
+
+DISTNAME=	ltsa2.2
+PKGNAME=	${DISTNAME:S/ltsa/ltsa-/}
+CATEGORIES=	devel
+MASTER_SITES=	http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/
+EXTRACT_SUFX=	.zip
+
+MAINTAINER=	jmmv@NetBSD.org
+HOMEPAGE=	http://www.doc.ic.ac.uk/~jnm/book/ltsa-v2/
+COMMENT=	Labelled Transition System Analyser
+
+NO_BUILDLINK=		YES
+NO_CONFIGURE=		YES
+USE_JAVA2=		YES
+
+INSTALLATION_DIRS=	bin
+
+do-build:
+	@${ECHO} "Generating ltsa.sh script..."
+	@${ECHO} '#!${SH}' >${WRKSRC}/ltsa.sh
+	@${ECHO} '${ULIMIT_CMD_datasize}' >>${WRKSRC}/ltsa.sh
+	@${ECHO} '${PKG_JAVA_HOME}/bin/java -jar ${PREFIX}/lib/ltsa/ltsa.jar' \
+		'$$*' >>${WRKSRC}/ltsa.sh
+
+do-install:
+	${INSTALL_SCRIPT} ${WRKSRC}/ltsa.sh ${PREFIX}/bin/ltsa
+	${INSTALL_DATA_DIR} ${PREFIX}/lib/ltsa
+	cd ${WRKSRC}/lib && ${PAX} -rwpppm . ${PREFIX}/lib/ltsa
+	${INSTALL_DATA_DIR} ${PREFIX}/share/doc/ltsa
+	${INSTALL_DATA} ${WRKSRC}/fspv2.pdf ${PREFIX}/share/doc/ltsa
+	${INSTALL_DATA} ${WRKSRC}/readme.txt ${PREFIX}/share/doc/ltsa
+	${INSTALL_DATA_DIR} ${PREFIX}/share/examples/ltsa
+	cd ${WRKSRC}/examples && ${PAX} -rwpppm . ${PREFIX}/share/examples/ltsa
+
+.include "../../mk/java-vm.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/devel/ltsa/PLIST b/devel/ltsa/PLIST
new file mode 100644
index 00000000000..fa880b52b47
--- /dev/null
+++ b/devel/ltsa/PLIST
@@ -0,0 +1,189 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2004/02/29 22:21:19 jmmv Exp $
+bin/ltsa
+lib/ltsa/jel.jar
+lib/ltsa/ltsa.jar
+lib/ltsa/ltsa1.ico
+lib/ltsa/ltsafile.ico
+lib/ltsa/natutil.jar
+lib/ltsa/scenebeans.jar
+lib/ltsa/xml.jar
+share/doc/ltsa/fspv2.pdf
+share/doc/ltsa/readme.txt
+share/examples/ltsa/chapter-examples/chapter10_lts/asynchmsgdemo.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/port.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive_overflow.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/rendezvousentrydemo.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgadditionallts.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgdemo.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/abstractprimes.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/announcerlstener.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/boxmover.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/primes.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-non-term.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-revised.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/tuplespace.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/countdown.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/doubleclick.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/interval.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/jitter.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/maximal_progress.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/parcel_router.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/space_invaders.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/timed_producer_consumer.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/timeout.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/tproducer_consumer_store.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/buff.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/coin.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/count.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/countdown.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/drinks.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-iii.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-vi.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/faulty.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/oneshot.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/sum.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/switch.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/thread.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/trafficlight.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/writer.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/bill_ben.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/client_server.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/client_serverv2.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/clock_radio.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/desktop.ini
+share/examples/ltsa/chapter-examples/chapter3_lts/factory.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/itch_scratch.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/maker_user.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/maker_userv2.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/printer_share.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/resource_share.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/switches.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/thread_demo.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/twobuff.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/user.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/counter.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/counter_lockvar.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/display_counter.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/garden.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/garden_lockvar.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_fixedsema.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_nestedsema.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/carpark.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/semademo.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/semaphore.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/deadlockfreephilosophers.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/diningphilosophers.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/maze.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/move.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-reorder.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-timeout.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/actuator.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/calm.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/coin.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/congestedsinglelanebridge.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/high_low.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/mutex_property.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/polite.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/readerswriters.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/readerswritersfair.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/readerswriterspriority.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/safe actuator.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridge.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgedeadlock.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgefair.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/twocoin.lts
+share/examples/ltsa/chapter-examples/chapter8_lts/cruisecontrol.lts
+share/examples/ltsa/chapter-examples/chapter8_lts/revisedcruisecontrol.lts
+share/examples/ltsa/chapter-examples/chapter9_lts/allocator.lts
+share/examples/ltsa/chapter-examples/chapter9_lts/golfclub.lts
+share/examples/ltsa/chapter-examples/chapter9_lts/golfclubfifo.lts
+share/examples/ltsa/chapter-examples/chapter9_lts/masterslave.lts
+share/examples/ltsa/sceneanimations/bridge.lts
+share/examples/ltsa/sceneanimations/channel.lts
+share/examples/ltsa/sceneanimations/diningphilosophers.lts
+share/examples/ltsa/sceneanimations/fairbbridge.lts
+share/examples/ltsa/sceneanimations/fmc.lts
+share/examples/ltsa/sceneanimations/helicopter.lts
+share/examples/ltsa/sceneanimations/lottery.lts
+share/examples/ltsa/sceneanimations/maze.lts
+share/examples/ltsa/sceneanimations/puzzle.lts
+share/examples/ltsa/sceneanimations/tictactoe.lts
+share/examples/ltsa/sceneanimations/window.lts
+share/examples/ltsa/sceneanimations/xml/ball.xml
+share/examples/ltsa/sceneanimations/xml/bridge.xml
+share/examples/ltsa/sceneanimations/xml/cellxo.xml
+share/examples/ltsa/sceneanimations/xml/channel.xml
+share/examples/ltsa/sceneanimations/xml/copter.xml
+share/examples/ltsa/sceneanimations/xml/copter_track.xml
+share/examples/ltsa/sceneanimations/xml/diners.xml
+share/examples/ltsa/sceneanimations/xml/explosion.xml
+share/examples/ltsa/sceneanimations/xml/fmc.xml
+share/examples/ltsa/sceneanimations/xml/fork.xml
+share/examples/ltsa/sceneanimations/xml/image/ablank.gif
+share/examples/ltsa/sceneanimations/xml/image/bblank.gif
+share/examples/ltsa/sceneanimations/xml/image/bluecar.gif
+share/examples/ltsa/sceneanimations/xml/image/bluecarf.gif
+share/examples/ltsa/sceneanimations/xml/image/bridge.gif
+share/examples/ltsa/sceneanimations/xml/image/cblank.gif
+share/examples/ltsa/sceneanimations/xml/image/channel.gif
+share/examples/ltsa/sceneanimations/xml/image/church.gif
+share/examples/ltsa/sceneanimations/xml/image/cranehead.gif
+share/examples/ltsa/sceneanimations/xml/image/eating.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion1.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion10.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion11.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion12.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion13.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion14.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion15.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion16.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion2.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion3.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion4.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion5.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion6.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion7.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion8.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion9.gif
+share/examples/ltsa/sceneanimations/xml/image/fruitbowl.gif
+share/examples/ltsa/sceneanimations/xml/image/gantry.gif
+share/examples/ltsa/sceneanimations/xml/image/gotleft.gif
+share/examples/ltsa/sceneanimations/xml/image/gotright.gif
+share/examples/ltsa/sceneanimations/xml/image/hungry.gif
+share/examples/ltsa/sceneanimations/xml/image/magnet.gif
+share/examples/ltsa/sceneanimations/xml/image/manucell.gif
+share/examples/ltsa/sceneanimations/xml/image/maze.gif
+share/examples/ltsa/sceneanimations/xml/image/pidgeon.gif
+share/examples/ltsa/sceneanimations/xml/image/redcar.gif
+share/examples/ltsa/sceneanimations/xml/image/skater.gif
+share/examples/ltsa/sceneanimations/xml/image/thinking.gif
+share/examples/ltsa/sceneanimations/xml/lottery.xml
+share/examples/ltsa/sceneanimations/xml/maze.xml
+share/examples/ltsa/sceneanimations/xml/phil.xml
+share/examples/ltsa/sceneanimations/xml/puzzle.xml
+share/examples/ltsa/sceneanimations/xml/smallpuzzle.xml
+share/examples/ltsa/sceneanimations/xml/tictactoe.xml
+share/examples/ltsa/sceneanimations/xml/tile.xml
+share/examples/ltsa/sceneanimations/xml/window.xml
+@dirrm share/examples/ltsa/sceneanimations/xml/image
+@dirrm share/examples/ltsa/sceneanimations/xml
+@dirrm share/examples/ltsa/sceneanimations
+@dirrm share/examples/ltsa/chapter-examples/chapter9_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter8_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter7_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter6_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter5_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter4_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter3_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter2_lts/exercises
+@dirrm share/examples/ltsa/chapter-examples/chapter2_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter12_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter11_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter10_lts
+@dirrm share/examples/ltsa/chapter-examples
+@dirrm share/examples/ltsa
+@dirrm share/doc/ltsa
+@dirrm lib/ltsa
diff --git a/devel/ltsa/distinfo b/devel/ltsa/distinfo
new file mode 100644
index 00000000000..7721816a824
--- /dev/null
+++ b/devel/ltsa/distinfo
@@ -0,0 +1,4 @@
+$NetBSD: distinfo,v 1.1.1.1 2004/02/29 22:21:19 jmmv Exp $
+
+SHA1 (ltsa2.2.zip) = 79631fa8f9d8490b84b8c567a9394d5eb03a0e6a
+Size (ltsa2.2.zip) = 847014 bytes