From f94447da158f15cf7af96d6918f6cd26487fdc3f Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Wed, 17 Aug 2022 16:36:38 +0200 Subject: [PATCH 01/13] Update ReadMe.md Added outline of deliverables, milestones and timeline --- RationaleMCP/0031/ReadMe.md | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index ff769d3ab..a1a2651a8 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -92,6 +92,36 @@ In future minor versions of Flat Modelica 1, we could improve the language by in Big changes that don't make sense to even consider for a minor release of version 1 are listed here. Being listed here shall not be interpreted as even being likely to ever happen; this is just a collection of all the ideas that don't fit in the more realistic roadmap for version 1. - [ ] Allowing some simple form of `model` that makes it possible to preserve structure of the equations that will allow more efficient symbolic processing and production of executables of much smaller size. +## Prototype Development and Testing +### Deliverables +- [ ] Prioritized feature list +- [ ] List of example models from simple to advanced mapped to features +- [ ] Library of open source example models +- [ ] Basic examples exported as Flat Modelica code (functionality provided by at least one tool) +- [ ] Basic examples imported as Flat Modelica code and simulated (functionality provided by all tools) +- [ ] Advanced examples exported as Flat Modelica code (functionality provided by at least one tool) +- [ ] Advanced examples imported as Flat Modelica code and simulated (functionality provided by all tools) +- [ ] Hand crafted special cases provided as Flat Modelica code +- [ ] Hand crafted special cases imported as Flat Modelica code and simulated (functionality provided by all tools) +- [ ] Gap analysis and list of Flat Modelica language issues + +### Milestones +* MS1: Basic test cases defined +* MS2: Basic test cases evaluated +* MS3: Advanced and special test cases defined +* MS4: Advanced and special test cases evaluated +* MS5: Flat Modelica specification v1.0 defined + +### Timeline +|Time|EQ3-2022|EQ4-2022|EQ1-2023|EQ2-2023|EQ3-2023|EQ4-2023| +|--- |--------|--------|--------|--------|--------|--------| +|MS1 | x | | | | | | +|MS2 | | | | | | | +|MS3 | | | | | | | +|MS4 | | | | | | | +|MS5 | | | | | | | + + ## Revisions | Date | Description | | --- | --- | From 1219e9839a7ee7b002ed5631e95dba32d6b3010c Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 23 Aug 2022 10:43:51 +0200 Subject: [PATCH 02/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 1 + 1 file changed, 1 insertion(+) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index a1a2651a8..c15006642 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -121,6 +121,7 @@ Big changes that don't make sense to even consider for a minor release of versio |MS4 | | | | | | | |MS5 | | | | | | | +EQn: End of Quarter n ## Revisions | Date | Description | From 188908ec6e02d126b50d5f0c24ae3d051f67e48f Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 23 Aug 2022 11:30:03 +0200 Subject: [PATCH 03/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index c15006642..6929273c3 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -94,7 +94,7 @@ Big changes that don't make sense to even consider for a minor release of versio ## Prototype Development and Testing ### Deliverables -- [ ] Prioritized feature list +- [ ] Feature list - [ ] List of example models from simple to advanced mapped to features - [ ] Library of open source example models - [ ] Basic examples exported as Flat Modelica code (functionality provided by at least one tool) From 60f2661348a1d8e1f21e443e9e4eb0e2468eb1d1 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 23 Aug 2022 11:31:53 +0200 Subject: [PATCH 04/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index 6929273c3..eb7af9e4a 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -95,7 +95,7 @@ Big changes that don't make sense to even consider for a minor release of versio ## Prototype Development and Testing ### Deliverables - [ ] Feature list -- [ ] List of example models from simple to advanced mapped to features +- [ ] Initial simple example model from MSL mapped against feature list - [ ] Library of open source example models - [ ] Basic examples exported as Flat Modelica code (functionality provided by at least one tool) - [ ] Basic examples imported as Flat Modelica code and simulated (functionality provided by all tools) From 232d2c2d4c2308b50cc2ee6b841f7330ced2aa83 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 23 Aug 2022 11:38:06 +0200 Subject: [PATCH 05/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index eb7af9e4a..8902118da 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -96,7 +96,7 @@ Big changes that don't make sense to even consider for a minor release of versio ### Deliverables - [ ] Feature list - [ ] Initial simple example model from MSL mapped against feature list -- [ ] Library of open source example models +- [ ] Library of open source unit test models matching the feature list - [ ] Basic examples exported as Flat Modelica code (functionality provided by at least one tool) - [ ] Basic examples imported as Flat Modelica code and simulated (functionality provided by all tools) - [ ] Advanced examples exported as Flat Modelica code (functionality provided by at least one tool) From e6f816499f4f5207ed6d249c140d7b501ce39885 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 23 Aug 2022 11:40:23 +0200 Subject: [PATCH 06/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index 8902118da..6fbc19e7e 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -97,7 +97,7 @@ Big changes that don't make sense to even consider for a minor release of versio - [ ] Feature list - [ ] Initial simple example model from MSL mapped against feature list - [ ] Library of open source unit test models matching the feature list -- [ ] Basic examples exported as Flat Modelica code (functionality provided by at least one tool) +- [ ] Initial example exported as Flat Modelica code (functionality provided by at least one tool) - [ ] Basic examples imported as Flat Modelica code and simulated (functionality provided by all tools) - [ ] Advanced examples exported as Flat Modelica code (functionality provided by at least one tool) - [ ] Advanced examples imported as Flat Modelica code and simulated (functionality provided by all tools) From e19ac871399dd296f7d05f77999b37444beba2b5 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 23 Aug 2022 11:41:20 +0200 Subject: [PATCH 07/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index 6fbc19e7e..32fe95e46 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -98,7 +98,7 @@ Big changes that don't make sense to even consider for a minor release of versio - [ ] Initial simple example model from MSL mapped against feature list - [ ] Library of open source unit test models matching the feature list - [ ] Initial example exported as Flat Modelica code (functionality provided by at least one tool) -- [ ] Basic examples imported as Flat Modelica code and simulated (functionality provided by all tools) +- [ ] Initial example imported as Flat Modelica code and simulated (functionality provided by all tools) - [ ] Advanced examples exported as Flat Modelica code (functionality provided by at least one tool) - [ ] Advanced examples imported as Flat Modelica code and simulated (functionality provided by all tools) - [ ] Hand crafted special cases provided as Flat Modelica code From 02a27b8420c2d9bdb23a5404278da435e299d82f Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 23 Aug 2022 12:23:48 +0200 Subject: [PATCH 08/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 36 +++++++++++++++++++++++------------- 1 file changed, 23 insertions(+), 13 deletions(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index 32fe95e46..dbed4e771 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -95,22 +95,32 @@ Big changes that don't make sense to even consider for a minor release of versio ## Prototype Development and Testing ### Deliverables - [ ] Feature list -- [ ] Initial simple example model from MSL mapped against feature list +- [ ] Example models from MSL mapped against feature list - [ ] Library of open source unit test models matching the feature list -- [ ] Initial example exported as Flat Modelica code (functionality provided by at least one tool) -- [ ] Initial example imported as Flat Modelica code and simulated (functionality provided by all tools) -- [ ] Advanced examples exported as Flat Modelica code (functionality provided by at least one tool) -- [ ] Advanced examples imported as Flat Modelica code and simulated (functionality provided by all tools) -- [ ] Hand crafted special cases provided as Flat Modelica code -- [ ] Hand crafted special cases imported as Flat Modelica code and simulated (functionality provided by all tools) -- [ ] Gap analysis and list of Flat Modelica language issues +- [ ] Flat Modelica v0.1 issues +- [ ] Flat Modelica v0.2 + +### Plan of action +Iteratively extend the scope to be covered following these steps: +* Select the next non-working example ("lowest hanging fruit") from MSL, or hand craft one as needed. +* Enhance export of Flat Modelica code (functionality provided by at least one tool). +* Enhance import of Flat Modelica code (functionality provided by all tools). +* Map example model to roadmap items. +* Identify newly covered language features derived from roadmap items. +* Create unit tests for newly identified features. +* Support newly created unit tests. +* Capture language issues or ambiguities as they occur. + +The captured issues shall then be resolved by the revised Flat Modelica specification v0.2 or considered as roadmap item for later versions. ### Milestones -* MS1: Basic test cases defined -* MS2: Basic test cases evaluated -* MS3: Advanced and special test cases defined -* MS4: Advanced and special test cases evaluated -* MS5: Flat Modelica specification v1.0 defined +* MS1: Initial example working +* MS2: 50% of MSL examples working +* MS3: 80% of MSL examples working +* MS4: 95% of MSL examples working +* MS5: ~100% of MSL examples working +* MS6: All features covered by examples/unit tests and working +* MS7: Flat Modelica specification v0.2 defined ### Timeline |Time|EQ3-2022|EQ4-2022|EQ1-2023|EQ2-2023|EQ3-2023|EQ4-2023| From 440309110570f9fe0ed01d73b4ea3669deb80099 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Mon, 5 Sep 2022 14:22:24 +0200 Subject: [PATCH 09/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index dbed4e771..f38bb136a 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -99,7 +99,12 @@ Big changes that don't make sense to even consider for a minor release of versio - [ ] Library of open source unit test models matching the feature list - [ ] Flat Modelica v0.1 issues - [ ] Flat Modelica v0.2 - +- [ ] Flat Modelica v0.1: md documents ready for prototype development +- [ ] Flat Modelica v0.2: md documents ready for preliminary feedback of the language group +- [ ] Flat Modelica v0.3: Feedback of the language group addressed in md documents +- [ ] MCP0031 RC: Modelica specification changes defined in the LaTeX sources based on Flat Modelica v1.0 +- [ ] MCP0031 RC+: Ready for evaluation including the feedback of three reviews +- [ ] MCP0031 v1: Evaluated and formally accepted by the language group ### Plan of action Iteratively extend the scope to be covered following these steps: * Select the next non-working example ("lowest hanging fruit") from MSL, or hand craft one as needed. From 2b4f14deb89e767632bbb87dfab8ef2477ae6769 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Mon, 5 Sep 2022 14:23:59 +0200 Subject: [PATCH 10/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index f38bb136a..b174035bc 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -97,8 +97,6 @@ Big changes that don't make sense to even consider for a minor release of versio - [ ] Feature list - [ ] Example models from MSL mapped against feature list - [ ] Library of open source unit test models matching the feature list -- [ ] Flat Modelica v0.1 issues -- [ ] Flat Modelica v0.2 - [ ] Flat Modelica v0.1: md documents ready for prototype development - [ ] Flat Modelica v0.2: md documents ready for preliminary feedback of the language group - [ ] Flat Modelica v0.3: Feedback of the language group addressed in md documents From 37d9cdf8158b9c3e2d6da0e62dc3aea53a2d8d90 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Mon, 5 Sep 2022 14:28:11 +0200 Subject: [PATCH 11/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index b174035bc..9f3357de5 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -116,7 +116,9 @@ Iteratively extend the scope to be covered following these steps: The captured issues shall then be resolved by the revised Flat Modelica specification v0.2 or considered as roadmap item for later versions. -### Milestones +### Milestones for reaching Flat Modelica v0.2 +Prerequisite is that Flat Modelica v0.1 has been finalized. + * MS1: Initial example working * MS2: 50% of MSL examples working * MS3: 80% of MSL examples working From dd8e8fa0d3071d20836fd28baff5511e80a0c088 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 13 Sep 2022 14:05:45 +0200 Subject: [PATCH 12/13] Update RationaleMCP/0031/ReadMe.md Web Meeting --- RationaleMCP/0031/ReadMe.md | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index 9f3357de5..5cc85f282 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -128,13 +128,15 @@ Prerequisite is that Flat Modelica v0.1 has been finalized. * MS7: Flat Modelica specification v0.2 defined ### Timeline -|Time|EQ3-2022|EQ4-2022|EQ1-2023|EQ2-2023|EQ3-2023|EQ4-2023| -|--- |--------|--------|--------|--------|--------|--------| -|MS1 | x | | | | | | -|MS2 | | | | | | | -|MS3 | | | | | | | -|MS4 | | | | | | | -|MS5 | | | | | | | +|Time|EQ4-2022|EQ1-2023|EQ2-2023|EQ3-2023|EQ4-2023|EQ4-2022| +|--- |-------|-------|-------|-------|-------|-------| +|MS1 | | x | | | | | | +|MS2 | | | x | | | | | +|MS3 | | | | x | | | | +|MS4 | | | | | x | | | +|MS5 | | | | | | x | | +|MS6 | | | | | | | x | +|MS7 | | | | | | | x | EQn: End of Quarter n From 12a2b17473ec11f3661779c57c652e6292ec15c8 Mon Sep 17 00:00:00 2001 From: Oliver Lenord Date: Tue, 13 Sep 2022 14:06:23 +0200 Subject: [PATCH 13/13] Update RationaleMCP/0031/ReadMe.md --- RationaleMCP/0031/ReadMe.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RationaleMCP/0031/ReadMe.md b/RationaleMCP/0031/ReadMe.md index 5cc85f282..8c0d1f35c 100644 --- a/RationaleMCP/0031/ReadMe.md +++ b/RationaleMCP/0031/ReadMe.md @@ -128,7 +128,7 @@ Prerequisite is that Flat Modelica v0.1 has been finalized. * MS7: Flat Modelica specification v0.2 defined ### Timeline -|Time|EQ4-2022|EQ1-2023|EQ2-2023|EQ3-2023|EQ4-2023|EQ4-2022| +|Time|EQ4-2022|EQ1-2023|EQ2-2023|EQ3-2023|EQ4-2023|EQ1-2024| |--- |-------|-------|-------|-------|-------|-------| |MS1 | | x | | | | | | |MS2 | | | x | | | | |