References of "risoldi, matteo"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailOptimizing algebraic petri net model checking by slicing
Khan, Yasir Imtiaz UL; risoldi, matteo

in International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013. (2013)

High-level Petri nets make models more concise and read- able as compared to low-level Petri nets. However, usual verification techniques such as state space analysis remain an open challenge for both ... [more ▼]

High-level Petri nets make models more concise and read- able as compared to low-level Petri nets. However, usual verification techniques such as state space analysis remain an open challenge for both because of state space explosion. The contribution of this paper is to propose an approach for property based reduction of the state space of Algebraic Petri nets (a variant of high-level Petri nets). To achieve the objective, we propose a slicing algorithm for Algebraic Petri nets (APNSlicing). The proposed algorithm can alleviate state space even for certain strongly connected nets. By construction, it is guaranteed that the state space of sliced net is at most as big as the original net. We exemplify our technique through the running case study of car crash management system. [less ▲]

Detailed reference viewed: 55 (8 UL)
Full Text
Peer Reviewed
See detailLanguage Enrichment for Resilient MDE
Khan, Yasir Imtiaz UL; risoldi, matteo

in Software Engineering for Resilient Systems Lecture Notes in Computer Science (2012, September 27), 7527

n Model-Driven Engineering, as in many engineering approaches, it is desireable to be able to assess the quality of a system or model as it evolves. A resilient engineering practice systematically ... [more ▼]

n Model-Driven Engineering, as in many engineering approaches, it is desireable to be able to assess the quality of a system or model as it evolves. A resilient engineering practice systematically assesses whether evolutions improve on the capabilities of a system. We argue that to achieve a systematic resilient model-driven engineering practice, resilience concepts should be first-class citizens in models. This article discusses how DREF, a formal framework defining resilience concepts, can be integrated with other modeling languages in order to pursue a resilient development process. [less ▲]

Detailed reference viewed: 159 (2 UL)