An assume guarantee verification methodology for aspect oriented programming

Date

2008-09-19

Author

Ispir, Mustafa
Betin Can, Aysu

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

143
views

0
downloads

We propose a modular verification methodology for aspect oriented programs. Aspects are the new modularization units to encapsulate crosscutting concerns and have powerful features whose effects can drastically change software behavior. Having such an impact on behavior requires an automated verification support. In this work we introduce a technique that separately answers two questions: "does the aspect have the provisioned effect?" and "does the base program satisfy the assumptions of the aspect?" To answer these questions modularly, we propose using design contracts and state machines as aspect interfaces. An aspect interface both closes the environment of the aspect and specifies its assumptions on any base code. We show that our approach can be used in verifying AspectJ programs modularly and checking compatibility for aspect reuse.

Subject Keywords

Java, Software engineering, Weaving, Programming, Automata, Synchronization, Contracts

URI

https://hdl.handle.net/11511/30409

DOI

https://doi.org/10.1109/ase.2008.56

Collections

Graduate School of Informatics, Conference / Seminar

Suggestions

OpenMETU
Core

An Approach for introducing a set of domain specific components Yiğit, İbrahim Onuralp; Doğru, Ali Hikmet; Department of Computer Engineering (2015) In this thesis, a preliminary methodology is proposed for the determination of a set of components to populate the domain model of a Software Product Line infrastructure. Software Product Line based approaches focus on the reusability of assets for a family of software products. For effective reuse, the definition of reusable assets in this thesis considers variability in a domain. The approach is based on variability specifications that is rooted in Feature Models and is reflected to a component modeling n...
An intelligent fuzzy object-oriented database framework for video database applications Özgür, Nezihe Burcu; Yazıcı, Adnan; Department of Computer Engineering (2007) Video database applications call for flexible and powerful modeling and querying facilities, which require an integration or interaction between database and knowledge base technologies. It is also necessary for many real life video database applications to incorporate uncertainty, which naturally occurs due to the complex and subjective semantic content of video data. In this thesis study, firstly, a fuzzy conceptual data model is introduced to represent the semantic content of video data. UML (Unified Mod...
A Feedback Quantization Scheme Leveraging Fairness and Throughput for Heterogeneous Multi-User Diversity Systems SOYDAN, Yusuf; Candan, Çağatay (Institute of Electrical and Electronics Engineers (IEEE), 2010-06-01) We propose a feedback quantization scheme for downlink multiuser diversity systems. The scheme is designed for heterogeneous users, i.e., users operating under different levels of mean signal-to-noise ratios (SNRs). The proposed scheme equally distributes the channel access time to user clusters and, at the same time, maximizes the sum-rate capacity under equal-channel-access-time constraint. The method is compared to a normalized SNR scheduler, full-feedback scheduler, and finite-rate feedback scheduler wi...
An Ontology based approach to requirements reuse problem in software product lines Karataş, Elif Kamer; Birtürk, Ayşenur; Department of Computer Engineering (2012) With new paradigms in software engineering such as Software Product Lines, scope of reuse is enlarged from implementation upto design, requirements, test-cases, etc. In this thesis an ontology-based approach is proposed as a solution to systematic requirement reuse problem in software product lines, and the approach is supported with a reuse automation tool. A case study is performed on the projects of an industrial software product line using hereby proposed solution and then based on the evaluated metrics...
An Agile business process software development methodology Çulha, Davut; Doğru, Ali Hikmet; Department of Computer Engineering (2014) An agile business process software development methodology is proposed, developed and tested in this research. To speed up the business process software development practices in the organization and to address the requirements more efficiently, an agile approach was adapted. Two new processes were developed using the new methodology. The improvement was assessed by utilizing nine older developments: A formula was developed in this research that estimates the development efforts for old business process soft...

Citation Formats

M. Ispir and A. Betin Can, “An assume guarantee verification methodology for aspect oriented programming,” 2008, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/30409.