Monika Solanki
I am a Research associate working on the European Commission Framework 6 IST Project,
Some of my current work on the project include
Leading the work on designing and developing runtime monitoring mechanisms for Contracts in Web services using a symbolic approach.
Designing and developing specifications for contract verification mechanisms/tools with specific emphasis on their application to Web services, using symbolic model checking.
Important: Plagiarism notice
This is to let everyone know, that work from my PhD thesis
and from my papers on
compositionality in Web services has been plagiarised word-to-word
80% by
HuaiKou Miao
School of Computer Engineering and Science,
Shanghai University, Shanghai, China
hkmiao@shu.edu.cn
JunFeng Wu
School of Computer Engineering and Science,
Shanghai University, Shanghai, China
Jackeywjf@gmail.com
for a paper they had submitted to an IEEE conference: Second
International Conference on
Internet and Web Applications and Services (ICIW'07).
The
plagiarised paper : "Applying Formal Methods to Compositionality
Description of Web Service"
They have not even bothered to change the figures, text etc and have
infact done a print screen. I can confidently say that the paper is
80% plagiarised from my thesis and papers. It is very easy for me to
prove this. Just to also let you know that they have not bothered to
reference any of my papers or thesis in this copied work
I have written to these two plagiarisers, some PC members of the
conference and also the IPR office of IEEE and I am now waiting for
justice to be done.
PhD (De Montfort University, UK, 2005): A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Services
Abstract
In
this thesis, we propose an architecture based on a ``Compositional''
approach, for the specification,
verification and runtime validation of reactive services and their
composition. We present a sound computational model and a wide
spectrum language, Abstract Service Design Language (ASDL), with well
defined semantics in terms of our underlying logical framework, for
designing service oriented systems. Fundamental to our approach is
the notion of Compositionality. To achieve this, we augment Web
service specifications with properties called
assumption and commitment. We show how runtime validation of service
composition can be achieved using an interpreter
for, Tempura, an executable subset of Interval Temporal Logic (ITL).
Finally we present ``TeSCO-S'': (Te)mporal
(S)emanti(C)s for (O)WL enabled (S)ervices, a framework along with
tool support for enriching
Web service interface specifications, described as OWL ontologies
with the temporal assertions of assumption and
commitment.
Service Oriented Computing (Web Services)
Semantic Web Services
Semantic Web & associated technologies
Distributed computing
Agent based systems
Formal methods
Offline verification(model checking)
Runtime monitoring
m dot solanki at imperial dot ac dot uk