最近のジェフリイさん

アラン・ジェフリイは随分と実務的なことをやっているんですね。http://ect.bell-labs.com/who/ajeffrey/research-index.html

プロトコルとかXMLとか。覗くとネタが見つかるかも。

microデータモデル

順番に読むと事情がわかる。

• しょうがないので、マイクロフォーマットのデータモデルを僕が考えた - 檜山正幸のキマイラ飼育記
• マイクロフォーマット(microformats) vs. マイクロデータ(microdata) - 檜山正幸のキマイラ飼育記
• マイクロデータ(microdata)を理解するために -- プロパティリストとマルチバリューのオブジェクト - 檜山正幸のキマイラ飼育記
• Google GDataのXML-JSON変換、その使い方と使いどころ - 檜山正幸のキマイラ飼育記

アノテーションデータ

構文	値
foo	@foo {}
foo("hello")	@foo {"value" : "hello"}
foo(bar=23)	@foo {"bar" : 23}
foo(baz="hello", zot=false)	@foo{"baz":"hello", "zot":false}

@[internal]

type AnnotationBase = @* {

 "$description" : string? ,

 "$predefined" : {*:any?}? ,

 * : any?

};
@[annotation]

type foo = @foo {

 "baz" : string,

 "zot" : boolean? 

} & AnnotationBase;

プロパティとプロパティリスト

プロパティの出現性（occurrence）は次のようになる。

名前	正規表現	Caty表現
once	X	X または [X]
optional	X?	X? または [X]?
one-or-more	X+	[X, X*]
any-times	X*	[X, X*]?

X* を [X, X*]? と書く理由は、Web入力（フォーム入力）では、空リスト[]の表現方法がないから。

aka宣言

module my

 aka ["http://www.chimaira.org/schema/my", "http://caty.caty-sites.net/types/my"]

;

とか？