\input zb-basic \input zb-ioport \iteman{io-port 70193930} \itemau{Wei, Wei; Yu, Ting} \itemti{The design and enforcement of a rule-based constraint policy language for service composition} \itemso{SocialCom/PASSAT, 873-880 (2010).} \itemcc{} \itemut{} \itemli{doi:10.1109/SocialCom.2010.130} \end