Re: [Anima] Expressing RFC 9316 Intent Examples in ASSL

2023-03-30 Thread William Atwood
Brian, Thank you for your questions. They are very thought-provoking. First, a bit of background. The ASSL concept and associated development environment was part of the PhD research of Emil Vassev, who was supervised by Dr. Joey Paquet. This work was completed in 2008. The goals of the pr

Re: [Anima] Expressing RFC 9316 Intent Examples in ASSL

2023-03-23 Thread Brian E Carpenter
Hi Bill, Interesting work. A few questions: 1) Is ASSL in active use? A quick search suggests it has been fairly quiet in recent years. 2) Java as the target language seems distinctly old-fashioned. I quickly found a Java to Python converter (https://www.javainuse.com/java2py). Have you cons

[Anima] Expressing RFC 9316 Intent Examples in ASSL

2023-03-21 Thread William Atwood
Dear NMRG and ANIMA people, One of my students, Solmaz Jaberi, has explored the issue of how to map a set of Intent Examples (written in English) into an intermediate form that can (eventually) be interpreted by the objects (switches, routers, hosts) in an Intent-Based Network. RFC 9315 prov