Towards a Tool-based Development Methodology for Pervasive Computing Applications

Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, encoding it in a program, writing specific code to test the application, and finally deploying it. This paper presents a design language and a tool suite covering the development life-cycle of a pervasive computing application. The design language allows to define a taxonomy of area-specific building-blocks, abstracting over their heterogeneity. This language also includes a layer to define the architecture of an application, following an architectural pattern commonly used in the pervasive computing domain. Our underlying methodology assigns roles to the stakeholders, providing separation of concerns. Our tool suite includes a compiler that takes design artifacts written in our language as input and generates a programming framework that supports the subsequent development stages, namely implementation, testing, and deployment. Our methodology has been applied on a wide spectrum of areas. Based on these experiments, we assess our approach through three criteria: expressiveness, usability, and productivity

On the effects of the fix geometric constraint in 2D profiles on the reusability of parametric 3D CAD models

[EN] In order to be reusable, history-based feature-based parametric CAD models must reliably allow for modifications while maintaining their original design intent. In this paper, we demonstrate that relations that fix the location of geometric entities relative to the reference system produce inflexible profiles that reduce model reusability. We present the results of an experiment where novice students and expert CAD users performed a series of modifications in different versions of the same 2D profile, each defined with an increasingly higher number of fix geometric constraints. Results show that the amount of fix constraints in a 2D profile correlates with the time required to complete reusability tasks, i.e., the higher the number of fix constraints in a 2D profile, the less flexible and adaptable the profile becomes to changes. In addition, a pilot software tool to automatically track this type of constraints was developed and tested. Results suggest that the detection of fix constraint overuse may result in a new metric to assess poor quality models with low reusability. The tool provides immediate feedback for preventing high semantic level quality errors, and assistance to CAD users. Finally, suggestions are introduced on how to convert fix constraints in 2D profiles into a negative metric of 3D model quality.The authors would like to thank Raquel Plumed for her support in the statistical analysis. This work has been partially funded by Grant UJI-A02017-15 (Universitat Jaume I) and DPI201784526-R (MINECO/AEI/FEDER, UE), project CAL-MBE. The authors also wish to thank the editor and reviewers for their valuable comments and suggestions that helped us improve the quality of the paper.González-Lluch, C.; Company, P.; Contero, M.; Pérez Lopez, DC.; Camba, JD. (2019). On the effects of the fix geometric constraint in 2D profiles on the reusability of parametric 3D CAD models. International Journal of Technology and Design Education. 29(4):821-841. https://doi.org/10.1007/s10798-018-9458-zS821841294Ait-Aoudia, S., & Foufou, S. (2010). A 2D geometric constraint solver using a graph reduction method. Advances in Engineering Software, 41(10), 1187–1194. https://doi.org/10.1016/j.advengsoft.2010.07.008 .Ault, H. K. (1999). Using geometric constraints to capture design intent. Journal for Geometry and Graphics, 3(1), 39–45.Ault, H. K. (2004). Over-constrained, under-constrained or just right? Goldilocks evaluates DOF of sketched profiles. Paper presented at American Society for Engineering Education, 59th annual midyear meeting past, present and future? Williamsburg, November 21–23.Ault, H. K., Bu, L., & Liu, K. (2014). Solid modeling strategies-analyzing student choices. Paper presented at proceedings of the 121st ASEE annual conference and exposition, Indianapolis, June 15–18.Ault, H. K., & Fraser, A. (2013). A comparison of manual vs. online grading for solid models. Paper presented at 120th ASEE annual conference and exposition, Atlanta, GA, June 23–26, 2013, Paper ID #7233.Barbero, B. R., Pedrosa, C. M., & Samperio, R. Z. (2016). Learning CAD at university through summaries of the rules of design intent. International Journal of Technology and Design Education. https://doi.org/10.1007/s10798-016-9358-z .Bodein, Y., Bertrand, R., & Caillaud, E. (2014). Explicit reference modeling methodology in parametric CAD system. Computers in Industry, 65(1), 136–147. https://doi.org/10.1016/j.compind.2013.08.004 .Bouma, W., Fudos, I., Hoffmann, C., Cai, J., & Paige, R. (1995). Geometric constraint solver. Computer-Aided Design, 27(6), 487–501. https://doi.org/10.1016/0010-4485(94)00013-4 .Briggs, J. C., Hepworth, A. I., Stone, B. R., Cobum, J. Q., Jensen, C. G., & Red, E. (2015). Integrated, synchronous multi-user design and analysis. Journal of Computing and Information Science in Engineering, 15(3), 031002. https://doi.org/10.1115/1.4029801 .Buckley, J., Seery, N., & Canty, D. (2017). Heuristics and CAD modelling: An examination of student behaviour during problem solving episodes within CAD modelling activities. International Journal of Technology and Design Education. https://doi.org/10.1007/s10798-017-9423-2 .Camba, J. D., & Contero, M. (2015). Assessing the impact of geometric design intent annotations on parametric model alteration activities. Computers in Industry, 71, 35–45. https://doi.org/10.1016/j.compind.2015.03.006 .Camba, J. D., Contero, M., & Company, P. (2016). Parametric CAD modeling: An analysis of strategies for design reusability. Computer-Aided Design, 74, 18–31. https://doi.org/10.1016/j.cad.2016.01.003 .Camba, J. D., Contero, M., & Company, P. (2017). CAD reusability and the role of modeling information in the MBE context. Model-based enterprise summit 2017. National Institute of Standards and Technology (NIST), Gaithersburg, MD, April 3–7. MBE17-020. https://www.nist.gov/file/361581 .Cheng, Z., & Ma, Y. (2017). A functional feature modeling method. Advanced Engineering Informatics, 33, 1–15. https://doi.org/10.1016/j.aei.2017.04.003 .Cheng, Z., Xie, Y., & Ma, Y. (2018). Graph centrality analysis of feature dependencies to unveil modeling intents. Computer-Aided Design and Applications. https://doi.org/10.1080/16864360.2018.1441236 .Chester, I. (2007). Teaching for CAD expertise. International Journal of Technology and Design Education, 17, 23–35. https://doi.org/10.1007/s10798-006-9015-z .Company, P., Contero, M., Otey, J., & Plumed, R. (2015). Approach for developing coordinated rubrics to convey quality criteria in CAD training. Computer-Aided Design, 63, 101–117. https://doi.org/10.1016/j.cad.2014.10.00 .Company, P., & González-Lluch, C. (2013). CAD 3D con SolidWorks ® Tomo I: Diseño básico. Publicacions de la Universitat Jaume I. (Colección Sapientia, Núm. 86). http://cad3dconsolidworks.uji.es .Contero, M., Company, P., Vila, C., & Aleixos, N. (2002). Product data quality and collaborative engineering. IEEE Computer Graphics Applications, 22(3), 32–42. https://doi.org/10.1109/MCG.2002.999786 .Dixon, B. M., & Dannenhoffer, J. F., III. (2014). Geometric sketch constraint solving with user feedback. Journal of Aerospace Information Systems, 11(5), 316–325. https://doi.org/10.2514/1.I010110 .Fudos, I., & Hoffmann, C. M. (1997). A graph-constructive approach to solving systems of geometric constraints. ACM Transactions on Graphics, 16(2), 179–216. https://doi.org/10.1145/248210.248223 .Ge, J. X., Chou, S. C., & Gao, X. S. (1999). Geometric constraint satisfaction using optimization methods. Computer-Aided Design, 31(14), 867–879. https://doi.org/10.1016/S0010-4485(99)00074-3 .González-Lluch, C., Company, P., Contero, M., Camba, J. D., & Colom, J. (2017a). A case study on the use of model quality testing tools for the assessment of MCAD models and drawings. International Journal of Engineering Education, 33(5), 1643–1653.González-Lluch, C., Company, P., Contero, M., Camba, J. D., & Plumed, R. (2017b). A survey on 3D CAD model quality assurance and testing tools. Computer-Aided Design, 83, 64–79. https://doi.org/10.1016/j.cad.2016.10.003 .Hamade, R. F. (2009). Profiling the desirable CAD trainee: Technical background, personality attributes, and learning preferences. Journal of Mechanical Design, 131(12), 121009–121019. https://doi.org/10.1115/1.4000455 .Hekman, K. A., & Gordon, M. T. (2013). Automated grading of first year student CAD work. Paper presented at the 120th ASEE annual conference and exposition 2013, Atlanta, GA, June 23–26. Paper ID #6379.Hepworth, A., Tew, K., Trent, M., Ricks, R., Jensen, C. G., & Red, E. R. (2014). Model consistency and conflict resolution with data preservation in multi-user computer aided design. Journal of Computing and Information Science in Engineering, 14(2), 021008. https://doi.org/10.1115/1.4026553 .Jackson, C., & Buxton, M. (2007). The design reuse benchmark report: Seizing the opportunity to shorten product development. Boston: Aberdeen Group.Joan-Arinyo, R., Soto-Riera, A., Vila-Marta, S., & Vilaplana-Pastó, J. (2003). Transforming an under-constrained geometric constraint problem into a well-constrained one. Paper presented at proceedings of ACM SM03, Seatle, June 16–20.Kirstukas, S. J. (2016). Development and evaluation of a computer program to assess student CAD models. Paper presented at ASEE annual conference and exposition, New Orleans, June 26.Kramer, G. (1991). Using degrees of freedom analysis to solve geometric constraint systems. Paper presented at proceedings of the first ACM symposium on solid modeling foundations and CAD/CAM applications 1991, Austin, June 05–07.Kwon, S., Kim, B. C., Mun, D., & Han, S. (2015). Graph-based simplification of feature-based three-dimensional computer-aided design models for preserving connectivity. Journal of Computing and Information Science in Engineering, 15(3), 031010. https://doi.org/10.1115/1.4030748 .Leea, J. Y., & Kimb, K. (1998). A 2-D geometric constraint solver using DOF-based graph reduction. Computer-Aided Design, 30(11), 883–896. https://doi.org/10.1016/S0010-4485(98)00045-1 .Mata Burgarolas, N. (1997). Solving incidence and tangency constraints in 2D. Technical report LSI-97-3R, Departament LiSI, Universitat Politècnica de Catalunya.Petrina, S. (2003). Two cultures of technical courses and discourses: The case of computer aided design. International Journal of Technology and Design Education, 13, 47–73.Race, P. (2001). The lecturers toolkit—A practical guide to learning, teaching and assessment. Great Britain: Glasgow.Red, E., French, D., Jensen, G., Walker, S. S., & Madsen, P. (2013). Emerging design methods and tools in collaborative product development. Journal of Computing and Information Science in Engineering, 13(3), 031001. https://doi.org/10.1115/1.4023917 .Robertson, B. F., Walther, J., & Radcliffe, D. (2007). Creativity and the use of CAD tools: Lessons for engineering design education from industry. Journal of Mechanical Design, 129(7), 753–760. https://doi.org/10.1115/1.2722329 .Stone, B., Salmon, J., Eves, K., Killian, M., Wright, L., Oldroyd, J., et al. (2017). A multi-user computer-aided design competition: Experimental findings and analysis of team-member dynamics. Journal of Computing and Information Science in Engineering, 17(3), 031003. https://doi.org/10.1115/1.4035674 .Summers, J. D., & Shah, J. J. (2010). Mechanical engineering design complexity metrics: Size, coupling, and solvability. Journal of Mechanical Design, 132(2), 21004–21015. https://doi.org/10.1115/1.4000759 .Szewczyk, J. (2003). Difficulties with the novices’ comprehension of the computer-aided design (CAD) interface: Understanding visual representations of CAD tools. Journal of Engineering Design, 14(2), 169–185. https://doi.org/10.1080/0954482031000091491

