Dynamic slicing of concurrent AspectJ programs: An explicit context‐sensitive approach

J Singh, DP Mohapatra - Software: Practice and Experience, 2018 - Wiley Online Library
This paper presents a context‐sensitive dynamic slicing technique for the concurrent and
aspectized programs. To effectively represent the concurrent aspect‐oriented programs, we …

Context-aware services engineering: models, transformations, and verification

DB Abeywickrama, S Ramakrishnan - ACM Transactions on Internet …, 2012 - dl.acm.org
Context-aware Web services are identified as an important technology to support new
applications on the future Internet. Context information has several qualities that make the …

Parallel dynamic analysis on multicores with aspect-oriented programming

D Ansaloni, W Binder, A Villazón, P Moret - Proceedings of the 9th …, 2010 - dl.acm.org
In most aspects, advice are synchronously executed by application threads, which may
cause high overhead if advice execution is frequent or computationally expensive. When …

Hila: High-level aspects for uml state machines

G Zhang, M Hölzl - International Conference on Model Driven Engineering …, 2009 - Springer
UML state machines are widely used for modeling software behavior. However, state-
crosscutting behaviors, such as execution history dependence or synchronization (either …

Generation of concurrency control code using discrete-event systems theory

C Dragert, J Dingel, K Rudie - Proceedings of the 16th ACM SIGSOFT …, 2008 - dl.acm.org
The development of controls for the execution of concurrent code is non-trivial. We show
how existing discrete-event system (DES) theory can be successfully applied to this …

Static analysis of aspect interaction and composition in component models

A Hannousse, R Douence, G Ardourel - Proceedings of the 10th ACM …, 2011 - dl.acm.org
Component based software engineering and aspect orientation are claimed to be two
complementary approaches. While the former ensures the modularity and the reusability of …

“Adore”, a logical meta-model supporting business process evolution

S Mosser, M Blay-Fornarino - Science of Computer Programming, 2013 - Elsevier
The Service Oriented Architecture (Soa) paradigm supports the assembly of atomic services
to create applications that implement complex business processes. Since “real-life” …

Disentangling virtual machine architecture

M Haupt, B Adams, S Timbermont, C Gibbs, Y Coady… - IET software, 2009 - IET
Virtual machine (VM) implementations are made of intricately intertwined subsystems,
interacting largely through implicit dependencies. As the degree of crosscutting present in …

Modeling the car crash crisis management system using HiLA

M Hölzl, A Knapp, G Zhang - … on aspect-oriented software development VII …, 2010 - Springer
An aspect-oriented modeling approach to the Car Crash Crisis Management System
(CCCMS) using the High-Level Aspect (HiLA) language is described. HiLA is a language for …

[PDF][PDF] Pervasive Services Engineering for SOAs.

DB Abeywickrama - ICSOC PhD Symposium, 2008 - 137.226.34.227
With the proliferation of ubiquitous computing devices and mobile internet, it is envisaged
that future pervasive services will be increasingly large-scale and operate at an inter …