Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Algebraic petri nets"'
Autor:
Triebel, Marvin
Informationssysteme verarbeiten Daten, die logisch und physisch über Knoten verteilt sind. Datenobjekte verschiedener Knoten können dabei Bezüge zueinander haben. Beispielsweise kann ein Datenobjekt eine Referenz auf ein Datenobjekt eines anderen
Externí odkaz:
http://edoc.hu-berlin.de/18452/20360
Autor:
Bathelt-Tok, Franziska
Die steigende Nachfrage an immer komplexeren Systemen in verschiedensten wirtschaftlichen Bereichen, erfordert Strategien, die Wartbarkeit und Wiederverwendbarkeit unterstützen. An diesem Punkt setzen service-orientierte Architekturen (SOAn) an. Die
Externí odkaz:
http://edoc.hu-berlin.de/18452/19304
Publikováno v:
Fundamenta Informaticae, Vol. 113, No 3-4 (2011) pp. 229-264
FUNDAMENTA INFORMATICAE
FUNDAMENTA INFORMATICAE
Although model checking is heavily used in the hardware domain, it did not take off in software engineering yet. One of the possible reasons is that software models are very complex. They integrate many dimensions such as data types and concurrency,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f173ae0a3773311e0ee6f13453787dc6
https://doi.org/10.3233/fi-2011-608
https://doi.org/10.3233/fi-2011-608
Publikováno v:
SafeConfig@CCS
The need of cyber security is increasing as cyber attacks are escalating day by day. Cyber attacks are now so many and sophisticated that many will unavoidably get through. Therefore, there is an immense need to employ resilient architectures to defe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c732618b1799cbcc69cb373cc6515a48
https://doi.org/10.1145/2809826.2809836
https://doi.org/10.1145/2809826.2809836
Autor:
Lorenzo Capra
Publikováno v:
SYNASC
Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are inadequate to model structural changes in systems' lifecycle. Many different attempts to face this issue have lead to lot of PN extensions, of particul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99744329ccb28de77f1f0a5d32f7567b
https://doi.org/10.1109/synasc.2015.19
https://doi.org/10.1109/synasc.2015.19
Autor:
Nasreddine Aoumeur, Gunter Saake
Publikováno v:
Data & Knowledge Engineering. 50:117-173
Besides the steady growing of size-complexity and distribution of present-day information systems, business volatility with rapid changes in users' wishes and technological upgrading are stressing an overwhelmingly need for more advanced conceptual m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5348480ce7eaa043d346b96233c9ad0a
https://doi.org/10.1016/j.datak.2003.10.005
https://doi.org/10.1016/j.datak.2003.10.005
Autor:
Franziska Bathelt-Tok, Sabine Glesner
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319068589
ICSOC Workshops
ICSOC Workshops
The treatment of data is a crucial step in service composition but it is currently done manually and informally. This makes the development process time-consuming, expensive, and error-prone, which is serious in safety-critical domains like the medic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d0e504ad0d368286619334e0415365a
https://doi.org/10.1007/978-3-319-06859-6_47
https://doi.org/10.1007/978-3-319-06859-6_47
Publikováno v:
PervasiveHealth
Due to the lack of formal data treatment within the controller synthesis process, a lot of manual effort is needed to enable a reliable and safe interoperability of medical devices. This manual effort makes the process time-consuming, expensive, erro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::195a4bbe8f3a4b1a2507239469b387a5
https://doi.org/10.4108/icst.pervasivehealth.2014.254949
https://doi.org/10.4108/icst.pervasivehealth.2014.254949
Autor:
Xudong He, Chieh-Ying Kan
Publikováno v:
Information and Software Technology. 37:411-434
Algebraic Petri nets have been developed as a suitable formal method for concurrent and distributed systems in recent years. However, applications of algebraic Petri nets to non-trivial real-world systems are scarce. In this paper, we present an alge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e71da5c151164cb30db37f0d869237b
https://doi.org/10.1016/0950-5849(95)98038-h
https://doi.org/10.1016/0950-5849(95)98038-h