Diagrams Editors Specification Using Reusable Components

International audienceModel Driven Engineering (MDE) encourages the use of graphical modeling tools, which facilitate the development process from modeling to coding. Such tools can be designed using the MDE approach into metamodeling environments called metaCASE tools. It turned out that the implementation of such tools is made by technologies which need as much effort as resources for modest results, requiring in most cases additional programming efforts for their adaptation. Some of these technologies are suffering from weaknesses especially in terms of reusability. In this context, this paper proposes an evaluation for modeling editors. It discusses the current state of the art, compares what was done in every tool that we evaluate; according to relevant criteria; and propose "MID": a set of metamodels supporting the easy specification of modeling editors by means of reusable components

IDENTIFICATION AND QUANTIFICATION OF VARIABILITY MEASURES AFFECTING CODE REUSABILITY IN OPEN SOURCE ENVIRONMENT

Open source software (OSS) is one of the emerging areas in software engineering, and is gaining the interest of the software development community. OSS was started as a movement, and for many years software developers contributed to it as their hobby (non commercial purpose). Now, OSS components are being reused in CBSD (commercial purpose). However, recently, the use of OSS in SPL is envisioned recently by software engineering researchers, thus bringing it into a new arena. Being an emerging research area, it demands exploratory study to explore the dimensions of this phenomenon. Furthermore, there is a need to assess the reusability of OSS which is the focal point of these disciplines (CBSE, SPL, and OSS). In this research, a mixed method based approach is employed which is specifically 'partially mixed sequential dominant study'. It involves both qualitative (interviews) and quantitative phases (survey and experiment). During the qualitative phase seven respondents were involved, sample size of survey was 396, and three experiments were conducted. The main contribution of this study is results of exploration of the phenomenon 'reuse of OSS in reuse intensive software development'. The findings include 7 categories and 39 dimensions. One of the dimension factors affecting reusability was carried to the quantitative phase (survey and experiment). On basis of the findings, proposal for reusability attribute model was presented at class and package level. Variability is one of the newly identified attribute of reusability. A comprehensive theoretical analysis of variability implementation mechanisms is conducted to propose metrics for its assessment. The reusability attribute model is validated by statistical analysis of I 03 classes and 77 packages. An evolutionary reusability analysis of two open source software was conducted, where different versions of software are analyzed for their reusability. The results show a positive correlation between variability and reusability at package level and validate the other identified attributes. The results would be helpful to conduct further studies in this area

