Academic WG Wiki

academic_wg_amsterdam_meeting_16_jun_2019

jsmith (jsmith@undisclosed.example.com) — 2019-03-17T18:26:21-0400

Academic WG Meeting Amsterdam 16 Jun 2019 Potential Speakers: * Henk de Mann, VDMbee -- VDML / SMM / BMM; academia in NL and Italy, graduate level (MS/PhD) Contacts to make: * Delft Univ * Eindhoven (ask Diane who the contact is) * Charles - Sheffield ? (Jaguar/Land Rover)

academic_wg_reston_meeting_17_mar_2019 - Added notes from the onsite meeting

admin (admin@undisclosed.example.com) — 2019-03-17T18:14:49-0400

Academic WG Meeting Reston 17 Mar 2019 Potential Speakers (deferred to the Amsterdam meeting): * Gary Duncanson, No Magic -- Dassault/No Magic Academic Programs * Henk de Man, VDMbee -- VDML / SMM / BMM; academia in Netherlands and Italy, graduate level (MS/PhD)

start - [3. Meetings]

jsmith (jsmith@undisclosed.example.com) — 2018-12-30T21:56:52-0400

Welcome to the Academic WG wiki The OMG Academic Working Group (AWG) was formed on 27 September 2018. ---------- 1. Mission Statement The Academic Working Group looks at improving communications and generating opportunities for collaboration between

bpmn-topics

jsmith (jsmith@undisclosed.example.com) — 2018-12-29T20:46:42-0400

BPMN Research Topics * Much BPMN-related research over 40 years has been expended on Flow of control and activities: Petri nets, token networks, etc. There is still research work in characterization of ‘threads’ (simultaneous process instances) and multiple ‘tokens’ in a process graph. But I think this vein has been pretty well mined.

dmn-mks

jsmith (jsmith@undisclosed.example.com) — 2018-12-29T20:44:28-0400

DMN Minimal Knowledge Set The principal concepts of DMN are: * standardized external and exchange representations of decision tables, with formal semantics: columns represent influence factors (in) and decision results (out), input cells represent unary predicates, output cells represent (partial) results (named or numeric values), rows represent conjunction of the inputs and separate implications of the results

sbvr-mks - created

jsmith (jsmith@undisclosed.example.com) — 2018-12-29T20:43:56-0400

SBVR Minimal Knowledge Set The fundamental concepts of SBVR * “bodies of shared meaning” and vocabularies: agreement of a community on a set of concepts and terms that designate them * consistent usage of the terms with a (semi-)formalized natural language grammar to express definitions, static/’definitional’ rules, and behavioral/’operational’ rules: obligations, permissions, prohibitions

bpmn-mks

jsmith (jsmith@undisclosed.example.com) — 2018-12-29T20:40:50-0400

BPMN Minimal Knowledge Set In BPMN, the principal concepts are: * activity and process specification and elaboration (what is done, summarily and in detail) * activity and process Role specification (who does what) * flow of control and artifacts between activities (the fundamental ‘process’ concept)

sbvr-topics - created

jsmith (jsmith@undisclosed.example.com) — 2018-12-29T20:37:24-0400

SBVR Research Topics * SBVR inspired a lot of European academic research that was mostly based on supporting and using its formal notational style for various applications. At the same time, the dozen or so ‘implementations’ utilized the basic ISO 1087-1 model and SBVR linguistic and logic terminology as a (pseudo-) formal semantics for their own languages. (I have my own, published in 2011.) There are also dozens of academic ‘controlled English’ languages that produce some kind of formal …

icon_academia.png - created

admin (admin@undisclosed.example.com) — 2018-09-27T18:02:25-0400