pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/ltsa Initial import of ltsa (Labelled Transition...
details: https://anonhg.NetBSD.org/pkgsrc/rev/9946e2674ef6
branches: trunk
changeset: 469830:9946e2674ef6
user: jmmv <jmmv%pkgsrc.org@localhost>
date: Sun Feb 29 22:21:19 2004 +0000
description:
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/.
diffstat:
devel/ltsa/DESCR | 11 +++
devel/ltsa/Makefile | 38 ++++++++++
devel/ltsa/PLIST | 189 ++++++++++++++++++++++++++++++++++++++++++++++++++++
devel/ltsa/distinfo | 4 +
4 files changed, 242 insertions(+), 0 deletions(-)
diffs (258 lines):
diff -r 7c28ec7d6b5b -r 9946e2674ef6 devel/ltsa/DESCR
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ltsa/DESCR Sun Feb 29 22:21:19 2004 +0000
@@ -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 -r 7c28ec7d6b5b -r 9946e2674ef6 devel/ltsa/Makefile
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ltsa/Makefile Sun Feb 29 22:21:19 2004 +0000
@@ -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@localhost
+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 -r 7c28ec7d6b5b -r 9946e2674ef6 devel/ltsa/PLIST
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ltsa/PLIST Sun Feb 29 22:21:19 2004 +0000
@@ -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 -r 7c28ec7d6b5b -r 9946e2674ef6 devel/ltsa/distinfo
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/ltsa/distinfo Sun Feb 29 22:21:19 2004 +0000
@@ -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
Home |
Main Index |
Thread Index |
Old Index