From 84dfc4cb5d5c3e524196eb37e84a1f0877ef91ff Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 3 Feb 2006 01:13:48 +0000
Subject: [PATCH] Adding in files

---
 Robust/rolebasedcomputation | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 Robust/rolebasedcomputation

diff --git a/Robust/rolebasedcomputation b/Robust/rolebasedcomputation
new file mode 100644
index 00000000..f917a9b0
--- /dev/null
+++ b/Robust/rolebasedcomputation
@@ -0,0 +1,34 @@
+Input:
+trigger role specification for tasks:
+role mutator operation:
+role definition:
+
+Generate:
+Role transition diagram
+
+
+Initial features:
+methods
+structs
+type system
+
+Language features:
+Single Inheritance
+Virtual methods
+Objects
+
+object metastate:
+1. flags: flag role1
+2. tags: tag tag1
+
+tag operations:
+tag tag1=new tag;
+tag tag2=incrementtag(tag tag1);
+tag tag3=no tag;
+
+metastate operations:
+
+task foo(type1 o1{role1||role2}, type2 o2{role3}) {
+	
+  exit(o1{role1'=false},o2{role3'=false},onew{role4=true});
+}
\ No newline at end of file
-- 
2.34.1