[發(fā)明專利]一種基于VS Code的形式化云平臺方法與裝置在審
| 申請?zhí)枺?/td> | 202210998125.2 | 申請日： | 2022-08-19 |
| 公開（公告）號： | CN115328481A | 公開（公告）日： | 2022-11-11 |
| 發(fā)明（設計）人： | 趙永望;許浩;王星原;任奎 | 申請（專利權）人： | 浙江大學;浙江大學嘉興研究院 |
| 主分類號： | G06F8/38 | 分類號： | G06F8/38;G06F8/71;G06F8/34;G06F8/33 |
| 代理公司： | 杭州中成專利事務所有限公司 33212 | 代理人： | 李亦慈;唐銀益 |
| 地址： | 310058 浙江*** | 國省代碼： | 浙江;33 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 基于 vs code 形式化 平臺 方法 裝置 | ||
1.一種基于VSCode的形式化云平臺方法，其特征在于，包括：
S1、核驗用戶身份，若核驗通過，返回該用戶關聯(lián)的所有工作空間的基本信息；若核驗不通過，則拒絕后續(xù)所有請求；
S3、接收用戶打開工作空間的請求，讀取基于的形式化語言模板，啟動對應集成開發(fā)環(huán)境的服務；
S4、與用戶交互，使用戶在這個工作空間中能進行形式化工作；
S5、接收用戶的關閉工作空間請求，關閉該工作空間。
2.根據(jù)權利要求1所述的基于VSCode的形式化云平臺方法，其特征在于，
所述的S1中的工作空間，為用戶所使用的WebIDE實例，包括VSCode、特定插件和相應形式化語言集成開發(fā)環(huán)境的后臺服務；所述的基本信息，包括工作空間的ID和該工作空間創(chuàng)建時使用的形式化語言模板。
3.根據(jù)權利要求2所述的基于VSCode的形式化云平臺方法，其特征在于，所述形式化語言模板是一種鏡像，包括VSCode、特定插件和相應形式化語言集成開發(fā)環(huán)境，用于創(chuàng)建工作空間。
4.根據(jù)權利要求1或2或3所述的基于VSCode的形式化云平臺方法，其特征在于，所述的步驟S1和S3之間還包括S2：接收用戶創(chuàng)建工作空間的請求，記錄基于的形式化語言模板，并為該工作空間分配一個唯一的ID。
5.根據(jù)權利要求4所述的基于VSCode的形式化云平臺方法，其特征在于，所述的用戶創(chuàng)建工作空間的請求，信息包括基于的形式化語言模板。
6.根據(jù)權利要求1或4所述的基于VSCode的形式化云平臺方法，其特征在于，所述的S2中用戶打開工作空間的請求，信息包括工作空間的ID，所述的S4中用戶的關閉工作空間請求，信息包括工作空間的ID。
7.一種基于VSCode的形式化云平臺裝置，其特征在于，包括
核驗單元：用于核驗用戶身份，若核驗通過，返回該用戶關聯(lián)的所有工作空間的基本信息；若核驗不通過，則拒絕后續(xù)所有請求；
啟動集成開發(fā)環(huán)境單元：用于接收用戶打開工作空間的請求，讀取基于的形式化語言模板，啟動對應集成開發(fā)環(huán)境的服務；
交互單元：用于與用戶交互，使用戶在這個工作空間中能進行形式化工作；
關閉工作空間單元：用于接收用戶的關閉工作空間請求，關閉該工作空間。
8.根據(jù)權利要求7所述的基于VSCode的形式化云平臺裝置，其特征在于，
所述的核驗單元和啟動集成開發(fā)環(huán)境單元之間還包括：
分配ID單元：用于接收用戶創(chuàng)建工作空間的請求，記錄基于的形式化語言模板，并為該工作空間分配一個唯一的ID。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于浙江大學;浙江大學嘉興研究院，未經(jīng)浙江大學;浙江大學嘉興研究院許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業(yè)授權和技術合作，請聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/202210998125.2/1.html，轉載請聲明來源鉆瓜專利網(wǎng)。
