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

25 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
Jürgen Doser dc64206316 pending changes from uml2cdl to add tagged values to XMI.Primitive 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6215 3260e6d1-4efc-4170-b0a7-36055960796d
 2007-02-28 12:33:33 +00:00
Jürgen Doser 83fd9e3a27 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6030 3260e6d1-4efc-4170-b0a7-36055960796d 2007-02-05 17:44:37 +00:00
Jürgen Doser 588d1c50a9 changed some error messages 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5979 3260e6d1-4efc-4170-b0a7-36055960796d
 2007-01-29 16:14:56 +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
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
Jürgen Doser 51ad229c80 added statemachines to classes, parse do- and exit activities 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3305 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-03 10:13:41 +00:00
Jürgen Doser b636c52e76 support for initial values for attributes 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3298 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-02 11:35:44 +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
Jürgen Doser b447ec81d8 support for ownerScope and targetScope (i.e., whether they are static features or not) for attributes, operations, and association ends 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3236 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-20 13:03:44 +00:00
Jürgen Doser 12675f13af support for tagged values on attributes 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3179 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-06 16:30:20 +00:00
Jürgen Doser 68318dc4bf some support for ClassifierInState 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3175 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-05 17:18:41 +00:00
Jürgen Doser 72b04971f0 fixed two non-exhaustive pattern matches 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3151 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-28 11:56:37 +00:00
Jürgen Doser 08e15919cd fixed some non-exhaustive pattern matches 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3130 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-26 11:02:10 +00:00
Jürgen Doser 1da326058f AssociationClass is now represented in XMI datatstructure directly 
(this may break xmi2rep for a while...)

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3127 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-26 10:23:34 +00:00
Jürgen Doser 62487325d5 support for taggedValues 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3111 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-21 16:11:45 +00:00
Jürgen Doser de936e6745 some support for Dependencies between Classifiers (e.g., a class realizes an interface) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3108 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-21 14:17:47 +00:00
Jürgen Doser 6b81909579 fixed a nonexhaustive pattern match 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3075 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-15 15:56:28 +00:00
Jürgen Doser 0d761ea3dd added auxiliary function 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3069 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-15 13:32:21 +00:00
Jürgen Doser 70c95f2abe support for stereotypes on XMI.Class's 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3063 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-15 10:54:51 +00:00
Jürgen Doser b9ef294de6 be more liberal in parsing association ends: 
names, orderingKind, aggregationKind attributes are now optional in the XMI. 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3052 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-09-13 15:56:31 +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