{'fraction_non_alphanumeric': 0.021784232365145227, 'fraction_numerical': 0.001037344398340249, 'mean_word_length': 5.146496815286624, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
From Healthcare System Specifications to Formal Models

A domain-specific modeling language called Healthcare System Specifications (HSS) was proposed for developing clinical pathways. This high-level language was defined as a Unified Modeling Language (UML) profile. It was also proposed a model to model transformation which obtains from pathways HSS specification, a Stochastic Well-formed Net (SWN). The SWN has the capacity to model the complex healthcare system, however, it is hard to perform qualitative and quantitative analysis in this kind of nets. This paper presents a set of relaxations, abstractions and modifications to be applied in the SWNs in order to obtain subclasses of Petri Nets in which formal analysis can be performed. In particular, we obtain the classes of S4 PR and DSSP nets. The first one considers the shared resources of the hospital while the second class allows managing the interchange of information between clinical pathways.