View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0004478CaseTalk ModelerRepositorypublic2024-03-21 11:562025-03-28 16:18
ReporterBCP Software Assigned ToBCP Software  
PrioritynormalSeverityfeatureReproducibilityhave not tried
Status resolvedResolutionfixed 
PlatformIntelOSWindowsOS Version11
Target Version14.xFixed in Version14.2 
Summary0004478: State Modeling
DescriptionAccording to a LinkedIn discussion state is derived from other facts. But the detection of state change, and preventing state change (preventing facts to be updated) needs to be supported by information modeling as a more dynamic rule.
Additional InformationThe stateless Invoice can be subtyped into an Unpaid Invoice and a Paid Invoice. The Paid Invoice should not revert back into a Unpaid Invoice. That should be prevented, and needs to prevent deletion of the payment registration fact.

So, how to implement/support the actions and constraints of states?
TagsNo tags attached.
CaseTalk Editionunknown

Activities

BCP Software

BCP Software

2024-03-21 14:33

administrator   ~0005123

https://www.linkedin.com/feed/update/urn:li:activity:7176312747943464960/
BCP Software

BCP Software

2024-03-25 22:44

administrator   ~0005125

Last edited: 2024-03-25 22:47

 Being able to list from-to state pairs, and optionally describing the states themselves could provide some appealing visual feedback like:

https://www.plantuml.com/plantuml/png/DK_12i8m3BtdAyAEmdx0WsmdyQIWD_7GjT56N3hQRB2_jwqE2k_n-lBoqYKrKUVn0vuT8OsJhkWesSYJSX2uxnxOjWSyab1a2t-isfL48GSeOLCudcG9RAb1a-edxh77y_0cgtXR9y8q3remFBV0RGOkXbtsg-U4-Ha9wYbYqiZoWfgMLnRNpreAzD5wNiZ1HggQAqD7ul9LNm00
BCP Software

BCP Software

2024-03-25 22:47

administrator   ~0005126 


@startuml
hide empty description

  •  --> Generic

    • 
Generic --> Sent
state "Sent Invoice" as Sent : A Object Type subtype of Generic Invoice
Paid : this is another string
Sent -> Paid
Paid --> Archived
Archived --> 
  • 

    • 
@enduml
    BCP Software

    BCP Software

    2025-03-27 12:03

    administrator   ~0005521

    Last edited: 2025-03-27 12:06

    		 A simple FromState=[ToState]* can be depicted using plantuml.

    The Label Type could be marked as a 'state type', creating a special VC and the list of possible states may be stored in the VCValues. The VC would need an annotation describing the graph.

    The UI only has to present a simple matrix containing the fromState in rows, and possible toStates in the columns, with a checkbox in the cells to indicate possible state changes.
    BCP Software

    BCP Software

    2025-03-28 16:18

    administrator   ~0005522

    		The Value Constraint Values can now contain lines similar to:

    oldState->newState1;newState2
    newState1->Done=Finished

    Note: The Experimental Features needs to be turned on first in Tools\Preferences\Advanced.
    Note2: A graphical output is visible in the UML Class Diagram.

    Issue History

    Date Modified Username Field Change
    2024-03-21 11:56 BCP Software New Issue
    2024-03-21 11:56 BCP Software Status new => assigned
    2024-03-21 11:56 BCP Software Assigned To => BCP Software
    2024-03-21 14:33 BCP Software Note Added: 0005123
    2024-03-25 22:44 BCP Software Note Added: 0005125
    2024-03-25 22:45 BCP Software Note Edited: 0005125
    2024-03-25 22:47 BCP Software Note Edited: 0005125
    2024-03-25 22:47 BCP Software Note Added: 0005126
    2025-03-27 12:03 BCP Software Note Added: 0005521
    2025-03-27 12:04 BCP Software Note Edited: 0005521
    2025-03-27 12:06 BCP Software Note Edited: 0005521
    2025-03-28 16:18 BCP Software Status assigned => resolved
    2025-03-28 16:18 BCP Software Resolution open => fixed
    2025-03-28 16:18 BCP Software Fixed in Version => 14.2
    2025-03-28 16:18 BCP Software Note Added: 0005522