Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Business process discovery methods and process calculus for RESTful systems.

2012/05/N/ST6/03051

Keywords:

distributed system SOA REST ROA business process formal methods

Descriptors:

  • ST6_2: Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems
  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Politechnika Poznańska, Wydział Informatyki

woj. wielkopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Andrzej Stroiński 

Number of co-investigators in the project: 3

Call: PRELUDIUM 3 - announced on 2012-03-15

Amount awarded: 123 500 PLN

Project start date (Y-m-d): 2013-02-26

Project end date (Y-m-d): 2016-02-25

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (3)
  • Articles in post-conference publications (3)
  1. Conformance checking of structural and workflow properties of communicating resource systems with ROC
    Authors:
    Dariusz Dwornikowski, Andrzej Stroiński, Jerzy Brzeziński
    Academic press:
    Journal of Computer Science and Technology , Wydawca: jointly published by Springer and Science Press of China
    Status:
    Submitted
    DOI:
    b.d. - link to the publication
  2. Towards a process calculus for REST: current state of the art
    Authors:
    Dariusz Dwornikowski, Andrzej Stroiński, Jerzy Brzeziński
    Academic press:
    Foundations of computing and decision sciences (rok: 2015, tom: 40, strony: 37-265), Wydawca: De Gruyter Open
    Status:
    Published
    DOI:
    10.1515/fcds-2015-0015 - link to the publication
  3. A Distributed Discovery of Communicating Resource Systems Models
    Authors:
    Andrzej Stroiński, Dariusz Dwornikowski, Jerzy Brzeziński
    Academic press:
    IEEE Transactions on Service Computing (rok: 2016, ), Wydawca: IEEE Xplore (Service en ligne); Institute of Electrical and Electronics Engineers; IEEE Computer Society, Institute of Electrical and Electronics Engineers
    Status:
    Accepted for publication
    DOI:
    10.1109/TSC.2016.2609913 - link to the publication
  1. Conformance checking of communicating resource systems with RAs calculus
    Authors:
    Dariusz Dwornikowski, Andrzej Stroinski, Jerzy Brzezinski
    Conference:
    12th IEEE International Conference on Services Computing (rok: 2015, ), Wydawca: IEEE Computer Society
    Data:
    konferencja June 27 - July 2
    Status:
    Published
  2. RESTful Web Service Mining: simple algorithm supporting resource-oriented systems
    Authors:
    Andrzej Stroiński, Dariusz Dwornikowski, Jerzy Brzeziński
    Conference:
    21th IEEE International Conference on Web Services (rok: 2014, ), Wydawca: special section of the ICWS 2014 Conference Proceedings on in both CD-ROM version and online version in the digital library of IEEE Computer Society
    Data:
    konferencja 27 czerwiec - 2 lipiec 2014
    Status:
    Published
    DOI:
    link to the publication
  3. Resource Mining: Applying Process Mining to Resource-oriented Systems.
    Authors:
    Andrzej Stroiński, Dariusz Dwornikowski, and Jerzy Brzeziński
    Conference:
    17th International Conference on Business Information Systems (rok: 2014, ), Wydawca: Springer-Verlag
    Data:
    konferencja 21-23 Maja 2014
    Status:
    Published
    DOI:
    link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy