Properties Preservation in Distributed Execution of Petri Nets Models

Costa, Anikó; Barbosa, Paulo E. S.; Gomes, Luis; Ramalho, Franklin; Figueiredo, Jorge C. A. de; Junior, Antonio D. dos S.

doi:10.1007/978-3-642-11628-5_26

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2010

Publication Types

Select...

Other1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 11 publications

(1 citation statement)

References 7 publications

(8 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Platformspecific issues such as communication channels, description of message contents, description of external events, and more properties can be combined syntactic constructions since the WS-BPEL language, such as scope, monitoring, and so on. All those processes follow ideas proposed in [9] for a formal extension for MDA incorporated in the methodology proposed in [13].…”

Section: Introductionmentioning

confidence: 99%

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

Barbosa

Costa

Gomes

et al. 2010

2010 8th IEEE International Conference on Industrial Informatics

Self Cite

View full text Add to dashboard Buy / Rent full text

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 codesign 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 platformindependent 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.

show abstract

Properties Preservation in Distributed Execution of Petri Nets Models

Cited by 11 publications

References 7 publications

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

Contact Info

Product

Resources

About