pros.unicam.itPROS - PROcesses & Services lab | Computer Science division

PROS - PROcesses & Services lab | Computer Science division @Unicam PROS PROcesses & Services Lab Expand Menu Tools Projects & Collaborations Publications PROSlab Team Events Expand Menu Tools Projects & Collaborations Publications PROSlab Team Events PROS PROcesses & Services lab Research in computer science, carried out within the PROS Lab, deals with the development of languages and techniques for the modelling, analysis and developmentof process aware information systems and services oriented applications. Our goal is to push the use of formal methods as methodological and automatic tools for the development of high-quality software development. To make our tools usable by people not acquainted with the underlying mathematical foundations; we aim at effective but disappearing formal methods. Our main areas of expertise are formal method and software engineering, with a wide range of applications domain such as smart manufacturing, smart government, smart health and smart city. RePROSitory RePROSitory (Repository of open PROcess modelS) is a web-based and open repository of business process models and logs made available… Read More X-IoT X-IoT Tool Freedomotic simulation Virtual Machine Publications «X-IoT (read as cross-IoT) is a novel model-driven approach that uses a high… Read More MIDA MIDA (Multiple Instances and Data Animator) is a BPMN animator based on the Camunda bpmn.io web modeler. MIDA integrates our BPMN… Read More Purple PURPLE (PURPose-guided Log gEnerator) is an automatic event log generator that implements a guided simulation approach for business process models.… Read More Colliery COLLIERY (COLLaboration dIscovERY) is a novel technique that permits discovering a business process collaboration from a set of event logs… Read More BEBoP Read More PROS - PROcesses & Services lab via Madonna delle Carceri, 9 Camerino (MC) - Italy pros@unicam.it PRIVACY POLICY PROS © 2024. All Rights Reserved. Best Wordpress Popup Plugin We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking Accept All”, you consent to the use of ALL the cookies. However, you may visit "Cookie Settings" to provide a controlled consent. Cookie Settings Accept All Manage consent Close Privacy Overview This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on . Necessary Necessary Always Enabled Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously. Cookie Duration Description cookielawinfo-checkbox-advertisement 1 year Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Advertisement" category . cookielawinfo-checkbox-analytics 11 months This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics". cookielawinfo-checkbox-functional 11 months The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional". cookielawinfo-checkbox-necessary 11 months This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary". cookielawinfo-checkbox-others 11 months This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other. cookielawinfo-checkbox-performance 11 months This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance". JSESSIONID session Used by sites written in JSP. General purpose platform session cookies that are used to maintain users’ state across page requests. viewed_cookie_policy 11 months The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data. Functional Functional Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features. Performance Performance Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors. Analytics Analytics Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc. Cookie Duration Description CONSENT 2 years YouTube sets this cookie via embedded youtube-videos and registers anonymous statistical data. Advertisement Advertisement Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads. Cookie Duration Description VISITOR_INFO1_LIVE 5 months 27 days A cookie set by YouTube to measure bandwidth that determines whether the user gets the new or old player interface. YSC session YSC cookie is set by Youtube and is used to track the views of embedded videos on Youtube pages. yt-remote-connected-devices never YouTube sets this cookie to store the video preferences of the user using embedded YouTube video. yt-remote-device-id never YouTube sets this cookie to store the video preferences of the user using embedded YouTube video. Others Others Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet. Cookie Duration Description ice.connection.contextpath session No description ice.connection.lease session No description ice.connection.running session No description ice.push.browser session No description ice.pushids session No description ultp_view_2478 1 day No description ultp_view_2524 1 day No description ultp_view_2526 1 day No description ultp_view_2534 1 day No description ultp_view_2542 1 day No description ultp_view_2544 1 day No description ultp_view_2546 1 day No description ultp_view_2613 1 day No description ultp_view_2620 1 day No description ultp_view_2622 1 day No description ultp_view_2624 1 day No description ultp_view_2668 1 day No description ultp_view_2674 1 day No description SAVE & ACCEPT...