|
agenda/todo :
* the big picture (done)
* short intro on how SSM relates to the DSLM PS in the pic
* define the ontology of "DSL modeling-in-the-platform" (place the M lang. role, tooling support, etc, in the picture)
* give samples of well known domains within the former
* define the T-diag algebra & the two-way bindings from/to the ontology
* define the axioms of the former; give their rationale; give samples of applications (thru algebraic constructs)
in current s.a I.T fields
(out of band signaling in protocols, meta data usage in type systems, meta data in document centric lang.
and agents, profiles in UML, ad hoc APIs, etc)
(those samples provide example of structures where the algebra can be seen meaningful)
* elaborate (more samples) in the case of type systems (e.g., .NET); examine the supplier/client types relation
(*) show how reification in type systems (thanks to the support for reflection features) :
=> allows loosely-coupled supplier/client semantics
=> allows the resulting "supplier -> client -> purpose" semantics to remain manageable (to achieve the purpose in client's context)
(there, test/verify algebraic statements against several envs/config of those structures / scenarios)
* give counter examples (with M without Y# and its ontology), point out the issue if when no such capability is available in the case of DSL tool chains;
derive the lang. dim from the consistency req to enable conformance-aware tooling chains that process DSLs
* re-test the former scenarios against M+Y# : show how the intent->purpose transition appears and how we can possibly
capture it in the tooling; go back to the ontology and select the most relevant concepts that can be involved in the production of result artifacts
* propose Y# abstract syntax to support the formers
* propose concrete syntax prev + pattern of OM querying w/ its API
* end with giving some concrete, scalable samples!
(On core reqmt. for orthogonal defs. of i -> p transitions in L's DI, over artifact prod. chains thru T)
G : G op
L : DSL
g : M g. rep.
a : artifact
C : artifact's conform. props. hoped for
Y : Y#
p : context-bound purpose
u : p's rep
L (?) 0 (?) a 0
g g a a a .T. T
T G
L (?) L (?) L (p) C
Y Y u u u .T. T
T G
L (?) 0,L (?) L (p) C
g g a,u a,u a,u .T. T
T G
also, intro w/ :
L (?) L (?) L (p) C
M M g g g a,u a,u
T T
L (?)... L (p) C
M T
L (?) L (?) L (p) C
Y Y u u u .T. T
T G
..etc
Last updated December 26, 2009; 08:25PM EST
© Cyril Jandia 2008, 2009. All rights reserved.