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

809 Commits

Author SHA1 Message Date
Achim D. Brucker b62fdbf1d6 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4595 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 08:52:31 +00:00
Achim D. Brucker 33e60ca731 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4594 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 08:48:35 +00:00
Achim D. Brucker 8f7b1c7ca3 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4593 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 08:41:28 +00:00
Achim D. Brucker 93d167f58d git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4592 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 08:38:04 +00:00
Achim D. Brucker 9869530563 autobuild script for building su4sml 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4591 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-29 07:51:58 +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 8553dced2d ups. fixed syntax error... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4555 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-17 10:36:48 +00:00
Jürgen Doser 5516ce4fea fixed bug in handling composite actions 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4554 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-17 10:19:49 +00:00
Jürgen Doser 2e6e913e5c more work... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4551 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-16 14:44:25 +00:00
Jürgen Doser 9fb8dba9f1 type-checking and running, but producing wrong results... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4520 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-09 16:04:43 +00:00
Jürgen Doser 287aef041a hack to handle typing problem with @pre 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4519 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-09 13:17:45 +00:00
Jürgen Doser 3544007bb5 only store association end name in table, not the whole path 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4514 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-09 09:33:16 +00:00
Jürgen Doser 09d5268600 more work on parsing secureuml stereotypes 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4511 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-08 12:45:24 +00:00
Jürgen Doser 292d425356 allow unnamed association ends (name is generated from associated class) and better handling of association classes 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4510 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-08 12:44:07 +00:00
Jürgen Doser bc2aea45c4 more work and cleanup 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4495 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-04 15:22:13 +00:00
Jürgen Doser fa80539581 started to parse SecureUML stereotypes 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4485 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-03 17:29:43 +00:00
Achim D. Brucker dfb52793e3 added some utility methods 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4461 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-28 08:14:04 +00:00
Achim D. Brucker 0289211732 added some utility methods 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4460 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-28 08:12:27 +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 e9a24cfac6 some cleanup 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4448 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-27 14:27:16 +00:00
Jürgen Doser 76f9ee17e7 another typechecking but not (fully) functional version 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4446 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-26 16:22:32 +00:00
Jürgen Doser 8199af7c64 added files to ROOT.ML 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4437 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-24 12:40:46 +00:00
Jürgen Doser 866b580f53 refined documentation generation 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4436 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-24 12:07:25 +00:00
Jürgen Doser ba272e35a6 typechecks again, but definitely not working correctly... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4435 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-24 11:52:55 +00:00
Jürgen Doser f222e577a6 missing files... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4434 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-24 11:42:40 +00:00
Jürgen Doser 24fc67da90 typecheckes, but not sure if working... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4433 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-24 10:19:08 +00:00
Achim D. Brucker 329b121a63 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4430 3260e6d1-4efc-4170-b0a7-36055960796d 2006-04-23 14:21:35 +00:00
Achim D. Brucker 75cc4de719 autobuilder files 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4425 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-21 09:37:17 +00:00
Jürgen Doser ff8b5fcc03 more cleanup... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4376 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-11 17:34:08 +00:00
Jürgen Doser 5276112b7e added some documentation 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4375 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-11 16:38:21 +00:00
Jürgen Doser e973612ad3 clean up... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4374 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-11 16:36:17 +00:00
Jürgen Doser 49cd212811 clean up... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4373 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-11 16:36:10 +00:00
Jürgen Doser 7bdf56d18c started to clean up... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4372 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-11 16:35:32 +00:00
Jürgen Doser 333a678a48 simple makefile for generating documentation 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4364 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-10 10:19:48 +00:00
Jürgen Doser 86cffb3cd6 do not parse untype-checked ocl constraints 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4361 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 14:35:12 +00:00
Jürgen Doser bc00bc6bd6 do not consider associations between actors and use-cases 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4360 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 13:45:04 +00:00
Jürgen Doser 52030e057e parse UML1.4 Transition effects 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4359 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 12:37:57 +00:00
Jürgen Doser fd80d7f110 allow actions as transition effects 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4358 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 12:30:32 +00:00
Jürgen Doser 0a93f91872 adjustments for parsing ArgoUML statemachines and activitygraphs 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4357 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 12:04:18 +00:00
Jürgen Doser b8321962d0 adjusted mlb file for codegenerator 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4356 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 12:01:11 +00:00
Jürgen Doser 3095b974ff shortened invariant name for multiplicity constraint 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4355 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 12:00:05 +00:00
Jürgen Doser 52f2059851 some more minore changes for UML1.4 (ArgoUML) compatibility 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4354 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 11:39:20 +00:00
Jürgen Doser 2f6628cf50 changes for UML1.4 (ArgoUML) compatibility 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4353 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 10:26:54 +00:00
Jürgen Doser 83195b3c26 hack for parsing ArgoUML xmi.ids 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4352 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 08:33:39 +00:00
Achim D. Brucker dfe13bc7ac SM update and fixes 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4320 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-05 10:29:18 +00:00
Jürgen Doser 71c7e39694 allow OCL expressions in transition guards 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4319 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-05 09:50:36 +00:00
Achim D. Brucker 08d30e9545 implode -> String.implode and explode -> String.explode 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4215 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-21 15:51:22 +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 4ba2516d92 codegen-sourcen von Raphael 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4212 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-21 13:14:15 +00:00
Jürgen Doser 69b426c531 attributes without explicit mutliplicity now get multiplicity 1 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4124 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-08 11:19:20 +00:00