HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity
809 Commits 1 Branch 0 Tags 4.4 MiB
Commit Graph

39 Commits

Author SHA1 Message Date
Achim D. Brucker c38c8cbd49 Fixed typo. 2016-10-24 00:35:11 +01:00
Achim D. Brucker 127acb420a Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
Achim D. Brucker 874dbfadb0 updated directory structure 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6701 3260e6d1-4efc-4170-b0a7-36055960796d
 2007-07-23 13:03:15 +00:00
Achim D. Brucker 4f4622a6cc updated licence information/headers 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6662 3260e6d1-4efc-4170-b0a7-36055960796d
 2007-07-04 06:41:30 +00:00
Achim D. Brucker febca88ad6 first functional integreation of the OCL parser and type-checker (and some minor cleanup) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6597 3260e6d1-4efc-4170-b0a7-36055960796d
 2007-06-13 05:55:41 +00:00
Achim D. Brucker c73db5ffa6 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6225 3260e6d1-4efc-4170-b0a7-36055960796d 2007-03-01 12:34:02 +00:00
Achim D. Brucker 47e8852dcb merge with work of Manfred (based on rev. 35191) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6108 3260e6d1-4efc-4170-b0a7-36055960796d
 2007-02-09 11:14:53 +00:00
Jürgen Doser 5394f456ca only transform navigable association ends, changed exception handling 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5947 3260e6d1-4efc-4170-b0a7-36055960796d
 2007-01-25 16:26:11 +00:00
Achim D. Brucker fda5952174 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5829 3260e6d1-4efc-4170-b0a7-36055960796d 2006-12-22 22:20:36 +00:00
Jürgen Doser 1b23e52a76 started work on su2holocl transformation 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5505 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-10-26 15:31:46 +00:00
Jürgen Doser 8351ae7cfe restructuring. should give better error messages now 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5446 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-10-18 17:38:47 +00:00
Achim D. Brucker 1f76d533a8 added OclLib (package: UML_OCL) implementation 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5397 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-10-04 08:03:29 +00:00
Achim D. Brucker eb55357e00 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4598 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:18:26 +00:00
Jürgen Doser 9811dcc1f6 some cleanup 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4556 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-17 17:23:26 +00:00
Jürgen Doser 67ffc91aef adjusted ROOT.ML files 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4449 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-27 14:32:25 +00:00
Jürgen Doser 41c727cb0a adapted ROOT.ML files and .cm files 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4214 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-21 14:14:11 +00:00
Jürgen Doser 9db920768b next draft of "secure" repository structure 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3289 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-01 16:35:23 +00:00
Achim D. Brucker e276df5b6a ocl2string now also works with plain SML 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3268 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-30 19:15:00 +00:00
Jürgen Doser 0211494494 rudimentary support for parsing ArgoUML 0.19.7 activity diagrams into rep_statemachines. Needs to be cleaned up and consolidated with Poseidon support (which should still work however, as far as it worked before) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3263 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-28 14:39:09 +00:00
Achim D. Brucker 3a4853ff76 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3243 3260e6d1-4efc-4170-b0a7-36055960796d 2005-10-20 17:36:34 +00:00
Achim D. Brucker 3b6ad522da added first simple implementation of an OCL-term to string (aka ugly/pretty printing) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3238 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-20 14:35:46 +00:00
Jürgen Doser 7528ea1d9a added first draft of structure Rep_SecureUML. There are however no functions for parsing Rep_SecureUML-types... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3237 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-20 13:08:17 +00:00
Jürgen Doser f75dab512f cd -> OS.FileSys.chDir 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3073 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-15 13:51:27 +00:00
Achim D. Brucker 54df0876dd updated MLton support 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3070 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-15 13:33:06 +00:00
Jürgen Doser e02f2e6371 moved xmi.id table to a seperate structure and file 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3061 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-14 16:51:46 +00:00
Achim D. Brucker 0ab220228b a first step towards mlton support 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3060 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-14 13:24:57 +00:00
Achim D. Brucker a5671a5d4f Guards und Entries eingebaut. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3048 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-12 20:13:23 +00:00
Achim D. Brucker 76390fcbee First xmi-parser for smoe activity graph. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3043 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-08 17:00:46 +00:00
Achim D. Brucker 6d0b9307a7 Kommentierung verbessert. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3040 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-08 09:43:47 +00:00
Achim D. Brucker 8eac5e0f8a structural reform: end. 
- xmi_state_machines introduced.

- file renaming: machine -> machines.


git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3039 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-08 09:26:32 +00:00
Achim D. Brucker 07e0e9f7ed Structural Reform: Splitting xmi.sml in subparts. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3038 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-08 09:16:50 +00:00
Achim D. Brucker 6faecbf088 xdg 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3036 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-07 17:49:13 +00:00
Achim D. Brucker e2bee654b9 Further restructuring. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3035 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-07 17:44:26 +00:00
Achim D. Brucker fc39c1e45d More Restructuring. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3034 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-07 17:32:04 +00:00
Achim D. Brucker 06fac57fc1 Further restructuring. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3033 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-07 17:20:25 +00:00
Achim D. Brucker 29832a00ae Further Alignments of FileNames. 
(Structure Names will follow...)


git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3032 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-07 17:10:46 +00:00
Achim D. Brucker 280d3cdfea First restructuring with including activity graphs. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3030 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-07 17:02:47 +00:00
Achim D. Brucker 9d3d6d389d cleanup 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2945 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-08-18 05:55:15 +00:00
Achim D. Brucker c07c040925 inital version (removed all dependencies to Isabelle) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2941 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-08-17 15:45:10 +00:00