Many problems in manufacturing systems can be formulated via Markov stochastic
modeling. This paper gives a review and classification of timed models of manufacturing …

Equivalence checking is a formal verification approach that consists in proving that two
programs or models are related modulo some equivalence relation, or that one is included …

The Model-Based approach for safety and reliability analysis is gradually wining the trust of
engineers but is still an active domain of research. Safety engineers master" traditional''risk …

Development processes for software construction are common knowledge and mainstream
practice in most development organizations. Unfortunately, these processes offer little …

Abstract Big Data or Data-Intensive applications (DIAs) seek to mine, manipulate, extract or
otherwise exploit the potential intelligence hidden behind Big Data. However, several …

This paper presents the advantages in extending Classical Tensor Algebra (CTA), also
known as Kronecker Algebra, to allow the definition of functions, ie, functional dependencies …

This paper gives a summary of some of the work of the Performance Evaluation Process
Algebra (PEPA) project, which was awarded the 2004 Roger Needham Award from the …

This paper presents a set of rules that allows software engineers to transform the behavior
described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in …

In this paper we present an original method of analysing the newly-revised UML2. 0 activity
diagrams. Our analysis method builds on our formal interpretation of these diagrams with …

KLAIM is an experimental language designed for modeling and programming distributed
systems composed of mobile components where distribution awareness and dynamic …