A practical assessment of formal specification approaches for data abstractions

Comparative study and categorization of high-level petri nets

“…PNs and Abstract data types (ADTs) (Ventouris and Pintelas, 1992) oer complementary aspects of a system speci®cation. PNs emphasize the speci®cation of parallel and communicating activities using a graphical notation, but they are weak in dealing with data types and formally de®ned modularity.…”

“…In the current section we will compare and contrast the presented categories using a set of application criteria which will give reader a better overview of each category (Table 1). Some of the criteria are quite general and have been also applied to a survey regarding formal methods for Abstract Data Types (Ventouris and Pintelas, 1992); the rest were selected to evaluate additional issues concerning modeling using PNs. These criteria include: descriptive power, degree of diculty in mastering a method, compactness, ease of analysis, degree of supporting encapsulation-abstraction-re®ne-ment, and degree of specifying communication.…”

Comparison of formal specification methods and object-oriented paradigms

“…For many authors [5,6,7], the distinction between specifications and programs is vague. For example, Eiffel [8] is a language in which one can write both specifications and programs.…”

Ενοποιημένο Τυπικό Μοντέλο Για Την Αναπαράσταση Της Λειτουργικότητας Και Την Ανάλυση Της Χρονοδρομολογησιμότητας Εφαρμογών Πραγματικού Χρόνου

“…Στην παράγραφο αυτή συγκρίνονται όλες οι κατηγορίες των Δικτύων Petri υψηλού επίπεδοι), με βάση ένα σύνολο από γε\ικά κριτήρια εφαρμογής (Πίνακας 1) [57]. Ορισμένα από τα κριτήρια αυτά έχουν προταθεί στην εργασία [200]. όπου παρουσιάζομαι κριτικά διάφορες τυπικές μέθοδες για Αφαιρετικούς Τύπους Δεδομένων {Abstract Data Types), ενώ τα υπόλοιπα έχουν επιλεγεί με σκοπό να εκτιμηθούν συγκεκριμένες δυνατότητες μοντελοποίησης και ανάλυσης με βάση έννοιες των Δικτύων Petri.…”