Is there a formal documentation/spec for the attributes that activiti has put into BPMN 2.0. For the attribute activiti:class and the elements: activiti:field activiti:string ??
What do you mean with formal spec? No it's not part of any formal BPMN like specification. The user guide contains a detailed explanation to my opinion.