Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Review the new IMs section and add missing (useful) information #523

Closed
szymczdm opened this issue May 14, 2018 · 8 comments
Closed

Review the new IMs section and add missing (useful) information #523

szymczdm opened this issue May 14, 2018 · 8 comments
Assignees

Comments

@szymczdm
Copy link
Collaborator

When updating the IMs (on @halonazhao's branch) the section has changed quite a bit. We need to be able to re-introduce any lost information (one example is pictured here):
reviewims
Left is build, Right is stable.

Notice there is a paragraph missing. This section now has a number of issues which may need to be looked at more closely by @JacquesCarette, @smiths, and myself before we can actually proceed in fixing it. We need to know what the missing paragraph(s) actually mean.

@szymczdm szymczdm self-assigned this May 14, 2018
@szymczdm
Copy link
Collaborator Author

#506 and #507 mention different aspects of this issue, but it appears to be the whole section which will need review, so I'm going to leave this up until each of those are closed and we've had a chance to review the IM section once again.

@smiths
Copy link
Collaborator

smiths commented Jun 8, 2018

@szymczdm, I'm not sure if your example is from noPCM or SWHS.
The blurb of text "The goals GS1 to .. " should be in the build version as well as the stable version. The text is intended to orient the reader about the relationship between the different pieces of knowledge. This text is present in the SWHS example:

https://github.com/smiths/swhs/blob/master/docs/SRS/PCM_SRS.tex

It has been commented out of the noPCM example:

https://github.com/smiths/caseStudies/blob/c98949681bacdbf870030c774ccedcd6f67d8cd2/CaseStudies/noPCM/docs/SRS/SRS.tex#L1014-L1019

The text would have been commented out of the noPCM example because it isn't exactly right for this example. The text should have instead been updated for the noPCM example.

@elwazana
Copy link
Collaborator

@szymczdm Differences Report between Stable and Manual:

  • SWHS
    • Table of Units

      • Different order of displayed symbols (Trivial)
        Stable:
        image
        Manual:
        image
    • Table of Symbols

      • Different order of columns (Trivial)
        Stable:
        image
        Manual:
        image

      • Unsure what this is but doesn't appear in the manual (non-trivial)
        Stable:
        image
        Manual:

      • R {Aspect ratio} missing from stable (non-trivial)
        Stable:
        Manual:
        image

    • IMs

      • Missing information paragraph (non-trivial)
        Stable:
        Manual:
        image

      • Missing information in IM1 (non-trivial)
        1. Assumptions associated with the input and output of IM1
        Stable:
        image
        Manual:
        image
        2. Description is missing associated assumptions and constraints
        Stable:
        image
        Manual:
        image

      • Missing information about associated assumptions and DDs in the derivation (non-trivial)
        Stable:
        image
        Manual:
        image

      • Glitch (trivial)
        Stable:
        image
        Manual:
        image

      • Missing information for the output of IM2 (non-trivial)
        Stable:
        image
        Manual:
        image

      • Missing information in derivation of IM2 (non-trivial)
        Stable:
        image
        Manual:
        image

      • Additional AC in inputs of all IMs (Unsure if this is a trivial error or is the tip of a larger problem)
        Stable:
        image
        Manual:
        image

      • Missing input in IM3 "TW from IM1" (non-trivial)
        Stable:
        image
        Manual:
        image

      • Missing information about assumptions associated with description of IM3 (non-trivial)
        Stable:
        image
        Manual:
        image

      • Missing a lot of information in the description of IM4 including assumptions, DDs, and TMs (non-trivial)
        Stable:
        image
        Manual:
        image

@szymczdm
Copy link
Collaborator Author

Thanks for the great summary! I'll take a more in-depth look at it shortly. @smiths can you take a look as well and let me know if there's anything you'd reclassify (trivial/non-trivial) or consider a non-issue?

@smiths
Copy link
Collaborator

smiths commented Jun 26, 2018

Excellent work @elwazana. Very thorough. The information lost between the manual and stable versions is worse than I expected. Good to know so that now we can fix it.

I agree with your summary, I only have a few additional points to add:

niazim3 added a commit that referenced this issue Jul 11, 2018
JacquesCarette pushed a commit that referenced this issue Jul 13, 2018
* Update SSD Section of SWHS case.

* Temporary check-in to start merge. TODO: Double check changes after merge

* Try to address different warnings from Master branch.

* Remove some redundant sections

* Update SWHS stable (HTML) to be better [ci skip]

* Re-order a few things to match stable [ci skip]

* Update stable. SWHS is still missing some sections [ci skip]

* Update stable after merge. NoPCM still missing a few sections [ci skip]

* Update stable of NoPCM (TeX) after merge. NoPCM generation is still missing a few sections [ci skip]

* Add Assumption Section to NOPCM and SWHS; Add derivation of Gendef of SWHS.

* Generate derivation part of Instance Model of NOPCM.

* Add derivation of IM1 of SWHS with some parts not matching stable.

* Update SSDsec of SSP & add Assumption section of SSP and SWHS.

* Add a missing TM for SWHS aand now TM section is complete.

* fix errors in Derivation of IM1 of SWHS.

* Update assumptions for SWSH.

* Update Assumptions for NOPCM, but there are still order problem.

* Update the assumptions for SSP.

* Minor changes.

* Update the DataConstraint Section of SWHS.

* Update the dataConstraints section of NoPCM case.

* Update the dataConstraint section of SSP case.

* Change intro of SSD section to match stable version.

* Match derived sentence to stable version of SWHS case.

* Add derivation part for IM2 of SWHS.

* Update derivation of IM of SWHS.

* Modify Im section constructor in DocumentLanguage.

* Update drivation of im in SWHS.

* Update all derivations of IM for SSP.

* Minor changes about DateDef.

* recover the old derivation for old chunks so that the new chunks and old chunks can work at the same time.

* Minor change of GD of NoPCM to match stable.

* Update IM1 derivation to match stable for SWHS.

* Minor change to match stable.

* Minor change to match stable.

* Fix errors caused by merging master branch.

* Minor changes are made to match the stable.

* Plug in dataDef derivation for SSP.

* Begin stable updates for merge. FIXME: Add verbose TM descriptions

* Begin stable updates for merge. FIXME: Add verbose GD descriptions

* Begin stable updates for merge. FIXME: Inspect IM section and update as necessary - will need @smiths expertise most likely.

* Fix diff with stable in derivation

* Update Reference locations to match expected

* Update referencing error messages

* More stable updates for SWHS. Still have some errors to fix

* SWHS html matches stable completely.

* Minor changes.

* Add Tm description to match generated.

* Update stable to match generted.

* Almost fix all differences in html of NOPCM.

* Update SSP to match stable.

* Update SSP to match stable

* Update to match stable.

* Update SSP match stable.

* Update SSP to match stable

* SSP and SWHS completely match stable html version.

* NoPCM completely match stable html version.

* Add notes to IM of SSP.

* Add notes for IM of SWHS.

* Add note to IM of Nopcm.

* Add notes for TM of SSP.

* Add notes to TM of SWHS.

* Add notes to TM of NoPCM.

* Modify SSD sec intro for SWHS stable.

* Modify DD and GD of stable for SWHS

* Add more input variables for IM1 of Swhs.

* Modify IM2 of SwhS.

* Modify IM4 of SWHS.

* Modify IM4 of SWHS.

* Modify stable to match drasil.

* Finish matching SWHS html.

* Modify TM in SSP to match generated version.

* Modify GD in SSP of stable.

* Modify DD in stable of SSP.

* Modify IM1 of SSp.

* Modify IM4 for SSP.

* Modify IM5 of SSP.

* Finish matching SSP.

* Modify TM in stable of NoPCM.

* Modify GMs in stable of NoPCM.

* Modify Assumptions in stable of NoPCM.

* Modify stable to match generated version.

* Finish matching nopcm.

* Minor changes to match stable.

* Update SWHS stable TeX. There are still some issues

* Updated trivial changes in NoPCM stable

* Updated stable for SSP

* Restore the files in Stable reverting merge.

* Match GamePhysics, Glassbr and tiny stable version with master.

* Modify TM1 in SWHS stable.

* Modify T2 in SWHS stable.

* Modify T3 in SWHS stable.

* Add note field to GD and implement in SWHS case.

* Modify stable.

* Modify stable.

* Modify stable.

* Modify stable.

* Modify stable.

* Modify stable.

* Modify stable.

* Change to new DD structure.

* Modify stable.

* Modify stable.

* Modify stable.

* Modify stable.

* NoPCM stable changed.

* Modify GD in drasil and stable of NoPCM case.

* updated stable SWHS tex for symbol and formatting changes that were updated in the HTML

* New dataDefn for DD in nopcm.Some changes in stable.

* removed properties of correct solution section from tex to match statements in #504

* Update IM in Nopcm.

* removed a paragraph from SWHS tex (has already been removed from HTML); missing information will be worked on #523

* removed a sentence from SSD intro in SWHS tex; need for fix is documented in #505

* SWHS log is now empty; typo fix in SWHS tex

* GlassBR_log is now empty; empty notes section added to stable because removal of IM (#838) will remove the empty space

* Modify stable.

* More changes on IM.

* Modify stable.

* More change.

* Modify stable.

* NoPCM log significantly reduced by trivial discrepancy updaates

* Modify stable to match table pf symbol with master branch.

* Change stable.

* Modify stable.

* Change stable.

* Change stable.

* Change stable.

* Change stable.

* Change stable.

* Modify stable.

* Modify stbale.

* Change stable.

* removed a sentence from SS intro in NoPCM tex; need for fix is documented in #505

* removed 12048 from NoPCM stable since output of tex would be the same; only items remaining in NoPCM log are related to issue #843

* Change stable.

* Modify stable.

* Change stable.

* Modify stable.

* Change stable.

* Modify stable.

* updated stable for trivial description discrepancies

* more trivial discrepancies removed from SSP log

* removed a sentence from SSD intro in SSP tex (need for fix is documented in #505); some imports added to stable tex preamble

* Add notes to GDs.

* removed extra sentence from tex version of SSP; need for an additional sentence is mentioned in #506

* removed folders that are no longer used

* Add derivation to DD.

* cleaned up implementation of mkSRS for NoPCM and SWHS

* Restore DD section to match master's DD section.

* Relocate note field for TM in ssp.

* Add note to GM1.

* Add notes to GM2.

* Add notes to GM.

* Add comments to GMs.

* Add notes to GMs.

* Add notes to GM.

* Add notes to GM.

* Add notes for GMs.

* Add notes to GM.

* change for DD.

* Changes for DD.

* change for DD.

* change for DD.

* change for DD.

* change for DD.

* Change for stable.

* change for DD stable.

* change for DD stable.

* change for DD stable.

* Change for DD stable.

* Change for DD stable.

* Change for DD stable.

* Change for DD stable.

* Change for DD stable.

* Change for stable.

* Change for DD stable.

* Change for DD stable.

* Change for DD stable.

* Change for stable.

* Change for stable.

* Change for stable.

* Change for stable.

* Change for stable.

* Change for stable.

* Change for stable.

* Change for stable.

* Fix derivation.

* Fix some differences in log.

* reinserted 4 missing assumptions in NoPCM (documented in #843); Body.hs clean up

* Remove a paragraph from intro of Data Definition.

* Change order of symbols.

* NoPCM log is now empty; remaining assumptions fixed; closes #843; SWHS imports cleaned up

* Restore the table of symbol section from master branch in tex file of SSP.

* Change order.

* Change lable name.

* Change label name.

* Add notes.

* Add note fields to tex of SSP.

* Add symbols to DD.

* More changes.

* Add symbol field to DD.

* Modify stable.

* Modify stable.

* Modify stable.

* Fix some references.

* Fix some references.

* Fix stable.

* Modify stable.

* Fix reference.

* Modify stable.

* Temporary remove IM intro in SSP stable.

* Modify stable.

* Modify stable.

* Update Drasil to have Fixme in Source field.

* Add fixme to source in source field of html of GamePhysics.

* Add fixme to source in source field of html of GlassBR.

* Add fixme to source in source field of html of NoPCM.

* Add fixme to source in source field of html of SSP.

* Add fixme to source in source field of html of SWHS.

* Add fixme to source in source field of tex of SWHS.

* Add fixme to source in source field of tex of SSP.

* Add fixme to source in source field of tex of NoPCM.

* Add fixme to source in source field of tex of GlassBR.

* Add fixme to source in source field of tex of GamePhysics.

* Merge master in.

* Remove some warnings.

* Remove some warnings.

* Remove ().

* Remove comments in GlassBR Imods.

* Remove a blank line.

* Remove some comments.

* Remove some comments.

* Remove some redundant imports.
@JacquesCarette JacquesCarette assigned smiths and unassigned szymczdm Nov 2, 2018
@smiths
Copy link
Collaborator

smiths commented Nov 2, 2018

I think the key for this issue is to split it into separate issues. There is too much going on here to keep track. Unfortunately we cannot currently fix the Drasil version to match the manual version because of the referencing issues. We need to sort out #1029 first. In addition to the work that @halonazhao is doing, I will reclassify some of the TMs, DDs, etc. (I'll create a separate issue for this soon.) Once this is done, we can return to this issue.

@smiths
Copy link
Collaborator

smiths commented Nov 2, 2018

I have gone through the SWHS example and identified GDs and DDs that should be reclassified. I will create an issue for this, but there aren't actually any problems with the imports (based on #1029) that these changes will fix. The changes will improve the conceptual integrity and consistency of the document, but they aren't necessary to proceed with this issue. (I don't think.)

@smiths
Copy link
Collaborator

smiths commented Aug 14, 2019

All of the issue created to sort out this issue have been closed. There are too many details to go through it all again; I am going to assume that the process works and close this issue too.

@smiths smiths closed this as completed Aug 14, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants