On the Runtime Models for Complex, Distributed and Aware Systems

Recent developments in the area of Internet of Things increase the pressure on the feasibility of current architectures of the Enterprise Information Systems (EIS), in terms of their complexity, flexibility and interoperability in a pervasive computing world. The fact that EISs are today hosted by the growing diversity of platforms and devices, urges as to consider new concepts that would take into account rapid deployment and setup in any circumstances. This paper presents the discussion of modeldriven architectures and proposes the concept of EIS design that is ontology-driven, persistence-neutral, runtime-modelbased. These concepts are to some extent demonstrated in the case of OntoApp tool for ontology scaffolding.

[1]  Guntis Barzdins,et al.  Ontology-Based Information System , 2013, JIST.

[2]  Kevin Ashton,et al.  That ‘Internet of Things’ Thing , 1999 .

[3]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[4]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[5]  Sophie Dupuy-Chessa,et al.  An Overview of RoZ: A Tool for Integrating UML and Z Specifications , 2000, CAiSE.

[6]  Jürgen Dingel,et al.  A survey of self-management in dynamic software architecture specifications , 2004, WOSS '04.

[7]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[8]  Robert B. France,et al.  Towards a formalization of UML class structures in Z , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[9]  Richard Mark Soley,et al.  Model Driven Architecture-The Architecture Of Choice For A Changing World , 2001 .

[10]  Joseph E. Urban,et al.  A specification language and its processor. , 1977 .

[11]  Frederico T. Fonseca,et al.  Learning The Differences Between Ontologies and Conceptual Schemas Through Ontology-Driven Information Systems , 2007, J. Assoc. Inf. Syst..

[12]  Daniel Jackson,et al.  Alcoa: the Alloy constraint analyzer , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[13]  Gordon S. Blair,et al.  Summary of the workshop models@run.time at MoDELS 2006 , 2006, MoDELS'06.

[14]  Betty H. C. Cheng,et al.  A general framework for formalizing UML with formal languages , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[15]  Justin J. Miller,et al.  Graph Database Applications and Concepts with Neo4j , 2013 .

[16]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[17]  Friedrich L. Bauer,et al.  Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming , 1989, IEEE Trans. Software Eng..

[18]  Stefan Decker,et al.  OntoWebber: Model-Driven Ontology-Based Web Site Management , 2001, SWWS.

[19]  Dennis Tsichritzis,et al.  The ANSI/X3/SPARC DBMS Framework Report of the Study Group on Dabatase Management Systems , 1978, Inf. Syst..

[20]  Martin Ward.  Proving program refinements and transformations , 1986 .

[21]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[22]  Indrakshi Ray,et al.  On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.

[23]  Christian Bizer,et al.  RAP: RDF API for PHP , 2005 .

[24]  Oscar Barros.  A Novel Approach to Joint Business and Information System Design , 2005, J. Comput. Inf. Syst..

[25]  Ib Holm Sørensen.  A Specification Language , 1981, Program Specification.

[26]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..