Zdravković, M., Trajanović, M. On the Runtime Models for Complex, Distributed and Aware Systems. 5th International Conference on Information Society Technologies, Kopaonik, Serbia, March 2015
Enabling IoT Devices’ Hardware and Software Interoperability, IPSO Alliance (...Open Mobile Alliance
Presentation delivered during the Internet of Things World, Santa Clara pre-event workshop by Christian Legare - IPSO Alliance Chairman, Chief of Software Engineering, Micrium (Part of Silicon Labs)
Internet Protocol for Smart Objects (IPSO) is an alliance that, among other things, defines a data model to represent sensor values and attributes. OMA uses IPSO Smart Objects v1.0 as its resource model to expose sensor information to a remote LwM2M Server. From the speaker from IPSO Alliance, you will learn:
● What is an IPSO Smart Object data model
● What do these Objects and Resources look like
● How to create and register your own resources
● What is next for IPSO Alliance
Enabling IoT Devices’ Hardware and Software Interoperability, IPSO Alliance (...Open Mobile Alliance
Presentation delivered during the Internet of Things World, Santa Clara pre-event workshop by Christian Legare - IPSO Alliance Chairman, Chief of Software Engineering, Micrium (Part of Silicon Labs)
Internet Protocol for Smart Objects (IPSO) is an alliance that, among other things, defines a data model to represent sensor values and attributes. OMA uses IPSO Smart Objects v1.0 as its resource model to expose sensor information to a remote LwM2M Server. From the speaker from IPSO Alliance, you will learn:
● What is an IPSO Smart Object data model
● What do these Objects and Resources look like
● How to create and register your own resources
● What is next for IPSO Alliance
Software Engineering Patterns for Machine Learning ApplicationsHironori Washizaki
Hironori Washizaki, Software Engineering Patterns for Machine Learning Applications, 2021 IEEE International Conference on Electronic Technology, Communication and Information (ICETCI 2021), Keynote, August 28, Online, 2021.
Semantic Interoperability Issues and Approaches in the IoT.est Projectiotest
P Barnaghi, Semantic Interoperability Issues and Approaches in the IoT.est Project, at the IERC AC4 Semantic interoperability Workshop (during the IoT-week 2012), Venice, Italy, 19 June 2012
Interoperability standards for connecting micro-learning mobile apps with web...Evangelia Mitsopoulou
This presentation was presented on 26th September 2013, in MicroLearning 7.0 Conference Krems/Göttweig (Austria). The conference's topic was "Mobile Learning Outcomes: Mobile Learning Strategies and Measuring Effectiveness".
September 26 - 27, 2013 - Krems/Göttweig (Austria)
Open source software ecosystem modelling has emerged asan important research area in software engineering. Several models havebeen proposed to identify and analyse the complex relationships in OSS-ecosystems. However, there is a lack of formal models, methodologies,tool support, and standard notations for OSS-ecosystems. In this paperwe propose a general framework for support the OSS-ecosystems mod-elling process. This framework will allow the representation, synthesis,analysis, evaluation, and evolution of OSS-ecosystems. Design sciencemethodology is proposed to create several artefacts and investigatingthe suitability of these artefacts in the OSS-ecosystem context.
Browser-Based Collaborative Modeling in Near Real-TimeNicolaescu Petru
Nicolaescu, P., Derntl, M., Klamma, R.: Browser-Based Collaborative Modeling in Near Real-Time. In Proceedings of 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2013). Austin, TX, USA: IEEE (2013)
Fundamentals of object orientation, objects, classes, classification and object models delivered to post-graduate students of Object Oriented Software Engineering.
View Based Near Real Time Collaborative Modeling for Information Systems Engi...Nicolaescu Petru
Near real-time collaborative modeling using views and viewpoints, realized using our SyncMeta framework. We support the definition of arbitrary viewpoints and the generation of multiple and arbitrary views on a model, using a metamodel to model instantiation.
Analyzing Big Data's Weakest Link (hint: it might be you)HPCC Systems
Tim Menzies, NC State University, presents at the 2015 HPCC Systems Engineering Summit Community Day.
For Big Data applications, there is a lack of any gold standards for "good analysis" or methods to assess our certification programs. Hence, we are still in the dark about whether or not our human analysts are making the best use possible of the tools of Big Data. While much progress has been made in the systems aspects of Big Data, certain critical human-centered aspects remain an open issue. Regardless of the sophistication of the analysis tools and environment, all that architecture can still be used incorrectly by users. If this issue was confined to a small number of inexperienced users, then it could be addressed via process improvements such as better training. But is it? What do we know about our analysts? Where are the studies that mine the people doing the data miners?
This presentation offers some preliminary results on tools that combine ECL with other methods that recognize the code generated by experienced or inexperienced developers. While the results are preliminary, they do raise the possibility that we can better characterize what it means to be experienced (or inexperienced) at Big Data applications.
Patterns for New Software Engineering: Machine Learning and IoT Engineering P...Hironori Washizaki
Hironori Washizaki, "Patterns for New Software Engineering: Machine Learning and IoT Engineering Patterns", Keynote, AsianPLoP 2020: 9th Asian Conference on Pattern Languages of Programs, Sep 3rd, 2020.
2 September - 4 September, 2020
Software Engineering Patterns for Machine Learning ApplicationsHironori Washizaki
Hironori Washizaki, Software Engineering Patterns for Machine Learning Applications, 2021 IEEE International Conference on Electronic Technology, Communication and Information (ICETCI 2021), Keynote, August 28, Online, 2021.
Semantic Interoperability Issues and Approaches in the IoT.est Projectiotest
P Barnaghi, Semantic Interoperability Issues and Approaches in the IoT.est Project, at the IERC AC4 Semantic interoperability Workshop (during the IoT-week 2012), Venice, Italy, 19 June 2012
Interoperability standards for connecting micro-learning mobile apps with web...Evangelia Mitsopoulou
This presentation was presented on 26th September 2013, in MicroLearning 7.0 Conference Krems/Göttweig (Austria). The conference's topic was "Mobile Learning Outcomes: Mobile Learning Strategies and Measuring Effectiveness".
September 26 - 27, 2013 - Krems/Göttweig (Austria)
Open source software ecosystem modelling has emerged asan important research area in software engineering. Several models havebeen proposed to identify and analyse the complex relationships in OSS-ecosystems. However, there is a lack of formal models, methodologies,tool support, and standard notations for OSS-ecosystems. In this paperwe propose a general framework for support the OSS-ecosystems mod-elling process. This framework will allow the representation, synthesis,analysis, evaluation, and evolution of OSS-ecosystems. Design sciencemethodology is proposed to create several artefacts and investigatingthe suitability of these artefacts in the OSS-ecosystem context.
Browser-Based Collaborative Modeling in Near Real-TimeNicolaescu Petru
Nicolaescu, P., Derntl, M., Klamma, R.: Browser-Based Collaborative Modeling in Near Real-Time. In Proceedings of 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2013). Austin, TX, USA: IEEE (2013)
Fundamentals of object orientation, objects, classes, classification and object models delivered to post-graduate students of Object Oriented Software Engineering.
View Based Near Real Time Collaborative Modeling for Information Systems Engi...Nicolaescu Petru
Near real-time collaborative modeling using views and viewpoints, realized using our SyncMeta framework. We support the definition of arbitrary viewpoints and the generation of multiple and arbitrary views on a model, using a metamodel to model instantiation.
Analyzing Big Data's Weakest Link (hint: it might be you)HPCC Systems
Tim Menzies, NC State University, presents at the 2015 HPCC Systems Engineering Summit Community Day.
For Big Data applications, there is a lack of any gold standards for "good analysis" or methods to assess our certification programs. Hence, we are still in the dark about whether or not our human analysts are making the best use possible of the tools of Big Data. While much progress has been made in the systems aspects of Big Data, certain critical human-centered aspects remain an open issue. Regardless of the sophistication of the analysis tools and environment, all that architecture can still be used incorrectly by users. If this issue was confined to a small number of inexperienced users, then it could be addressed via process improvements such as better training. But is it? What do we know about our analysts? Where are the studies that mine the people doing the data miners?
This presentation offers some preliminary results on tools that combine ECL with other methods that recognize the code generated by experienced or inexperienced developers. While the results are preliminary, they do raise the possibility that we can better characterize what it means to be experienced (or inexperienced) at Big Data applications.
Patterns for New Software Engineering: Machine Learning and IoT Engineering P...Hironori Washizaki
Hironori Washizaki, "Patterns for New Software Engineering: Machine Learning and IoT Engineering Patterns", Keynote, AsianPLoP 2020: 9th Asian Conference on Pattern Languages of Programs, Sep 3rd, 2020.
2 September - 4 September, 2020
---------------------------
doc. dr Milan Zdravković. Mašinski fakultet u Nišu, Inženjerski menadžment, studijski profil Industrijski menadžment, master studije, 1.godina
---------------------------
Pristup online kursu: http://ekursevi.masfak.ni.ac.rs:9000/courses/course-v1:MEF+UPRO+2019-20_S2/about
---------------------------
doc. dr Milan Zdravković. Mašinski fakultet u Nišu, Inženjerski menadžment, studijski profil Industrijski menadžment, master studije, 1.godina
---------------------------
Pristup online kursu: http://ekursevi.masfak.ni.ac.rs:9000/courses/course-v1:MEF+UPRO+2019-20_S2/about
---------------------------
doc. dr Milan Zdravković. Mašinski fakultet u Nišu, Inženjerski menadžment, studijski profil Industrijski menadžment, master studije, 1.godina
---------------------------
Pristup online kursu: http://ekursevi.masfak.ni.ac.rs:9000/courses/course-v1:MEF+UPRO+2019-20_S2/about
PA Training Nov 5-6 Day 2 - Talk 2. Content Management Best PracticesMilan Zdravković
EURAXESS TOPIV Online Training for Portal Administrators
5th-6th of November 2020 Day 2
organized by Estonian Research Council
Talk: Content Management Best Practices
Presenter: Laura Sancho Andres, European Commission
PA Training Nov 5-6 Day 2 - Talk 1. Web Visibility, SEO elements in content c...Milan Zdravković
EURAXESS TOPIV Online Training for Portal Administrators
5th-6th of November 2020 Day 2
organized by Estonian Research Council
Talk: Web Visibility, SEO elements in content creation, Google Adwords
Presenter: Taavi Raidma, Estonia
PA Training Nov 5-6 Day 1 - Talk 1. EURAXESS Portal updatesMilan Zdravković
EURAXESS TOPIV Online Training for Portal Administrators
5th-6th of November 2020 Day 1
organized by Estonian Research Council
Talk: EURAXESS Portal updates
Presenter: Laura Sancho-Andres, European Commission
PA Training Nov 5-6 Day 1 - Talk 4. Compliance issuesMilan Zdravković
EURAXESS TOPIV Online Training for Portal Administrators
5th-6th of November 2020 Day 1
organized by Estonian Research Council
Talk: Compliance issues
Presenters: Laura SANCHO-ANDRES, European Commission; Milan Zdravković, University of Niš, Serbia
PA Training Nov 5-6 Day 2 - Talk 3. Accessibility CheckerMilan Zdravković
EURAXESS TOPIV Online Training for Portal Administrators
5th-6th of November 2020 Day 2
organized by Estonian Research Council
Talk: Accessibility Checker
Presenter: Laura SANCHO-ANDRES, European Commission
Online kurs: Informacione tehnologije 1. Mašinski fakultet Univerziteta u Nišu. Nedelja 1, resurs 3: Internet pod haubom. Realizacija: Milan Zdravković
http://ekursevi.masfak.ni.ac.rs:9000/courses/course-v1:MEF+IT1+2020-21_S1/about
Launch Your Streaming Platforms in MinutesRoshan Dwivedi
The claim of launching a streaming platform in minutes might be a bit of an exaggeration, but there are services that can significantly streamline the process. Here's a breakdown:
Pros of Speedy Streaming Platform Launch Services:
No coding required: These services often use drag-and-drop interfaces or pre-built templates, eliminating the need for programming knowledge.
Faster setup: Compared to building from scratch, these platforms can get you up and running much quicker.
All-in-one solutions: Many services offer features like content management systems (CMS), video players, and monetization tools, reducing the need for multiple integrations.
Things to Consider:
Limited customization: These platforms may offer less flexibility in design and functionality compared to custom-built solutions.
Scalability: As your audience grows, you might need to upgrade to a more robust platform or encounter limitations with the "quick launch" option.
Features: Carefully evaluate which features are included and if they meet your specific needs (e.g., live streaming, subscription options).
Examples of Services for Launching Streaming Platforms:
Muvi [muvi com]
Uscreen [usencreen tv]
Alternatives to Consider:
Existing Streaming platforms: Platforms like YouTube or Twitch might be suitable for basic streaming needs, though monetization options might be limited.
Custom Development: While more time-consuming, custom development offers the most control and flexibility for your platform.
Overall, launching a streaming platform in minutes might not be entirely realistic, but these services can significantly speed up the process compared to building from scratch. Carefully consider your needs and budget when choosing the best option for you.
Prosigns: Transforming Business with Tailored Technology SolutionsProsigns
Unlocking Business Potential: Tailored Technology Solutions by Prosigns
Discover how Prosigns, a leading technology solutions provider, partners with businesses to drive innovation and success. Our presentation showcases our comprehensive range of services, including custom software development, web and mobile app development, AI & ML solutions, blockchain integration, DevOps services, and Microsoft Dynamics 365 support.
Custom Software Development: Prosigns specializes in creating bespoke software solutions that cater to your unique business needs. Our team of experts works closely with you to understand your requirements and deliver tailor-made software that enhances efficiency and drives growth.
Web and Mobile App Development: From responsive websites to intuitive mobile applications, Prosigns develops cutting-edge solutions that engage users and deliver seamless experiences across devices.
AI & ML Solutions: Harnessing the power of Artificial Intelligence and Machine Learning, Prosigns provides smart solutions that automate processes, provide valuable insights, and drive informed decision-making.
Blockchain Integration: Prosigns offers comprehensive blockchain solutions, including development, integration, and consulting services, enabling businesses to leverage blockchain technology for enhanced security, transparency, and efficiency.
DevOps Services: Prosigns' DevOps services streamline development and operations processes, ensuring faster and more reliable software delivery through automation and continuous integration.
Microsoft Dynamics 365 Support: Prosigns provides comprehensive support and maintenance services for Microsoft Dynamics 365, ensuring your system is always up-to-date, secure, and running smoothly.
Learn how our collaborative approach and dedication to excellence help businesses achieve their goals and stay ahead in today's digital landscape. From concept to deployment, Prosigns is your trusted partner for transforming ideas into reality and unlocking the full potential of your business.
Join us on a journey of innovation and growth. Let's partner for success with Prosigns.
In the ever-evolving landscape of technology, enterprise software development is undergoing a significant transformation. Traditional coding methods are being challenged by innovative no-code solutions, which promise to streamline and democratize the software development process.
This shift is particularly impactful for enterprises, which require robust, scalable, and efficient software to manage their operations. In this article, we will explore the various facets of enterprise software development with no-code solutions, examining their benefits, challenges, and the future potential they hold.
Software Engineering, Software Consulting, Tech Lead, Spring Boot, Spring Cloud, Spring Core, Spring JDBC, Spring Transaction, Spring MVC, OpenShift Cloud Platform, Kafka, REST, SOAP, LLD & HLD.
Large Language Models and the End of ProgrammingMatt Welsh
Talk by Matt Welsh at Craft Conference 2024 on the impact that Large Language Models will have on the future of software development. In this talk, I discuss the ways in which LLMs will impact the software industry, from replacing human software developers with AI, to replacing conventional software with models that perform reasoning, computation, and problem-solving.
Listen to the keynote address and hear about the latest developments from Rachana Ananthakrishnan and Ian Foster who review the updates to the Globus Platform and Service, and the relevance of Globus to the scientific community as an automation platform to accelerate scientific discovery.
Code reviews are vital for ensuring good code quality. They serve as one of our last lines of defense against bugs and subpar code reaching production.
Yet, they often turn into annoying tasks riddled with frustration, hostility, unclear feedback and lack of standards. How can we improve this crucial process?
In this session we will cover:
- The Art of Effective Code Reviews
- Streamlining the Review Process
- Elevating Reviews with Automated Tools
By the end of this presentation, you'll have the knowledge on how to organize and improve your code review proces
Unleash Unlimited Potential with One-Time Purchase
BoxLang is more than just a language; it's a community. By choosing a Visionary License, you're not just investing in your success, you're actively contributing to the ongoing development and support of BoxLang.
Enhancing Research Orchestration Capabilities at ORNL.pdfGlobus
Cross-facility research orchestration comes with ever-changing constraints regarding the availability and suitability of various compute and data resources. In short, a flexible data and processing fabric is needed to enable the dynamic redirection of data and compute tasks throughout the lifecycle of an experiment. In this talk, we illustrate how we easily leveraged Globus services to instrument the ACE research testbed at the Oak Ridge Leadership Computing Facility with flexible data and task orchestration capabilities.
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...Globus
Large Language Models (LLMs) are currently the center of attention in the tech world, particularly for their potential to advance research. In this presentation, we'll explore a straightforward and effective method for quickly initiating inference runs on supercomputers using the vLLM tool with Globus Compute, specifically on the Polaris system at ALCF. We'll begin by briefly discussing the popularity and applications of LLMs in various fields. Following this, we will introduce the vLLM tool, and explain how it integrates with Globus Compute to efficiently manage LLM operations on Polaris. Attendees will learn the practical aspects of setting up and remotely triggering LLMs from local machines, focusing on ease of use and efficiency. This talk is ideal for researchers and practitioners looking to leverage the power of LLMs in their work, offering a clear guide to harnessing supercomputing resources for quick and effective LLM inference.
Enterprise Resource Planning System includes various modules that reduce any business's workload. Additionally, it organizes the workflows, which drives towards enhancing productivity. Here are a detailed explanation of the ERP modules. Going through the points will help you understand how the software is changing the work dynamics.
To know more details here: https://blogs.nyggs.com/nyggs/enterprise-resource-planning-erp-system-modules/
Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...Mind IT Systems
Healthcare providers often struggle with the complexities of chronic conditions and remote patient monitoring, as each patient requires personalized care and ongoing monitoring. Off-the-shelf solutions may not meet these diverse needs, leading to inefficiencies and gaps in care. It’s here, custom healthcare software offers a tailored solution, ensuring improved care and effectiveness.
Globus Connect Server Deep Dive - GlobusWorld 2024Globus
We explore the Globus Connect Server (GCS) architecture and experiment with advanced configuration options and use cases. This content is targeted at system administrators who are familiar with GCS and currently operate—or are planning to operate—broader deployments at their institution.
How Recreation Management Software Can Streamline Your Operations.pptxwottaspaceseo
Recreation management software streamlines operations by automating key tasks such as scheduling, registration, and payment processing, reducing manual workload and errors. It provides centralized management of facilities, classes, and events, ensuring efficient resource allocation and facility usage. The software offers user-friendly online portals for easy access to bookings and program information, enhancing customer experience. Real-time reporting and data analytics deliver insights into attendance and preferences, aiding in strategic decision-making. Additionally, effective communication tools keep participants and staff informed with timely updates. Overall, recreation management software enhances efficiency, improves service delivery, and boosts customer satisfaction.
Software Engineering, Software Consulting, Tech Lead.
Spring Boot, Spring Cloud, Spring Core, Spring JDBC, Spring Security,
Spring Transaction, Spring MVC,
Log4j, REST/SOAP WEB-SERVICES.
In software engineering, the right architecture is essential for robust, scalable platforms. Wix has undergone a pivotal shift from event sourcing to a CRUD-based model for its microservices. This talk will chart the course of this pivotal journey.
Event sourcing, which records state changes as immutable events, provided robust auditing and "time travel" debugging for Wix Stores' microservices. Despite its benefits, the complexity it introduced in state management slowed development. Wix responded by adopting a simpler, unified CRUD model. This talk will explore the challenges of event sourcing and the advantages of Wix's new "CRUD on steroids" approach, which streamlines API integration and domain event management while preserving data integrity and system resilience.
Participants will gain valuable insights into Wix's strategies for ensuring atomicity in database updates and event production, as well as caching, materialization, and performance optimization techniques within a distributed system.
Join us to discover how Wix has mastered the art of balancing simplicity and extensibility, and learn how the re-adoption of the modest CRUD has turbocharged their development velocity, resilience, and scalability in a high-growth environment.
On the Runtime Models for Complex, Distributed and Aware Systems
1. 5th International Conference on Information Society and Technology (ICIST 2015), March 8-11th, 2015, Kopaonik, Serbia
On the Runtime Models for
Complex, Distributed and Aware
Systems
Milan Zdravković, Miroslav Trajanović
Laboratory for Intelligent Production Systems (LIPS),
University of Niš, Serbia
2. 5th International Conference on Information Society and Technology (ICIST 2015)
• Motivation
• Computing becomes omnipresent
• Computing platforms become too diverse, the only common feature is
that they are all identifiable (in IoT)
• Hence, the lack of interoperability between systems hosted by those platforms
• IoT becomes reality but still trapped in “application silos”
• Research question
• Could (should) we fire all developers and get rid of their (MANY
DIFFERENT) ideas on how one software should be designed (including
ideas about how much they should get payed for that) and make the
software solely driven by the models, the models we ALL can
understand?
Background
3. 5th International Conference on Information Society and Technology (ICIST 2015)
• Why modelling as a part of software engineering process does
not work sometimes?
• Because “developer implements software solutions to the problems
by using abstractions that are at a lower level than those used to
express the problem.”
• MDE shortens that gap but in fact, it does not remove it
completely.
• The solution: runtime models
Good news: Everything is model! More
or less explicit model
runyourmodel.com
4. 5th International Conference on Information Society and Technology (ICIST 2015)
• Model Driven Architecture (MDA)
• CIM, PIM, PSM
• MOF, UML, QVT
• Formal Specification Techniques (FST)
• Z, Alloy
• UML2Z, UML2Alloy
• Business logic modelling
• BPMN (?), DSM for business logic of information systems
• Runtime models
• To monitor and verify particular aspects of the runtime behavior of the information
system
• Used by the agents responsible for managing the runtime environment, and for
adapting and evolving the software during runtime
• Ontology-driven systems
• The notion of “ontology-driven information system”, as a system that make use of
formally defined ontologies, was coined by Guarino in 1998
• System becomes a tool for ontology browsing and instantiating, ontology-scaffolding
tool
Evolution of MDE towards runtime
models
5. 5th International Conference on Information Society and Technology (ICIST 2015)
• Generates
CRUD
features
based on
specified
RDF/XML
ontology.
OntoApp tool
• LAMP app, using RDF API
for PHP, Neo4J Graph
database for storing individuals (persistent neutral).
• interprets also the formal restrictions (value, cardinality) expressed as
anonymous parent concepts – necessary conditions for a given concept
6. 5th International Conference on Information Society and Technology (ICIST 2015)
Interoperability as an inherent capability
of OntoApp driven system
OntoApp1
Ontology1 (URI1)
NoSQL1
OntoApp2
Ontology2 (URI2)
Node type Concept2
NoSQL2
URI1#Concept1
URI1#Concept1=URI2
#Concept2
imports
URI2#Concept2
7. 5th International Conference on Information Society and Technology (ICIST 2015)
• App ontology
• Describe the general app
concepts, imports the formal
model and stores mappings
• Access restrictions (user, context)
• App customization (labels, views,
workflows,..)
• Business logic
• “Traditional” interoperability
• Bulk instantiation by using
Connectors to RESTful
interfaces (with mappings
between concept definition
and incoming JSON or XML
structure)
• RESTful interfaces to the data
concepts
Ongoing and future development
data-concept
=data-concept
or data-individual
or data-setdata-individual
createdAt:
dateTime{xsd}
data-set
data-action
=action
and (relatedTo
some data-
individual)
completed-
action
=action
and (carriedOutAt
exactly 1 dateTime
{xsd})
workflow-action
=action
and
(hasPrecondition
some completed-
action)
view
<data-individual
or data-set
or (viewOf exactly
1 data-concept)
action
carriedOutAt:
dateTime{xsd}
workflow
agent
user
hasPassword:
string
hasUID:string[1]
app
single-user-app
=app
and (operatedBy
exactly 1 user)
multi-user-app
=app
and (operatedBy
min 2 user)
model
<hasURI exactly 1
anyURI
data-structure
=data-concept
or data-set
hasAction
carriedOutOn
hasDataConcept 1..*ofModel
carriedOutBy 1
hasView
viewOf
hasDataIndividual
some
[1..*]
enable 1..*
operatedBy 1..*
ownModel
hasDataIndividual
dataIndividualOf
8. 5th International Conference on Information Society and Technology (ICIST 2015), March 8-11th, 2015, Kopaonik, Serbia
TYFYA
Milan Zdravković, Miroslav Trajanović
More information at http://www.masfak.ni.ac.rs/milan.zdravkovic
Editor's Notes
Today, MDE approaches and practices are commonly addressed by using a Model Driven Architecture (MDA). MDA is a framework of MDE standards, launched and maintained by Object Management Group (OMG). It distinguishes between computation independent (CIM), platform independent (PIM) and platform specific (PSM) models. Main pillars of MDA are Meta Object Facility (MOF) language for defining the abstract syntax of modeling languages, UML and Query, View, Transformation standard (QVT) for specifying PIM to PSM transformations.
One of the main problems of the current models is a lack of validation tools. Typically, the models of complex information systems are extensively large and in general, there exist no tools for querying and navigating them. More important, there exist no tools for their analysis. Thus, it becomes very difficult to maintain their consistency. This analysis can involve the consistency checking (for example, the relationships between the occurrences of the same software artifact in different viewpoints), completeness and dependability. Thus, reasoning on the formal specification of one system can be further used to prove that all actions will result in a discrete set of states, that some system properties are bounded, that error states are unreachable, etc.
FST aims at facilitating so-called transformational programming or program transformation. The latter refers to an operation which transforms one computer program to another, which is “semantically equivalent to the original, relative to a particular formal semantics”.
OntoApp interprets the formal model, expressed as RDF/XML ontology to generate CRUD functionality on the set of concepts, as specified in ontology. Based on the formal definition of each of the concepts, the form is being generated in a runtime and used to define an instance of the given concept, which is then stored in Neo4J database as a graph node, with a label corresponding to the name of the concept.
Each OntoApp system comprises of three assets, natively distributed (see Fig.3): OntoApp, ontology and NoSQL database. OntoApp execution environments (OntoApp1, OntoApp2) are installed on the different platforms. Each of the environments is driven by one of the respective ontologies (Ontology1, Ontology2) with specified Uniform Resource Identifiers (URI1, URI2). Then, the execution environments are using ontologies to create and manage graphs, stored in respective NoSQL databases (NoSQL1, NoSQL2).
When Ontology1, driving OntoApp1 environment imports Ontology2, the concepts of the latter can be instantiated (nodes created and managed) in NoSQL2, by using OntoApp1. This is possible only for concepts of Ontology2, which are annotated with the connection strings, corresponding to the location and authentication of NoSQL2 database; and defined access rights.
When logical equivalence relationship is established between the different concepts in source (Ontology1) and imported ontology, then OntoApp1 can be enabled with a centralized access to the distributed repository of information objects, thus enabling for example, integrated reporting, bulk processing, etc.
Finally, using other logical relationships to connect the different concepts from the different ontologies enables the construction and maintenance of the federated objects, whose different attributes are stored across multiple NoSQL repositories.
First, simple user administration model is being embedded, based on its formal definition in the helper ontology. It defines user instances (stored in helper ontology) and assignments of CRUD rights, on the specified concepts of the imported ontology – runtime model. Second, context restriction is being implemented. It enables restriction of CRUD rights based on the selected instances – enabling access to all instances (nodes) from or to which a graph can be traversed.
A tribute to an excessive use of acronyms in this presentation.