[Modelinterpreter] MODELS 2015 - 10.01

[Dévai Gergely]

MODELS 2015, 10-01 Keynote
Gail Murphy, University of British Columbia: Software Supply Chains
 * topic: dependence of software projects, open source, communication etc. * Loose sw chains: not critical open source
 * GitHub issue handling is “not enough” * not only users of an open source lib contribute to the lib, but in many cases vice versa as well (~35% of social interactions are bi-directional between projects) * quality implications of open source:
 * even components with known vulnerabilities get downloaded by >10000 institutions after the problem is discovered * reuse is not free: technical and social costs are there as well * Tight sw chains (critical, like airplane sw)
 * chains of contractual agreements, with complicated info flowFundamentals I.
 * Colin Atkinson: A Unifying Approach to Connections for Multi-Level Modeling
 * multi-level modeling: many meta layers * clabject: class and object
 * Juan de Lara: A-posteriori Typing for Model-Driven Engineering
 * decopule instantiation and classification * motivation: reclassification * mainstream modeling made very inflexible typing choices (types are mandatory, unchangeable, single etc.) * typing is defined by queries – changing of attributes and connections can change the type of an object * dynamic type checking (OCL)
 * Enriching Megamodel Management with Collection-Based Operators
 * megamodel: set of models and relationships to ease model management in large projects * filter, map, reduce operations to manage models in a megamodel * implementation in MMINTBehavioural modeling II
 * Extracting Frame Conditions from Operation Contracts
 * frame condition: describes what is not changing when an operation is called * they have heuristics to extract frame conditions from OCL pre- and postconditions of operations
 * eg. attributes is mentioned in the post condition is likely to change
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://plc.inf.elte.hu/pipermail/modelinterpreter/attachments/20151002/02a4cc5e/attachment.html>