CellML Discussion List

Text archives Help


Re: [cellml-discussion] CellML 2.0 Draft Specification - May 2017 version


Chronological Thread 
  • From: Lucian Smith <lucianoelsmitho AT gmail.com>
  • To: CellML Discussion List <cellml-discussion AT cellml.org>
  • Cc: cellml-discussion Mailing List <cellml-discussion AT lists.cellml.org>
  • Subject: Re: [cellml-discussion] CellML 2.0 Draft Specification - May 2017 version
  • Date: Tue, 30 May 2017 16:59:59 -0700
  • Authentication-results: mx3.auckland.ac.nz; spf=Pass smtp.mailfrom=lucianoelsmitho AT gmail.com; dkim=pass (signature verified) header.i=@gmail.com; dmarc=pass (p=none dis=none) d=gmail.com
  • Ironport-phdr: 9a23:c+BnDhZXPuyu81dOwuxlbrD/LSx+4OfEezUN459isYplN5qZrs25bnLW6fgltlLVR4KTs6sC0LuI9f2/ESxYuNDa4S9EKMQNHzY+yuwo3CUYQ/S5QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4VvJ6IwxxfTonZFefldyWd0KV6OhRrx6MO98Zx5/yhMp/4t8tNLXLnncag/UbFXAzMqPnwv6sHsqRfNUxaE6GEGUmURnBpIAgzF4w//U5zsrCb0tfdz1TeDM8HuQr86RTqt76FwSB/1kygHLCI28HvWisNrkq1Wpg+qqgFlzI7VZIGVM+d+fr/YcNgHS2dNQtpdWipcCY6ncYABE/QOMvpZr4nlplsBsx2+BRW3BOjyzjNEn2L60bEm3+gkFwzNwQ4uEM8UsHnMrtr1OqccX+62wqfV0zvMc+hb1i3h5IXSaB0tve2AULB2fMHMyUcvDQTFjlCIpILjIjOayuUNvHKd7+F9SOyvjm8nqx1xojOywcosjpTJiZ4Uyl/e8yV5x5g6JdmjSE5+YN6kDJtQtyaBOot5R8MtWWBouCIgxrIavp67eTEHxZI6zBDRbPyHdpKH4hPlVOuJLjd4g3VleL27hxms60Sv1ur8Vsyy3V1XrSRFisHBum4R2xHX8MSKSftw8l2/1TqS1Q3f8PxILEMomafdNpUv2KQ/loAJvkTGBiL2mFv5jKuRdkg8/+in8eXnYrH/qp+BLYB4lhjyMqozlsG8Heg0KAcOX2+c+eSz0L3s41f1T6lNjv0ziqXZsZbaKtoHpqOhHQNZzoIu5wy8AjqmytgUg2QLIVBfdB6ajIXlJ0nCIPXiAve+h1Ssni1rx/fDPrD5BpXNM2TMkLb7crZ77E5T1g4zzcta55JVFrEBIPXzV1T+tNzdFBA5Mgi0z/z7B9V604MSQXiPDbOBMKPOrV+I4foiLPWSa48RvDb9Lvwl6+fzgn84gl8SYbSp3YAMaHC5GfRmJV6UYX7tgtcaDWcKpRAyQ/D0h12GVT5TYnKyU7g75jEhB4L1RbvEE6ughLik+G+XH4Zde3tdC1eKWVPpbJnMD/wBbCaXJoptkycPSKO6Sogn/RqjsAv/z/xgNOWCqQMCspe28MV+5uTV3So39CB0R5CZzmqMRmdzk2cTQj4q3KdXrkl0y1PF2q991a8LXedP7u9EB19pfaXXyPZ3XpWrAlrM

I would strongly recommend *not* making a formal difference between 'x>y'
and 'x>=y', or at least not giving examples that rely on there being a
difference between them. This is a notoriously difficult situation to
distinguish between, and makes certain types of simulation approaches
impossible to accomplish. Whenever I accidentally put situations like that
into the SBML Test Suite, I'm always asked to take them back out again.

Also, when the 'order' attribute matters, put it into the example. If the
order attribute never matters in the examples you have created, say that
explicitly. I can't tell from the examples you give if:

reset A when B>3, A = B
reset B when B>3, B = 1

is the same as

reset B when B>3, B = 1
reset A when B>3, A = B

(i.e. if the hidden 'order' attributes are different) or not.

-Lucian

On Tue, May 30, 2017 at 4:13 PM, Mike Cooling
<mtcooling.research AT gmail.com>
wrote:

> Dear CellML Community,
>
> The 'Specification Writing Group' is proud to present an updated draft
> Specification for CellML 2.0.
>
> This second draft aims primarily to clarify the semantics of the
> new-in-2.0 'reset rules'. The appropriate section of the specification has
> been adjusted and the new Release Notes now include an Appendix containing
> reset rule examples with expected model behaviour.
>
> The exclusion of integrals was also reconsidered. At this time, support
> for integrals is not part of CellML 2.0. This decision could be revised
> with community needs.
>
> We invite community feedback on the May 2017 draft Specification.
>
> The explanatory release note (May 2017 draft) can be found here:
> https://drive.google.com/open?id=0B7o2fHkRhadEQ3c4bnFXRlpBSUk
>
> The specification itself (May 2017 draft) can be found here:
> https://drive.google.com/open?id=0B7o2fHkRhadEVTBacExBb0tnTDg
>
>
> Best Regards,
>
> Mike Cooling
> on behalf of the CellML 2.0 Specification Writing Group
>
>
> ---------- Forwarded message ----------
> From: Mike Cooling
> <mtcooling.research AT gmail.com>
> Date: Thu, Feb 9, 2017 at 10:51 AM
> Subject: CellML 2.0 Draft Specification
> To:
> cellml-discussion AT lists.cellml.org
>
>
> Dear CellML Community,
>
> The '2.0 Specification Writing Group' is proud to present a draft
> specification for CellML 2.0.
>
> Unlike the CellML 1.x specifications, the CellML 2.0 specification is
> written in a formal, "normative" style. It consists largely of a list of
> interlocking rules. This makes it difficult to meaningfully 'skim' the
> document, so for your convenience we present a Release Note highlighting
> the differences between CellML 1.1 and CellML 2.0. We recommend starting
> with that Note which can be found here:
>
> https://drive.google.com/open?id=0B7o2fHkRhadEeG10cDlIZkNsQk0
>
> The specification itself can be found here:
>
> https://drive.google.com/open?id=0B7o2fHkRhadEUnp4Zkx4ZTRkZXc
>
> We invite community feedback on this draft specification. We are also
> seeking more information, specifically, on the usefulness of the ability to
> include definite integrals in the mathematics (currently not in CellML
> 2.0). If you can provide details of models that need that feature, or wish
> to provide any other feedback on the Specification, please do so via this
> mailing list, or, if you prefer, directly to my email address.
>
> Best Regards,
> Mike Cooling, on behalf of the CellML 2.0 Specification Writing Group.
>
>



Archive powered by MHonArc 2.6.18.

Top of page