Constraint Formalization for Automated Assessment of Enterprise Models

Autor: Joosten, S.M.M., Roubtsova, E.E., Haddouchi, El Makki, Filipe, Joaquim, Smialek, Michal, Hammoudi, Slimane

Publikováno v: Proceedings of the 24th International Conference on Enterprise Information Systems, 2, 430-441

Enterprises always do their business within some restrictions. In a team of enterprise architects, the restrictions are transformed into the modelling conventions and the corresponding modelling constraints that should be consistently applied across

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e6a6807c7b6c47e07452518dbce0281
https://research.ou.nl/en/publications/e578e950-f076-4b93-9362-d3bb79da90e4

Design Policy Checking in ArchiMate

Autor: Joosten, S.M.M., Haddouchi, E.M., Roubtsova, E.E.

Publikováno v: Joosten, S M M, Haddouchi, E M & Roubtsova, E E 2020 ' Design Policy Checking in ArchiMate : On the Cases Technology Policies in a Medical Center ' EasyChair .

This paper presents the results of an investigation on the automatic verification of organization-specific policies in the context of the Open Group enterprise modeling language ArchiMate. This paper analyses a set of technical design policies from a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0c05b9da4bdda4040d94f09e76390a69
https://hdl.handle.net/1820/62dfdad9-2771-459f-a39a-45421e293111

Type Checking by Domain Analysis in Ampersand

Autor: Joosten, S.M.M., Joosten, S.J.C., Kahl, Wolfram, Winter, Michael, Oliveira, José

Publikováno v: Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015, Proceedings, 225-240
STARTPAGE=225;ENDPAGE=240;TITLE=Relational and Algebraic Methods in Computer Science
Joosten, S M M & Joosten, S J C 2015, Type Checking by Domain Analysis in Ampersand . in W Kahl, M Winter & J Oliveira (eds), Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015, Proceedings . Springer Nature Switzerland AG, Cham, Lecture Notes in Computer Science (LNCS) series, vol. 9348, Theoretical Computer Science and General Issues (LNCS subseries), vol. 9348, pp. 225-240, 15th International Relational and Algebraic Methods in Computer Science, Braga, Portugal, 28/09/15 . https://doi.org/10.1007/978-3-319-24704-5_14
Relational and Algebraic Methods in Computer Science (15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015), 225-240
STARTPAGE=225;ENDPAGE=240;TITLE=Relational and Algebraic Methods in Computer Science (15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015)
Relational and Algebraic Methods in Computer Science ISBN: 9783319247038
RAMICS

In the process of incorporating subtyping in relation algebra, an algorithm was found to derive the subtyping relation from the program to be checked. By using domain analysis rather than type inference, this algorithm offers an attractive visualizat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1911f24bdeb70007260de6d494077c7b
https://hdl.handle.net/1820/7b920b3a-bfff-4165-ba0c-9c0ed4c2a472

The Implementation of Hohfeldian Legal Concepts with Semantic Web Technologies

Autor: Slootweg, Pieter, Rutledge, L.W., Wedemeijer, L., Joosten, S.M.M.

Publikováno v: AI4J – Artificial Intelligence for Justice, August 30, 2016 The Hague, The Netherlands: Workshop at the 22nd European Conference on Artificial Intelligence (ECAI 2016), 65-72
STARTPAGE=65;ENDPAGE=72;TITLE=AI4J – Artificial Intelligence for Justice, August 30, 2016 The Hague, The Netherlands
Slootweg, P, Rutledge, L W, Wedemeijer, L & Joosten, S M M 2016, The Implementation of Hohfeldian Legal Concepts with Semantic Web Technologies . in AI4J – Artificial Intelligence for Justice, August 30, 2016 The Hague, The Netherlands : Workshop at the 22nd European Conference on Artificial Intelligence (ECAI 2016) . IOS Press, Amsterdam, pp. 65-72, Twenty-second European Conference on Artificial Intelligence, The Hague, Netherlands, 29/08/20 . < http://www.ecai2016.org/content/uploads/2016/08/W2-ai4j-2016.pdf >

This research explores how and to what extent SemanticWeb techniques can implement Hohfeldian legal concepts. Lawsand regulations are forms of rules in natural language. Becauselaws are objective and formal, they are suitable for specificationwith fo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ee6829ef062dc85e5e07a8f24d74b53a
https://research.ou.nl/en/publications/7a22bd5d-ba3e-432f-8f13-cda0342f45cb

Relational Heterogeneity Relaxed by Subtyping

Autor: Woude, van der, J.C.S.P., Joosten, S.M.M., Swart, de, H.

Publikováno v: Relational and Algebraic Methods in Computer Science ISBN: 9783642210693
RAMICS
Relational and Algebraic Methods in Computer Science (12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30–June 3, 2011. Proceedings), 347-361
STARTPAGE=347;ENDPAGE=361;TITLE=Relational and Algebraic Methods in Computer Science (12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30–June 3, 2011. Proceedings)

Homogeneous relation algebra is an elegant calculational framework with many applications in computing science. In one application of relation algebra, called Ampersand, heterogeneous relation algebra is used as a specification language for business

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a2330b88469e797473c3cfce42065da
https://doi.org/10.1007/978-3-642-21070-9_25