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

273 Commits

Author SHA1 Message Date
Jürgen Doser 679f1b4cc5 reactivated codegen support for componentuml 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5420 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-10-12 08:18:53 +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 f3947ff40f resolved name clash with datatype constructor (Isabelle-related) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5388 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-09-30 04:40:50 +00:00
Jürgen Doser 802f085a5f mainly some code cleanups and documentation additions 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5383 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-09-28 08:55:36 +00:00
Jürgen Doser 8b1fb88f41 fixed build files (ROOT.ML and su4sm.cm) to include statemachine cartridge 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5382 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-09-28 08:53:11 +00:00
Jürgen Doser c13e2fe7b8 fixed build files (ROOT.ML and su4sm.cm) to include statemachine cartridge 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5381 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-09-28 08:50:48 +00:00
Jürgen Doser 7806e60666 added code for statemachine generator from Rolf 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5365 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-09-25 15:53:22 +00:00
Achim D. Brucker ada306881d git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4602 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:42:09 +00:00
Achim D. Brucker b2b60ff014 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4601 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:38:11 +00:00
Achim D. Brucker fe1a089fa5 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4600 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:34:42 +00:00
Achim D. Brucker 6b6e6ae077 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4599 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:23:48 +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
Achim D. Brucker 49f607300e git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4597 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:03:05 +00:00
Achim D. Brucker d7d87bab9c git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4596 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 09:58:49 +00:00
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