الطرق الرسمية - المواصفات الجبرية مقابل وجوه VS

Question

أنا في منتصف بعض الأبحاث ولم أتمكن من العثور على الكثير من الأدبيات للمساعدة، أريد مقارنة تبعيات النظام الأساسي للطرق الرسميتين؛المواصفات الجبرية وجوه المنحى.ما هي اللغة التي ستستخدمها؟

هل لدى أي شخص أي معرفة بهذا أو يمكن أن يشيرني إلى الاتجاه الصحيح؟شكرا

Answer 1

أعرف ما يعنيه "المواصفات الجبرية" (GIYF: انظر http://en.wikipedia.org/Wiki / Algebraic_Specification ) حيث أن شركتي بنيت مثل هذا النظام واستخدمت ممارسة تكنولوجيا المعلومات الصناعية."اللغة" هي أن أنواع البيانات المجردة، وتوقيعات الوظائف والحبث التي تصف ما تفعله الوظائف، مع ADTS، والتوقيعات، والديهيات غالبا ما يتم تعبئتها في "الجبرية" المعلمات التي يمكن دمجها لتشكيل جبرا أكثر تعقيدا.

لست متأكدا مما تقصد به "وجوه موجهة" (المواصفات).معظم OO "التصاميم" هي ببساطة مجموعات من الفصول (والتي تمثل ضمنيا لأنواع البيانات) وتوقيعات، مع عدم وجود دلالات مرفقة.بالكاد استدعى تلك "المواصفات"؛بدلا من ذلك، هم "رسم".

Answer 2

عفوا عني، لكن المواصفات، بحكم التعريف، منصة مستقلة.إذا كنت تبحث عن لغة مواصفات تدعم النمذجة الموجهة للكائنات، ففترض أن VDM ++ هو مناسب جيد.

Answer 3

أعتقد أن هذه الورقة قد تساعدك.إنه متاح عبر الإنترنت (جوجل)، ومع ذلك، لست متأكدا مما إذا تم نشره أم لا.لا شيء عن ذلك في المؤلفين DBLP.

"مقارنة الأساليب الرسمية الموجهة للكائنات"، من قبل نيكولاس جويل، أوليفييه بيبرستين، ديدييه بيبرسون، Didier Buchs، Ercument Canver، ماري كلود غاوود، فريدريش فون هنك، Detlef Schwier.