کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874865 1441445 2018 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
To every manifest domain a CSP expression - a rôle for mereology in computer science
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
To every manifest domain a CSP expression - a rôle for mereology in computer science
چکیده انگلیسی
We give an abstract model1 of parts and part-hood relations, of Stanisław Leśniewski's mereology[2]. Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems, etc. We relate this model to axiom systems for mereology, showing satisfiability, and show that for every mereology there corresponds a class of Communicating Sequential Processes[3], that is: a λ-expression.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 94, January 2018, Pages 91-108
نویسندگان
,