NDLI: A MDA-based contribution for integrating web services within embedded system's design

Content Provider	IEEE Xplore Digital Library
Author	Barbosa, P.E.S. Costa, A. Gomes, L. Ramalho, F. de Figueiredo, J.C.A. Junior, A.
Copyright Year	2010
Description	Author affiliation: Universidade Nova de Lisboa, Portugal (Costa, A.; Gomes, L.) \|\| Universidade Federal de Campina Grande, Brazil (Barbosa, P.E.S.; Ramalho, F.; de Figueiredo, J.C.A.; Junior, A.)
Abstract	In recent years, we have witnessed the emerging trend in industrial informatics of joining web-services technologies in the embedded system's design. In one hand web-services turns lower the integration efforts of several technological entities through platform-independent interfaces. On the other hand it is well-known that embedded systems are everywhere, taking a great amount of research in design approaches due to their increasing complexity. Back to the first hand, the Web Services Business Process Execution Language (WS-BPEL) was proposed to provide a formal specification of business processes and protocols, being very useful in the Service Oriented Architecture (SOA). This formal way is generally achieved because of the immediate translation to Petri nets. Back to the second hand, the Input Output Place Transition Petri nets (IOPT) is a system-level specification language proposed to be employed within the co-design of embedded systems through the reuse of formal methods techniques. However, due to the very high level of abstraction in the first hand and the very immediate deployment facilities proposed by the second hand, a gap between the platform-independent and the platform-specific levels does not allow a natural development flow inheriting what both hands could offer. This paper proposes the immediate handshaking between these hands, filling the gap throughout the reuse of a proposed operation for model decomposition, formalized and verified as a model-to-model transformation and with a complete unification through the Model-Driven Architecture (MDA) philosophy.
Starting Page	565
Ending Page	570
File Size	3816163
Page Count	6
File Format	PDF
ISBN	9781424472987
e-ISBN	9781424473007
DOI	10.1109/INDIN.2010.5549679
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-07-13
Publisher Place	Japan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Protocols Web services Embedded system Petri nets Service oriented architecture Computer architecture Filling Specification languages Formal specifications Informatics
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Formal specification of web services composition

Integrating performance analysis in the context of LOTOS-based design

A Proof Based Approach for Modelling and VerifyingWeb Services Compositions

The Simulation of DARC (Dynamic Architecture for Reconfiguration of Web Servers Clusters) in Petri Nets

Object-oriented concepts for coloured Petri nets

Formal Specification of OWL-S with Object-Z: the Static Aspect

The Research on Formal Specification and Review of Workflows

Policy based Web Service Orchestration and Goal Reachability Analysis using MSC and CP Nets

WS-Net: a Petri-net based specification model for Web services

A MDA-based contribution for integrating web services within embedded system's design

Similar Documents

Formal specification of web services composition

Integrating performance analysis in the context of LOTOS-based design

A Proof Based Approach for Modelling and VerifyingWeb Services Compositions

The Simulation of DARC (Dynamic Architecture for Reconfiguration of Web Servers Clusters) in Petri Nets

Object-oriented concepts for coloured Petri nets

Formal Specification of OWL-S with Object-Z: the Static Aspect

The Research on Formal Specification and Review of Workflows

Policy based Web Service Orchestration and Goal Reachability Analysis using MSC and CP Nets

WS-Net: a Petri-net based specification model for Web services

A MDA-based contribution for integrating web services within embedded system's design