Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models

Rasse, Alban; Perronne, Jean-Marc; Müller, Pierre-Alain; Thirion, Bernard

doi:10.1007/11663430_5

Search citation statements

Order By: Relevance

Paper Sections

Select...

Proceedings Of the 17th World Congress The International Fed1

Uml To Fsp Transformation1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2007

2008

Publication Types

Select...

Article1

Other1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(2 citation statements)

References 8 publications

(9 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…MDE also provides tools (Eclipse EMF, Budinsky et al (2003); GME, Ledeczi et al (2001) or MetaEdit+, which can be configured with these meta-models and used in specific domains. In Rasse et al (2005), A. Rasse uses for example MetaEdit+ to model dynamical systems and automatically get a representation that can be analyzed with a Model-Checking tool (in this case, LTSA, Magee and Kramer (1999)). Then, the model is transformed to obtain executable code.…”

Section: Proceedings Of the 17th World Congress The International Fedmentioning

confidence: 99%

A metamodeling approach for safe control software

Collonville

Thiry

Perronne

et al. 2008

IFAC Proceedings Volumes

View full text Add to dashboard Cite

Section: Proceedings Of the 17th World Congress The International Fedmentioning

confidence: 99%

A metamodeling approach for safe control software

Collonville

Thiry

Perronne

et al. 2008

IFAC Proceedings Volumes

View full text Add to dashboard Cite

“…Our works have shown how FSP models can be automatically generated. A. Rasse (Rasse et al, 2005) has used MetaEdit+, a tool of the MDE community, configured with an UML metamodel, a FSP metamodel and the transformation rules described below (and illustrated in Fig. 7) to validate critical systems modeled with UML (conforms to the metamodel chosen).…”

Section: Uml To Fsp Transformationmentioning

confidence: 99%

A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml

Ossami¹,

Mota²,

Thiry³

et al. 2007

Proceedings of the Second International Conference on Software and Data Technologies

View full text Add to dashboard Cite

There are today an abundance of standards concerned with the development and certification of railway safetycritical systems. They recommend the use of different techniques to describe system requirements and to pursue safety strategies. One problem shared by standards is that they only prescribe what should be done or use but they provide no guidance on how recommendations can be fulfilled. The purpose of this paper is to investigate a methodology to model guidelines for building certifiable UML models that cater for the needs and recommendations of railway standards. The paper will explore some of the major tasks that are typical of development guidelines and will illustrate practical steps for achieving these tasks.

show abstract

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models

Cited by 2 publications

References 8 publications

A metamodeling approach for safe control software

A metamodeling approach for safe control software

A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml

Contact Info

Product

Resources

About