From Interactive Open Learner Modelling to Intelligent Mentoring: STyLE-OLM and Beyond

STyLE-OLM (Dimitrova 2003 International Journal of Artificial Intelligence in Education, 13, 35–78) presented a framework for interactive open learner modelling which entails the development of the means by which learners can inspect, discuss and alter the learner model that has been jointly constructed by themselves and the system. This paper outlines the STyLE-OLM framework and reflects on the key challenges it addressed: (a) the design of an appropriate communication medium; this was addressed by proposing a structured language using diagrammatic presentations of conceptual graphs; (b) the management of the interaction with the learner; this was addressed by designing a framework for interactive open learner modelling dialogue utilising dialogue games; (c) the accommodation of different beliefs about the learner’s domain model; this was addressed with a mechanism for maintaining different views about the learner beliefs which adapted belief modal logic operators; and (d) the assessment of any resulting improvements in learner model accuracy and learner reflection; this was addressed in a user study with an instantiation of STyLE-OLM for diagnosing a learner’s knowledge of finance concept, as part of a larger project that developed an intelligent system to assist with learning domain terminology in a foreign language. Reviewing follow on work, we refer to projects by the authors’ students and colleagues leading to further extension and adoption of STyLE-OLM, as well as relevant approaches in open learner modelling which have cited the STyLE-OLM framework. The paper points at outstanding research challenges and outlines future a research direction to extend interactive open learner modelling towards mentor-like intelligent learning systems

