TAPAs is a software environment for

TAPAs is a software environment for supporting specification and analysis of concurrent systems via Process Algebras. TAPAs supports the use of process algebrae to specify and analyze concurrent systems. Systems are described as process algebras terms that are then mapped to Labelled Transition Systems (LTSs). Properties can be verified by checking equivalences between concrete and abstract system descriptions, or by model checking temporal formulae over the obtained LTS. Now TAPAs has its own wiki page and it is listed on Model Checking Tools wiki page. It is also inserted in this interesting verification tools database.

TAPAs is designed with a plug-in architecture: a set of software components (plug-ins) adds specific capabilities to a larger software application. Each plug-in supports a specific Process Algebra and it can be easy deployed in the TAPAs main application. Actually TAPAs has three different plug-ins that support three Process Algebras: CCSP, PEPA and StoKlaim.

ผลลัพธ์ (ไทย) 1:

ทาปาสเป็นสภาพแวดล้อมซอฟต์แวร์เพื่อสนับสนุนข้อมูลจำเพาะและการวิเคราะห์ของระบบพร้อมกันผ่านฉากกระบวนการ ทาปาสสนับสนุนการใช้กระบวนการ algebrae ในการระบุ และวิเคราะห์ระบบพร้อมกัน ระบบจะถูกกำหนดเป็นเงื่อนไขฉากกระบวนที่ถูกแมปจากนั้นมีป้ายเปลี่ยนระบบ (LTSs) คุณสมบัติสามารถตรวจ โดยการตรวจ equivalences ระหว่างคำอธิบายระบบรูปธรรม และนามธรรม หรือรุ่นตรวจสอบสูตรขมับผ่าน LTS ได้รับ ทาปาสมีเพจ wiki ของตัวเอง และมันแสดงในหน้าเครื่องมือการตรวจสอบรูปแบบ wiki นอกจากนี้มันยังถูกแทรกในฐานข้อมูลเครื่องมือการตรวจสอบนี้น่าสนใจทาปาสถูกออกแบบ ด้วยสถาปัตยกรรมแบบปลั๊กอิน: ชุดของซอฟต์แวร์คอมโพเนนต์ (ปลั๊กอิน) เพิ่มความสามารถระบุให้โปรแกรมซอฟต์แวร์ขนาดใหญ่ สนับสนุนปลั๊กอินแต่ละพีชคณิตเป็นกระบวนการเฉพาะและได้ง่ายการใช้งานในโปรแกรมหลักของทาปาส จริง ทาปาสมีสามอื่นปลั๊กอินที่สนับสนุนกระบวนการสามฉาก: CCSP, PEPA และ StoKlaim

ผลลัพธ์ (ไทย) 2:

ทาปาสเป็นสภาพแวดล้อมที่ซอฟแวร์สำหรับการสนับสนุนสเปคและการวิเคราะห์ระบบพร้อมกันผ่านกระบวนการ Algebras ทาปาสสนับสนุนการใช้กระบวนการ algebrae เพื่อระบุและวิเคราะห์ระบบพร้อมกัน ระบบจะมีการอธิบายเป็นข้อตกลงจีบกระบวนการที่ถูกแมปแล้วป้ายระบบการเปลี่ยนผ่าน (LTSS) คุณสมบัติสามารถตรวจสอบได้โดยการตรวจสอบ equivalences ระหว่างคอนกรีตและระบบนามธรรมรายละเอียดหรือรูปแบบการตรวจสอบสูตรชั่วข้าม LTS ได้ ตอนนี้ทาปาสมีหน้าวิกิพีเดียของตัวเองและจะอยู่ในรูปแบบการตรวจสอบเครื่องมือหน้าวิกิพีเดีย นอกจากนี้ยังแทรกอยู่ในฐานข้อมูลการตรวจสอบเครื่องมือนี้น่าสนใจ.

ทาปาสถูกออกแบบด้วยสถาปัตยกรรมปลั๊กอิน: ชุดขององค์ประกอบซอฟต์แวร์ (ปลั๊กอิน) เพิ่มความสามารถเฉพาะเจาะจงกับโปรแกรมซอฟต์แวร์ที่มีขนาดใหญ่ แต่ละ plug-in ที่สนับสนุนกระบวนการที่เฉพาะเจาะจงพีชคณิตและมันสามารถใช้งานได้ง่ายในทาปาสโปรแกรมหลัก ทาปาสที่จริงมีสามที่แตกต่างกันปลั๊กอินที่สนับสนุนกระบวนการสาม Algebras: CCSP, Pepa และ StoKlaim