The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The Business Process Modeling Notation (BPMN) has been widely used as a tool for business process modeling. However, BPMN suffers from a lack of standard formal semantics. This weakness can lead to inconsistencies, ambiguities, and incompletenesses within the developed models. In this paper, we propose a formal semantics of BPMN using recursive ECATNets. Owing to this formalism, a large set of BPMN...
Given the constant pressure to improve healthcare efficiency, home care appears as a unique solution for providing personalized healthcare service and home assistance for a growing number of elderly and chronic patients. Home care plans define the health cares or supportive cares delivered by the different home care professionals for a given patient. The management of these plans is challenging since...
System Modelling Language (SysML) is a modelling language that allows system description with various integrated diagrams. The SysML activity diagram (SAD) is widely used to graphically describe system behaviours. Nevertheless, despite the various advantages of SysML, it lacks for formal semantics to achieve the verification of behavioural requirements. Petri nets (PNs) are a popular technique for...
One of the most important advantages of Web services technology is the possibility of combining existing services to create a new composite Web process according to the given requirements. BPEL is a promising language which describes web service composition in form of business processes. However, BPEL is an XML-based language and lack of a sound formal semantic, which hinders the formal analysis and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.