Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Hợp nhất hệ thống phân tán từ các khía cạnh hành vi sử dụng lại
Proceedings 22nd International Conference on Distributed Computing Systems Workshops - Trang 481-486
Tóm tắt
Nghiên cứu về lập trình hướng khía cạnh và các đặc tả đã làm nổi bật nhu cầu giải quyết các mối quan tâm cắt ngang mà liên quan đến hơn một thành phần ở cấp độ triển khai. Các hệ thống phân tán là một lĩnh vực ứng dụng quan trọng, nơi các mối quan tâm cắt ngang thường xuất hiện. Chúng tôi trình bày một cách tiếp cận mới để hợp nhất hành vi phân tán từ các bước thượng tầng có thể sử dụng lại. Các bước này được mô tả thông qua một ký hiệu hành động chung, cho phép đưa vào các dữ liệu và thao tác có liên quan logic trong nhiều thành phần ở cấp độ triển khai cùng một lúc. Một bước thượng tầng chứa một mô tả về ngữ cảnh mà nó có thể áp dụng và cấu trúc bổ sung để thêm vào các đặc tả. Các khía cạnh của hành vi tập thể có thể chồng chéo nhau ở cấp độ triển khai. Để có thể tách các khía cạnh một cách rõ ràng ở cấp độ đặc tả, phương pháp đặc tả của chúng tôi cho phép các thực thể được hợp nhất trong thành phần, cho phép một thực thể ở cấp độ triển khai đảm nhận nhiều vai trò ở cấp độ đặc tả.
Từ khóa
#Ngôn ngữ đặc tả #Tính toán phân tán #Hội nghị #Tính toán đồng thời #Mã xen kẽTài liệu tham khảo
10.1145/169701.169682
käki, 2002, A formal basis for aspect-oriented specification with superposition, proceedings of Foundations of Aspect-Oriented Languages workshop at Aspect Oriented Software Development
käki, 2001, A structural embedding of Ocsid in PVS, Theorem Proving in Higher Order Logics TPHOLS2001 number 2152 in Lecture Notes in Computer Science, 281
10.1007/3-540-45102-1_14
kiczales, 2000, Semantics-Based Crosscutting in AspectJ, Workshop on Multidimensional Separation of Concerns in Software Engineering (ICSE 2000)
kiczales, 1997, Aspect-oriented programming, Proceedings of the 11th European Conference of Object Oriented Programming ECOOP'97, 1241, 220, 10.1007/BFb0053381
10.1007/978-0-585-27524-6_7
kurki-suonio, 1998, Liberating object-oriented modeling from programming-level abstractions, Object-Oriented Technology ECOOP?98 Workshop Reader, 195, 10.1007/3-540-69687-3_40
10.1145/177492.177726
lamport, 1998, Composition: A way to make proofs harder, Lecture Notes in Computer Science, 1536, 402, 10.1007/3-540-49213-5_15
chandy, 1988, Parallel Program Design A Foundation
buschmann, 1996, A System of Patterns
10.1007/3-540-40011-7_24
10.1145/357360.357365
gamma, 1995, Design Patterns
10.1016/0020-0190(80)90021-6
10.1145/48022.48023
2001, The DisCo project WWW page
10.1109/ICSE.1990.63604
mester, 1997, Formal behavioural patterns for the tool-assisted design of distributed applications, IFIP WG 6 1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 97), 235
10.1007/3-540-61474-5_78
owre, 1992, PVS: A prototype verification system, 11th International Conference on Automated Deduction volume 607 of Lecture Notes in Artificial Intelligence, 748
tarr, 1999, N degrees of separation: multidimensional separation of concerns, Proceedings of the 1999 International Conference on Software Engineering, 107