يتم التعبير عن الدلالات السلوكية من حيث الرسائل التي تعبر الحدود، ويتم تعريفه على إنه تجريد لدلالات تشغيلية تستند إلى كومة هيكلية، ويوضح علماء الاجتماع كيف يمكن استخدام الدلالات لتحديد قابلية الاستبدال بطريقة مستقلة عن التمثيل.
علم الدلالة السلوكي
يلخص علم الدلالة السلوكي الدلالات السلوكية من تفاصيل التنفيذ ويسمح لوصف سلوك مكونات الدلالة بطريقة مستقلة عن التمثيل، وفي هذه الدراسة قام علماء الاجتماع بتطوير دلالات سلوكية رسمية للغات القائمة على الكائنات القائمة على الفئة مع تسميات مستعارة وتصنيفات فرعية وإيفاد ديناميكي، حيث يتكون رمز المكون الموجه للكائنات من فئة والفئات المستخدمة من قبله، ويتم تحقيق مثيل المكون من خلال مجموعة متطورة ديناميكيًا من الكائنات ذات حدود واضحة للبيئة.
تحديد دلالات السلوك
تختلف نماذج الكائنات في كيفية تحديد سلوك الكائنات وإلى أي مدى، وتقصر معظم نماذج الكائنات المواصفات التصريحية لسلوك الكائن والعمليات على مواصفات التوقيع لكل عملية، ويتكون التوقيع من اسم العملية والوسيطة وأنواع النتائج.
وغالبًا ما يتم تحديد دلالات العمليات من الناحية التشغيلية عن طريق رمز الطرق المقدمة لتنفيذ العمليات، وتسمح نماذج الكائنات الأخرى بمواصفات تعريفية للدلالات السلوكية، وفي شكل ثوابت يجب الحفاظ عليها من خلال جميع العمليات والشروط السابقة واللاحقة للعمليات وأشكال أخرى من القيود على سلوك العمليات أو من خلال المواصفات التصريحية للطرق نفسها.
وتحدد هذه النماذج الدلالات السلوكية بطريقة دقيقة ومستقلة عن التنفيذ، وبعض النماذج تدوينات رسمية مبنية على الرياضيات، وللقيام بذلك يمكن ترجمة هذه المواصفات الرسمية إلى علم اللغة بأسلوب منمق من العمليات، ويجعل علم الدلالة السلوكي من الممكن تعريف قواعد التناسق كجزء من تعريف الكائن الذي يفرضه النظام اللغوي، وتُعرف قواعد التناسق هذه باسم قيود التكامل، ويمكن تعريف قيود التكامل بعدة طرق بما في ذلك:
1- بشكل غير رسمي أو بلغة طبيعية أو بلغة مواصفات غير رسمية، ولا يمكن فرض قيود السلامة هذه.
2- كإجراءات بلغة معالجة الكائن، وقد تشمل هذه المشغلات وقبل وبعد الأساليب.
3- كتأكيدات بلغة أصلية، وأنواع مهمة من قيود تكامل التأكيد تشمل: الشروط المسبقة والشروط اللاحقة والثوابت.
الشروط المسبقة والشروط اللاحقة هي تعبيرات منطقية مرتبطة بالعملية التي تحدد الشرط المسبق الذي يجب أن يكون صحيحًا قبل تنفيذ العملية مباشرة وظروف ما بعد العملية التي يجب أن تكون صحيحة كنتيجة لتنفيذها، أي مباشرة بعد تنفيذ العملية، وإذا كان الشرط المسبق أو الشرط اللاحق غير صحيح ينتج عن العملية خطأ، ويشكل الشرط المسبق والشرط اللاحق معًا عقدًا يمكن استخدامه لتحديد عملية ما.
والثوابت هي شروط مستقلة عن التشغيل مرتبطة بمجموعة من الأصناف التي يجب أن تكون صحيحة في جميع الأوقات وليست ضمن عملية على تلك الفئات، ويمكن استخدام مفهوم الثوابت على مستوى الفصل لتوفير وسيلة لتعريف مفاهيم مثل العلاقات والاحتواء.
تتضمن أمثلة بعض الأنواع المهمة لقيود التكامل ما يلي:
1- يجب السماح فقط بالعمليات المحددة مسبقًا على الكائنات؛ على سبيل المثال يجب إنفاذ بروتوكول الكائنات.
2- قد يتم التعبير عن القيود على الأنواع المسموح بها من معاملات ونتائج العمليات وأنواع القيم المسموح بها لخصائص الكائنات.
3- قد يتم التعبير عن قيود التفرد على قيم خاصية ما، عبر مجال مثيلات فئة ما، أو عبر أعضاء بعض المجموعات.
4- يتم فرض قيود مرجعية بما في ذلك القواعد التي تحكم الهوية والوجود، وتشمل هذه القواعد التي تحكم إنشاء معرفات الكائنات والقواعد التي تضمن وجود العناصر المشار إليها.
وقد تنطبق القيود على جميع حالات أو فقط على حالات معينة، واعتمادًا على نظام قاعدة البيانات قد يتم فرض القيود تلقائيًا في وقت التشغيل ويمكن فرضها في وقت الترجمة أو يمكن إجراؤها فقط عند إرسال طلب معين أو عند حدوث بعض أحداث النظام، على سبيل المثال الالتزام بالمعاملة.
بالإضافة إلى ذلك فإن أحد مبادئ إنشاء علم الدلالة السلوكي هو إنه يمكن مشاركة العمليات أو التأكيدات أو الثوابت بشكل مشترك من قبل أكثر من سلوك، وبهذه الطريقة يمكن تحديد الارتباطات بين الفئات وقواعد سلامتها.
ولا تحدد مواصفات علم الدلالة السلوكي سلوك الكائنات بل يحدد الواجهات ويسمح بتعريف الواجهات من حيث تواقيع العمليات، ويمكن استدعاء هذه العمليات على كائنات تؤدي إلى عمليات إرسال تؤدي إلى تنفيذ الخدمة المطلوبة من قبل العملية.
ويتم تحديد سلوك الكائن من خلال الأساليب التي تنفذ سلوك الكائنات، ويتم تعريف علم الدلالة السلوكي والدلالات الفعلية لتطبيق الكائنات بواسطة منفذ الكائن وهي خارج نطاق المواصفات الدلالية.
ويتم نمذجة سلوك الكائن من خلال العمليات ويحدد توقيع العملية جزء من مواصفات النوع وأنواع الوسيطات وأنواع النتائج والاستثناءات التي يمكن رفعها، ولا توجد مواصفات غير رسمية لدلالات عملية ما، ويوفر علم الدلالة السلوكي تحديد القيود المفروضة على السكان وأعضائه، ولكنه لا يدعم أي مواصفات سلوكية أخرى ومن المحتمل أن تدعم الإصدارات المستقبلية من السيميائية أو علم العلامات والدلالة والرموز النمذجة السلوكية.
تعريف سلوك كائن في علم الدلالة السلوكي
ويتم تعريف سلوك كائن في علم الدلالة السلوكي على النحو التالي مجموعة من الإجراءات مع مجموعة من القيود على الظروف التي قد تحدث فيها، وطبيعة القيود التي يمكن التعبير عنها تعتمد على لغة المواصفات المستخدمة، وبشكل عام توجد مجموعة من التتابعات المحتملة للأفعال التي يمكن ملاحظتها بما يتفق مع أي سلوك معين.
وقد يشمل السلوك إجراءات داخلية أي الإجراءات التي يتم اتخاذها في الواقع والمقيدة بالبيئة التي يتم وضع الكائنات فيها، ومجموعة كل تسلسلات العمليات التي يمكن أن تحدث من الحالة الأولية بناءً على انتقالات الحالة القانونية التي تحددها الشروط المسبقة والظروف اللاحقة للعمليات.
يُعد السلوك جزءًا من تعريف علم الدلالة السلوكي لفئة الكائن المُدارة، ويمكن أن يحدد السلوك:
1- دلالات السمات والعمليات والإخطارات.
2- الاستجابة لعمليات الإدارة التي يتم الاحتجاج بها في الكائن المُدار.
3- الظروف التي سيتم في ظلها إرسال الإخطارات.
4- التبعيات بين قيم سمات معينة والتي يجب التعبير عنها بطريقة تأخذ في الاعتبار احتمال وجود أو عدم وجود حزم شرطية.
5- تأثيرات العلاقات على الكائنات المدارة المشاركة.
6- قيود الاتساق على السمات.
7- الشروط المسبقة التي تحدد الظروف التي يمكن فيها افتراض أن للعمليات والإخطارات معنى صحيح.
8- الشروط اللاحقة التي تحدد نتائج معالجة عملية الإدارة أو إصدار إخطار.
ويحدد علم الدلالة السلوكي تعريفات السلوك والجوانب السلوكية لفئات الكائنات ككل وأيضًا تلك الخاصة بخصائصها مثل الحزم والسمات والإجراءات والإخطارات والمعلمات وما إلى ذلك.
وتعد تعريفات السلوك ضرورية لفهم نموذج المعلومات وتهدف إلى استكمال المواصفات الأكثر رسمية مثل تعريفات القوالب التي يتم توفير السلوك من أجلها، وتعريف السلوك هو سلسلة نصية قد تكون محددة وتحدد سلوك فئة الكائن، وتتضمن المحددات الأكثر استخدامًا علامات الاقتباس المزدوجة وعلامات التعجب.
