1,720,979 research outputs found
Modeling and Verification of Business Processes for the Public Administration
No full textA successful aspect in today’s organization is the integration and cooperation among Business Processes (BPs) of heterogeneous and disperse organizations.\ud
In such a way different organizations have to logically integrate each others to provide higher value services to users and to improve their efficiency and overall\ud
effectiveness. Moving toward an inter-organizational scenarios suitable to strive cooperation in order to provide integrated functionalities is a need. The integration passes thought the coordination of organizations objectives. It is need a clear\ud
perspective on local and global views on Business Process in order to contribute to the definition of inter-organizational Business Processes stressing the role of messages exchange. The scenario previously introduced is a typical scenario in Public Administration (PA) where several organizations have to cooperate to provide\ud
public service that is the result of inter-administration Business Process. In particular, according to the European Interoperability Framework and its adoptions in the European member states one of the main challenges in PA is to cope with large collections of interconnected Business Processes. According to the Business Process Management life cycle modeling and analysis of inter-organizational BP\ud
are critical activities. This is particularly true in e-government domain.\ud
For what concern the modeling the thesis introduces a Domain Specific Language, eGAML, based on standards such as BPMN 2.0 and UML 2.0 to support the design of e-government services focusing on process component and enabling the explicit representation of related elements. The main scope is not to build a Domain Specific Language that fit every aspect of the Enterprise Architecture in egovernment,\ud
but the thesis aim to define a methodology and a practical approach that drive domain experts to model only specifics views impacting on the Business Process definition, execution and acceptance and to make clear the relations\ud
among them. For what concern the analysis phase the thesis discuss an approach for formal verification of PA inter-organizational BPs. The approach uses state evaluation techniques with an optimized unfolding algorithm based on BPMN 2.0 specific semantic. In this way after BP modeling using BPMN 2.0 the analyst can run our algorithm to check if the BP includes bad traces. In such a case he/she can\ud
re-engineer the BP in order to remove the bad traces so to derive an improved BP.\ud
Result are supported by a user-friendly and web based tool named “HawkEye” that has been successfully applied to real scenarios. It permits to have an integrated environment in which to design and to automatically verify the BP model\ud
via the proposed algorithm.\ud
The approach and the prototype have been successfully applied to real scenarios thanks to a close collaboration with local PA offices, with encouraging results. In particular, subject of the investigation are three cases studies from the e-government domain: (i) family reunion, (ii) grant citizenship, and (iii) bouncer registration
Elctronic Identitry Management Infrastructure for Trustworthy Services in e-Government and e-Commerce
No full textA number of potential initiatives are being considered including the creation of a international electronic identity management infrastructure for trustworthy services in e-government and e-commerce.
A lot of work has been done in recent years in the field of electronic identity management, including through a series of research programs and pilot projects.
While each of these projects contributes new elements to the field of electronic identity management, it is also clear that the results will need to be developed further, refined and integrated.
This paper would open the discussion on the need for a “multi-faceted electronic Identification (eID) system for all citizens", as a key enabler for trustworthy interactions between public authorities, businesses, citizens, and within the large spectrum of social networks and communities.
This concept, which is also referred to as an ubiquitous eID infrastructure for digital life, is envisaged to offer a wide range of functionalities, including the provision of multiple identity instances, from government-accredited to commercially accepted, and ranging from near-anonymity to strong and unambiguous identification.
Furthermore, the system should be user-controlled and privacy-protective, providing the basis for accountability and innovative applications in an open and competitive market
Lessons learned from Federated Identity Management experience in e-Government
No full textNowadays the management of digital identity involves every company and institution, not only in the Internet world. Among different models of identity management, the federated model (FIdM) is the only one able to ensure a strong protection in terms of trust and privacy. Organizations joining the federation can decide to trust each other about which information can be exchanged in the process of authentication and authorization, according to policies agreed upon trust relationship management. This process is going to quickly raise in the immediate future with the adoption of cloud computing by Public Administration (PA).
In Europe, FIdM presents a heterogeneous scenario: not every country has already decided to adopt a federated approach, depending on political choices and local governments relations. With reference to cloud scenario in PA, we believe that is critical to strive the development of Cloud Identity as a Service model
Lessons learnt from Federate Identity Management into practice
Full text linkThe wide diffusion of cloud computing stress the need to introduce distributes identity management enabling services to be delivered in new ways without compromising trust or security. It is needed provide a loosely coupled foundation for bind identity information across a wide variety of intra-organization and inter-organization context. This means that federate identity management in
Public Administration is a clearly addressed precondition. It is suitable to support
fully interactive e-government service delivery. Its adoption maintains organization autonomy in service delivery giving at the same time citizens’ support to access the services that are distributed across security domain. In this paper, starting from a real case study we propose lessons learnt from federate identity management into practic
An ECLIPSE Plug-in for Formal Verification of BPMN Processes
No full textThe Business Process concept represents an important view in the Informative Systems in different application domains. Tools and modeling languages can be used by domain experts to contribute in the Business Process design of the systems. In most of the cases, specifications of Business Process is done without a formal semantic. Resulting systems do not match functional and non-functional requirements due to the communication problems between domain experts and IT-developers. To solve such issues we propose a novel approach enriching the design with a formal semantic and a systematic integration of formal verification. The approach has been implemented as user friendly tool able to design and verify Business Process. The tool is an ECLIPSE plug-in that uses BPMN notation for Business Process specification, implements a mapping from BPMN to the CSP formal language and supports CSP verification via model checking. It is named BP4PA. The proposed approach and tool have been applied on real scenarios
Designing Quality Business Processes for E-Government Digital Services
No full textResearch works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypothesis this situation can be justified since defined service delivery processes do not sufficiently take into account social aspects and mainly focus just on technical aspects. Domain knowledge, related to how delivering high quality e-Government Digital Services, remains in most of the case in the mind of e-government stakeholders.
To address these issues we have developed a quality framework to assess delivery process strategies of services. Moreover we have introduced a user-friendly approach permitting to assess, using formal verification techniques, a delivery process with respect to the defined quality framework. The approach has been also implemented in a plug-in for the Eclipse platform and it has been applied to real case scenarios from the Public Administration domain.
In this paper we report and discuss the results we obtained from the conducted experiments. First of all the experiments provided encouraging results confirming that the approach we developed is applicable to the e-government domain. Moreover we discovered that delivery processes, defined for the services under study, reach low quality marks with respect to the framework
A collaborative approach to public administrations inter-organizational business processes modelling
No full textThe paper presents a collaborative approach to the definition of interorganizational Business Processes. Applying the proposed modeling approach multiple organizations can easily reconcile local and global views. In particular, the modeling phase is based on BPMN 2.0 standard notation and it proceeds according to the following steps: (i) all organizations collaboratively derive a communication view of the process, (ii) a local communication view is automatically deduced for each organization, and (iii) each organization models its own private process taking into account foreseen local communications. The approach is supported by a user-friendly and web based tool named HawkEye that has been successfully applied to real scenarios in the e-government domain
EGOV: A solution for public services execution
No full textPublic Administration (PA) sector in modern society is characterized by the need to support extremely complex processes in order to provide services to citizens and business. Complexity is raised by the fact that the provisioning of services is, in the most cases, a collaborative activity shared among different, possibly many, PA offices. It is also true that in the modern PAs, transparency is one of the most important requirement to improve, on the one hand, administration efficiency and, on the other hand, citizens satisfaction. In this scenario the paper presents an approach and an IT tool supporting PAs collaboration and transparency named Scrivania. It allows Public Administration employee to model, publish their services and be guided by Business Processes models. Many PAs can collaborate in the modeling phase of services using the collaborative editor provided by Scrivania. Services are modeled using BPMN 2.0 OMG standard language for BP modeling. Instead, from the point of view of citizens, using Scrivania, they can search and execute the provided services, tracing their execution and, in case of delay, observe the state it occurs
eGAML: A Domain Specific Language for Design and Verification of e-Government Digital Services
No full text
- …