A Reusability Assessment of UCP-Based Effort Estimation Framework using Object-Oriented Approach

Software effort estimation has become one of the most important concerns of software industries and Use Case Points (UCP) is seen as one of the most popular estimation models for object-oriented software development. Since year 2005, more than 10 UCP-based effort estimation techniques have been proposed either to give more options or to enhance the capability of UCP. However, there is no guidance for software practitioners to develop a quality UCP-based effort estimation applications. Therefore, we have proposed a new design framework for UCP-based technique to promote reusability in developing software applications. This paper will experiment and provide evidence showing that the framework achieved a good quality design using Quality Model for Objectoriented Design (QMOOD). The results showed that the framework has met five quality attributes and good to be reused as a guideline at the early stages of software development

Quality-aware model-driven service engineering

Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Quality aspects ranging from interoperability to maintainability to performance are of central importance for the integration of heterogeneous, distributed service-based systems. Architecture models can substantially influence quality attributes of the implemented software systems. Besides the benefits of explicit architectures on maintainability and reuse, architectural constraints such as styles, reference architectures and architectural patterns can influence observable software properties such as performance. Empirical performance evaluation is a process of measuring and evaluating the performance of implemented software. We present an approach for addressing the quality of services and service-based systems at the model-level in the context of model-driven service engineering. The focus on architecture-level models is a consequence of the black-box character of services

Aligning a Service Provisioning Model of a Service-Oriented System with the ITIL v.3 Life Cycle

Bringing together the ICT and the business layer of a service-oriented system (SoS) remains a great challenge. Few papers tackle the management of SoS from the business and organizational point of view. One solution is to use the well-known ITIL v.3 framework. The latter enables to transform the organization into a service-oriented organizational which focuses on the value provided to the service customers. In this paper, we align the steps of the service provisioning model with the ITIL v.3 processes. The alignment proposed should help organizations and IT teams to integrate their ICT layer, represented by the SoS, and their business layer, represented by ITIL v.3. One main advantage of this combined use of ITIL and a SoS is the full service orientation of the company.Comment: This document is the technical work of a conference paper submitted to the International Conference on Exploring Service Science 1.5 (IESS 2015