{"entities":{"Q2889178":{"pageid":2899903,"ns":120,"title":"Item:Q2889178","lastrevid":51483953,"modified":"2026-01-18T11:19:43Z","type":"item","id":"Q2889178","labels":{"en":{"language":"en","value":"Formal methods to improve public administration business processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6042918"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$4768D803-04F6-4BA2-A03B-76391F7C2451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"934df5c9f9a39e07628ae56315ab208240794ec1","datavalue":{"value":"1252.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889178$875B4AC0-9CA6-43ED-8C69-E19FA29ED697","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4805a8bc9dfe29c652d7d63a6c821347a8470ce3","datavalue":{"value":{"entity-type":"item","numeric-id":2889176,"id":"Q2889176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$B85A48AA-9CB5-486E-8ADE-CD2797DEDD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d22b95c7964789e2a5f23a055634322e2c57b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2889177,"id":"Q2889177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$857CF3B7-C5A3-4158-9B4B-0B841CCBD5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"462cdc00d961660f6a3a35e1edd0e6c795b2eafb","datavalue":{"value":{"entity-type":"item","numeric-id":1996862,"id":"Q1996862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$A830CC6B-DD13-4028-A8EF-A7F1EECE53BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92c180fa33e94556eaf92f133d6647ee587537b6","datavalue":{"value":{"time":"+2012-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2889178$120C37C4-E9EF-4D9B-A533-73D092F26058","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37a68566db2eb8b404a9184713c0d2dbf6337590","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2012__46_2_203_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2889178$B8589D57-5C37-4C61-BE0D-3327BD184F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"992478bc1a0558fd988a309eb8a34599bc8f2cad","datavalue":{"value":"https://eudml.org/doc/221949","type":"string"},"datatype":"url"},"type":"statement","id":"Q2889178$DCBF4D24-0D6B-4937-970A-F05941D87C5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889178$42DF94A1-44D4-4D1A-847B-D42E4E0268C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889178$72D87AAC-F9F9-4AFC-B689-85742DB86D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889178$04EA8C80-F266-4DDD-87C4-59957FCE2105","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acefa45692ab28f2ffbe77465453d6f6617e10a9","datavalue":{"value":"6042918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889178$F62B459E-5AC2-41F9-9A96-DDC51645BD46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f80bf0165da192ef329954665a4eff722a23fcb","datavalue":{"value":"verification of business process models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889178$C077FEAD-046B-4092-9878-A5A9BB09B2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd583470d9c44e83f2d7923bf89999332170063","datavalue":{"value":"business process quality assessment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889178$BAD62DC7-903A-427A-BAB4-BD736B285458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7456c7276e94b617eef47bb2ef09d0c379dcaf15","datavalue":{"value":"domain dependent property checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889178$40DCC450-7EB4-4BE1-84A1-AC9E5ADF2E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef4a5e19052e348252262873df6e7d6f90b3b1b","datavalue":{"value":"e-government quality framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889178$E645AF42-57EA-459E-807A-C28B758F7801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965dfb91e27d4060b36fe2f311110e30c8533925","datavalue":{"value":"CSP models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889178$92668A44-EA14-424B-A7DC-2F1AE903A652","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86c5760bd620e2915a66d9077b4ed2ef38f56dbf","datavalue":{"value":{"entity-type":"item","numeric-id":13766,"id":"Q13766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$BB1D4AC0-4525-49A5-9E51-52FA6BC36355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c59b3e9560faf9a1fc9bc5f21675991982ae6e4","datavalue":{"value":{"entity-type":"item","numeric-id":16564,"id":"Q16564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$E154D33C-3B22-4F66-8536-8C802638A32A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$7CB14C94-86BA-46C0-9915-51A339CD8F34","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db99b907d4d96f336268fdbb7350bb891dc6dbf6","datavalue":{"value":"Q123763112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889178$01B4EA7F-08C3-4B23-9EBD-750A53A67778","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18dc12fb98665cf67f7f4b672663ea6fa6468cda","datavalue":{"value":"W2117568741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889178$73FD2AFF-A8FC-46D6-9CFA-9B186A6E14B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$5587E501-0016-4E7F-B1A0-0F49E05B7A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$C163538D-212F-4820-9832-75FA8A94F9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac401061be2855dd82e617ca880a8f1b7c9b280e","datavalue":{"value":{"entity-type":"item","numeric-id":931435,"id":"Q931435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$F63E332D-878C-469E-896C-C265C8B71860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49ec6e47a14fd4a69a8ba31b79b225340e4aa8c","datavalue":{"value":{"entity-type":"item","numeric-id":541678,"id":"Q541678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$0B1CB3B3-9B03-4CF1-8ED8-8E74C1569C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a1aae10da6da0ed92dfd74794f7b9d99f2f2cd","datavalue":{"value":{"entity-type":"item","numeric-id":3605458,"id":"Q3605458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$6698BE62-D50C-4D3E-8DCF-4A6EFE29E676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0b8e2fc4526b6673426654fd267fe1b28e8fddb","datavalue":{"value":"10.1051/ITA/2012002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889178$7D1B3E44-E563-449F-8FAB-1681043C4A68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e50ab18c97aa8fc8e2e08eb5542f8823e798f7eb","datavalue":{"value":{"text":"Formal methods to improve public administration business processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2889178$61BA3BA0-1073-416F-9281-967CBDF00992","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f88448172ceeff64deca4b9e915d4e399ebac232","datavalue":{"value":{"entity-type":"item","numeric-id":6551806,"id":"Q6551806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889178$1A0AE57D-7C0E-41EC-9A3D-834D9F339D6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6fabab997b3a2e0927ae49da55ba464415cdb02e","datavalue":{"value":"The article presents a quality framework and tool chain to ensure that designed business processes meet a set of given quality requirements. The work is motivated by an investigation of business processes from the public sector where it has been found that e-government solutions often fail to meet the needs of their users, because they are designed along the existing paper-based processes. The presented quality framework consists of two main steps: First, business process models that are described in the Business Process Model and Notation (BPMN) standard are mapped to process algebraic descriptions, notably CSP models. Second, a set of predefined quality templates represented as linear temporal logic (LTL) formulas is instantiated for a specific business process. Together, the resulting CSP models and LTL formulas become input into a formal verification tool that checks whether a given business process model satisfies a set of given quality attributes. The quality attributes themselves are derived from requirements in the public sector; however, many of them are also applicable to other domains, because they formalize general requirements such as coordination, sharing, control, transparency, and inclusion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889178$2753A3AB-1C5C-4D70-B2D4-915CAA1EA0A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9cb508944157b7f40c640ddc0abd1abb6cced6","datavalue":{"value":{"entity-type":"item","numeric-id":1859984,"id":"Q1859984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b08eee23d012ccd79fc3edb38c64865e1c9c092","datavalue":{"value":{"amount":"+0.7333616018295288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2889178$8DD09AE7-FCE3-49BE-A7B6-D2A8EA0F5860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b513e0e1ca7acaf7bdea6994bf0698fb260955","datavalue":{"value":{"entity-type":"item","numeric-id":1037243,"id":"Q1037243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afdb938a5f6b305d5f86e5825d3aedba15bff2b0","datavalue":{"value":{"amount":"+0.698621392250061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2889178$B15E823B-4A49-4284-9B37-58E036EEC8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b316c0b53d26ae3bd6e7adaa438cca889c8bbc3","datavalue":{"value":{"entity-type":"item","numeric-id":464876,"id":"Q464876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6802962420227ffcc98cde596439b001c13ae06d","datavalue":{"value":{"amount":"+0.6937338709831238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2889178$7F25DB6A-8B99-4ED8-AEE4-705288DEB5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8384a269e2b38583b7970a42df2a53eb511dce09","datavalue":{"value":{"entity-type":"item","numeric-id":5696655,"id":"Q5696655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5989a872dea3ede891c601b0a29bb9b02763c544","datavalue":{"value":{"amount":"+0.688231348991394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2889178$85EDD801-A253-4944-8FCD-7E09E47DE4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c793024332f128650a12dc21cc4ecb0389e82a","datavalue":{"value":{"entity-type":"item","numeric-id":2292988,"id":"Q2292988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b646c2e974e9f5f865267629df3b675e7e4b9e1","datavalue":{"value":{"amount":"+0.6839627027511597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2889178$78D5178A-F208-41B7-8F7C-61319C794AC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2889178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2889178"}}}}}