[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Modelling a REST API server in TLA+ - suggestions/examples

From: bpr_95@xxxxxxxxxxx
Date: Thu, 5 Mar 2020 05:57:59 -0800 (PST)

Hello,

I am trying to model a REST API server in TLA+. It's my first attempt at using a formal language and TLA+; I'm finding it challenging to abstract things like a database/storage or user credentials. 

I have tried to find any materials on modelling this sort of system in TLA+, but I've been unable to find any. If anyone here has any examples or suggestions on how to go about this, it would be greatly appreciated! I can give additional details if required.

Thanks

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/55ed6fd9-335a-4ffd-923d-3bb3d7f52cc8%40googlegroups.com.

Follow-Ups:
- [tlaplus] Re: Modelling a REST API server in TLA+ - suggestions/examples
  - From: LUMING DONG

Prev by Date: Re: [tlaplus] Model Checking the Bakery Algorithm
Next by Date: Re: [tlaplus] Re: small bug in TLC gui
Previous by thread: Re: [tlaplus] TCP/IP client/server communication protocol
Next by thread: [tlaplus] Re: Modelling a REST API server in TLA+ - suggestions/examples
Index(es):
- Date
- Thread