Published: Jan 1, 2017
Converted to Gold OA:
DOI: 10.4018/IJISMD.20170101.pre
Volume 8
António Miguel Rosado da Cruz
Content Forthcoming
Add to Your Personal Library: Article Published: Jan 1, 2017
Converted to Gold OA:
DOI: 10.4018/IJISMD.2017010101
Volume 8
Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala, Nadia Zeghib
Constructing systems from components and building components for different systems require well-established methodologies and processes. This article proposes a formal framework for designing and...
Show More
Constructing systems from components and building components for different systems require well-established methodologies and processes. This article proposes a formal framework for designing and specifying component-based systems (CBS). The two-dimensional evolutions of CBS are architectural reconfiguration and behavioral adaptation, when user requirements and/or runtime contexts change. This framework provides an incremental design methodology where component interfaces and their corresponding ports are the basic units of software construction, rather than components. Conceptually, interfaces serve to assemble simple components to obtain more complex ones. Behaviorally, they serve to propagate side effects of visible changes of a component on its neighbors. Interfaces also supply interactions and synchronization effects on the underlying sub-system. The calculation process is guided by changes on interfaces where the hierarchical structure of the underlying CBS is maintained. In this framework, CBS specification is supported by some execution tools based on Maude.
Content Forthcoming
Add to Your Personal Library: Article
Cite Article
Cite Article
MLA
Bouanaka, Chafia, et al. "A Formal Framework for Scalable Component-Based Systems." IJISMD vol.8, no.1 2017: pp.1-23. http://doi.org/10.4018/IJISMD.2017010101
APA
Bouanaka, C., Debza, A. A., Belala, F., & Zeghib, N. (2017). A Formal Framework for Scalable Component-Based Systems. International Journal of Information System Modeling and Design (IJISMD), 8(1), 1-23. http://doi.org/10.4018/IJISMD.2017010101
Chicago
Bouanaka, Chafia, et al. "A Formal Framework for Scalable Component-Based Systems," International Journal of Information System Modeling and Design (IJISMD) 8, no.1: 1-23. http://doi.org/10.4018/IJISMD.2017010101
Export Reference
Published: Jan 1, 2017
Converted to Gold OA:
DOI: 10.4018/IJISMD.2017010102
Volume 8
Robert Andrei Buchmann, Dimitris Karagiannis
Conceptual modeling is commonly employed for two classes of goals: (1) as input for run-time functionality (e.g., code generation) and (2) as support for design-time analysis (e.g., in business...
Show More
Conceptual modeling is commonly employed for two classes of goals: (1) as input for run-time functionality (e.g., code generation) and (2) as support for design-time analysis (e.g., in business process management). An inherent trade-off manifests between such goals, as different levels of abstraction and semantic detail is needed. This has led to a multitude of modeling languages that are conceptually redundant (i.e., they share significant parts of their metamodels) and a dilemma of selecting the most adequate language for each goal. This article advocates the substitution of the selection dilemma with an approach where the modeling method is agilely tailored for the semantic variability required to cover both run-time and design-time concerns. The semantic space enabled by such a method is exposed to model-driven systems as RDF knowledge graphs, whereas the method evolution is managed with the Agile Modeling Method Engineering framework. The argument is grounded in the application area of Product-Service Systems, illustrated by a project-based modeling method.
Content Forthcoming
Add to Your Personal Library: Article
Cite Article
Cite Article
MLA
Buchmann, Robert Andrei, and Dimitris Karagiannis. "A Semantic Approach to Deploying Product-Service Systems." IJISMD vol.8, no.1 2017: pp.24-42. http://doi.org/10.4018/IJISMD.2017010102
APA
Buchmann, R. A. & Karagiannis, D. (2017). A Semantic Approach to Deploying Product-Service Systems. International Journal of Information System Modeling and Design (IJISMD), 8(1), 24-42. http://doi.org/10.4018/IJISMD.2017010102
Chicago
Buchmann, Robert Andrei, and Dimitris Karagiannis. "A Semantic Approach to Deploying Product-Service Systems," International Journal of Information System Modeling and Design (IJISMD) 8, no.1: 24-42. http://doi.org/10.4018/IJISMD.2017010102
Export Reference
Published: Jan 1, 2017
Converted to Gold OA:
DOI: 10.4018/IJISMD.2017010103
Volume 8
Sebastien Salva, William Durand
Many software engineering approaches often rely on formal models to automate some steps of the software life cycle, particularly the testing phase. Even though automation sounds attractive, writing...
Show More
Many software engineering approaches often rely on formal models to automate some steps of the software life cycle, particularly the testing phase. Even though automation sounds attractive, writing models is usually a tedious and error-prone task. In addition, with industrial software systems, models are often not up-to-date. Hence, testing these systems becomes problematic. In this context, this article proposes a framework called Autofunk to test production systems by combining two approaches: model generation and passive testing. Given a large set of events collected from a production system, Autofunk combines an expert system, formal models and machine learning to infer symbolic models while preventing over-generalisation. Afterwards, these models are considered to passively test whether another system is conforming to the models. As the generated models do not express all the possible behaviours that should happen, we define conformance with four specialised implementation relations.
Content Forthcoming
Add to Your Personal Library: Article
Cite Article
Cite Article
MLA
Salva, Sebastien, and William Durand. "Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems." IJISMD vol.8, no.1 2017: pp.43-72. http://doi.org/10.4018/IJISMD.2017010103
APA
Salva, S. & Durand, W. (2017). Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems. International Journal of Information System Modeling and Design (IJISMD), 8(1), 43-72. http://doi.org/10.4018/IJISMD.2017010103
Chicago
Salva, Sebastien, and William Durand. "Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems," International Journal of Information System Modeling and Design (IJISMD) 8, no.1: 43-72. http://doi.org/10.4018/IJISMD.2017010103
Export Reference
IGI Global Open Access Collection provides all of IGI Global’s open access content in one convenient location and user-friendly interface
that can easily searched or integrated into library discovery systems.
Browse IGI Global Open
Access Collection
All inquiries regarding IJISMD should be directed to the attention of:
Submission-Related InquiriesAll inquiries regarding IJISMD should be directed to the attention of:Dr. Mehdi Khosrow-Pour
Editor-in-Chief
International Journal of Information System Modeling and Design
Email:
journaleditor@igi-global.comm
Author Services Inquiries
For inquiries involving pre-submission concerns, please contact the Journal Development Division:
journaleditor@igi-global.comOpen Access Inquiries
For inquiries involving publishing costs, APCs, etc., please contact the Open Access Division:
openaccessadmin@igi-global.comProduction-Related Inquiries
For inquiries involving accepted manuscripts currently in production or post-production, please contact the Journal Production Division:
journalproofing@igi-global.comRights and Permissions Inquiries
For inquiries involving permissions, rights, and reuse, please contact the Intellectual Property & Contracts Division:
contracts@igi-global.comPublication-Related Inquiries
For inquiries involving journal publishing, please contact the Acquisitions Division:
acquisition@igi-global.comDiscoverability Inquiries
For inquiries involving sharing, promoting, and indexing of manuscripts, please contact the Citation Metrics & Indexing Division:
indexing@igi-global.com Editorial Office
701 E. Chocolate Ave.
Hershey, PA 17033, USA
717-533-8845 x100