Modelling the GSM handover protocol in CommUnity

CommUnity is a formal approach to software architecture. It has a precise, yet intuitive mathematical semantics based on category theory. It supports, at the methodological level, a clear separation between computation, coordination, and distribution (including mobility). It provides a simple state-based language for describing component behaviour that is inspired by Unity and Interacting Processes. It also addresses composition as a first class concern and accounts for the emergence of global system properties from interconnections. This paper describes the approach and available tool support by modelling essential aspects of the GSM handover protocol. We also sketch a framework that we are implementing for the distributed execution of such specifications using Klava, a Java library for mobile agent systems based on tuple spaces

Mobile Process Landscaping by Example of Residential Trade and Industry

This case study describes the method of process landscaping by example of a project in which the business processes of a company from the residential trade and industry were analyzed regarding their mobile potential. This analysis was conducted with the aim to organize these processes more efficiently in order to realize cost savings. Therefore a verification was required, whether the use of mobility supporting technology is suitable to obtain this goal and which professional requirements such a solution needs to fulfil. For that purpose, it is shown how the initial situation was analyzed, which alternative solutions on the basis of mobility supporting technology were developed and how these alternatives were economically evaluated. Furthermore, it is shown how first restrictions for the software and system design were made on the basis of one alternative. The method of Mobile Process Landscaping refers to the stage of requirements engineering in the software process

Mobile Process Landscaping by Example of Residential Trade and Industry

This case study describes the method of process landscaping by example of a project in which the business processes of a company from the residential trade and industry were analyzed regarding their mobile potential. This analysis was conducted with the aim to organize these processes more efficiently in order to realize cost savings. Therefore a verification was required, whether the use of mobility supporting technology is suitable to obtain this goal and which professional requirements such a solution needs to fulfil. For that purpose, it is shown how the initial situation was analyzed, which alternative solutions on the basis of mobility supporting technology were developed and how these alternatives were economically evaluated. Furthermore, it is shown how first restrictions for the software and system design were made on the basis of one alternative. The method of Mobile Process Landscaping refers to the stage of requirements engineering in the software process

Modeling and Analysis of Multicommodity Network Flows via Goal Programming

In this research we focused on the mobility system modeled by the AMC mobility planner\u27s calculator (AMPCALC). We developed AMPCALC as a user-friendly tool and allow the user to easily carry out strategic airlift, air refueling and aeromedical evacuation calculations that are covered in Air Force Pamphlet 10-1403. In this study, Excel software and its macro language, Visual Basic for Application, are our two main tools. In the methodology of the thesis we examined fundamental aspects of the mobility system in AMPCALC. We discussed formulation logic of the mobility cycle. We presented ramp use optimization and tanker optimization processes. We also conducted verification and validation of AMPCALC. Sensitivity analysis of the model includes a response surface study. To be able to investigate the main effects and interaction effects of the input factors on closure time, we performed a 26 factorial design. No linear relations are observed, but some relations between inputs and closure time are observed

Dynamic, interactive and visual analysis of population distribution and mobility dynamics in an urban environment using the mobility explorer framework

© 2017 by the authors. This paper investigates the extent to which a mobile data source can be utilised to generate new information intelligence for decision-making in smart city planning processes. In this regard, the Mobility Explorer framework is introduced and applied to the City of Vienna (Austria) by using anonymised mobile phone data from a mobile phone service provider. This framework identifies five necessary elements that are needed to develop complex planning applications. As part of the investigation and experiments a new dynamic software tool, called Mobility Explorer, has been designed and developed based on the requirements of the planning department of the City of Vienna. As a result, the Mobility Explorer enables city stakeholders to interactively visualise the dynamic diurnal population distribution, mobility patterns and various other complex outputs for planning needs. Based on the experiences during the development phase, this paper discusses mobile data issues, presents the visual interface, performs various user-defined analyses, demonstrates the application's usefulness and critically reflects on the evaluation results of the citizens' motion exploration that reveal the great potential of mobile phone data in smart city planning but also depict its limitations. These experiences and lessons learned from the Mobility Explorer application development provide useful insights for other cities and planners who want to make informed decisions using mobile phone data in their city planning processes through dynamic visualisation of Call Data Record (CDR) data

When Agile Means Staying: A Moderated Mediated Model

The design of software development methods focuses on improving task processes, including accommodating changing user requirements and accelerating product delivery. However, there is limited research on how the use of different software development methods impacts IT professionals’ perceptions of organizational mobility. Drawing on concepts from the agile development literature and job characteristics theory, we formulate a moderated mediation model explicating the mechanism and the condition under which agile development use exerts an influence on IT professionals’ intention to stay with their current employer. Specifically, we examine job satisfaction as mediating the effect of using agile development on the intention to stay as well as how the strength of the mediated relationship differs across firms. We test our hypotheses using a sample of 32,389 software developers. We find that job satisfaction fully mediates the effect of using agile development on the intention to stay. The strength of the mediation effect is significantly different for large and small firms

Cost Estimate Modeling of Transportation Management Plans for Highway Projects, Research Report 11-24

Highway rehabilitation and reconstruction projects frequently cause road congestion and increase safety concerns while limiting access for road users. State Transportation Agencies (STAs) are challenged to find safer and more efficient ways to renew deteriorating roadways in urban areas. To better address the work zone issues, the Federal Highway Administration published updates to the Work Zone Safety and Mobility Rule. All state and local governments receiving federal aid funding were required to comply with the provisions of the rule no later than October 12, 2007. One of the rule’s major elements is to develop and implement Transportation Management Plans (TMPs). Using well-developed TMP strategies, work zone safety and mobility can be enhanced while road user costs can be minimized. The cost of a TMP for a road project is generally considered a high-cost item and, therefore, must be quantified. However, no tools or systematic modeling methods are available to assist agency engineers with TMP cost estimating. This research included reviewing TMP reports for recent Caltrans projects regarding state-of-the-art TMP practices and input from the district TMP traffic engineers. The researchers collected Caltrans highway project data regarding TMP cost estimating. Then, using Construction Analysis for Pavement Rehabilitation Strategies (CA4PRS) software, the researchers performed case studies. Based on the CA4PRS outcomes of the case studies, a TMP strategy selection and cost estimate (STELCE) model for Caltrans highway projects was proposed. To validate the proposed model, the research demonstrated an application for selecting TMP strategies and estimating TMP costs. Regarding the model’s limitation, the proposed TMP STELCE model was developed based on Caltrans TMP practices and strategies. Therefore, other STAs might require adjustments and modifications, reflecting their TMP processes, before adopting this model. Finally, the authors recommended that a more detailed step-by-step TMP strategy selection and cost estimate process be included in the TMP guidelines to improve the accuracy of TMP cost estimates

Proceedings of International Workshop "Global Computing: Programming Environments, Languages, Security and Analysis of Systems"

According to the IST/ FET proactive initiative on GLOBAL COMPUTING, the goal is to obtain techniques (models, frameworks, methods, algorithms) for constructing systems that are flexible, dependable, secure, robust and efficient. The dominant concerns are not those of representing and manipulating data efficiently but rather those of handling the co-ordination and interaction, security, reliability, robustness, failure modes, and control of risk of the entities in the system and the overall design, description and performance of the system itself. Completely different paradigms of computer science may have to be developed to tackle these issues effectively. The research should concentrate on systems having the following characteristics: • The systems are composed of autonomous computational entities where activity is not centrally controlled, either because global control is impossible or impractical, or because the entities are created or controlled by different owners. • The computational entities are mobile, due to the movement of the physical platforms or by movement of the entity from one platform to another. • The configuration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behaviour of the entities may vary over time. • The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. The ultimate goal of the research action is to provide a solid scientific foundation for the design of such systems, and to lay the groundwork for achieving effective principles for building and analysing such systems. This workshop covers the aspects related to languages and programming environments as well as analysis of systems and resources involving 9 projects (AGILE , DART, DEGAS , MIKADO, MRG, MYTHS, PEPITO, PROFUNDIS, SECURE) out of the 13 founded under the initiative. After an year from the start of the projects, the goal of the workshop is to fix the state of the art on the topics covered by the two clusters related to programming environments and analysis of systems as well as to devise strategies and new ideas to profitably continue the research effort towards the overall objective of the initiative. We acknowledge the Dipartimento di Informatica and Tlc of the University of Trento, the Comune di Rovereto, the project DEGAS for partially funding the event and the Events and Meetings Office of the University of Trento for the valuable collaboration

Approaching delivery as a service

This paper explores the new logistics business model of Delivery as a Service, a concept aiming at a more efficient, fast and customer-oriented practice, linking IT solution development, urban logistics operations, supply chain efficiency and new business models. Delivery as a Service (DaaS) is defined as a service-oriented delivery and business processes in line with customer expectations and needs in the on-demand economy. The approach of this paper is an industry report based on evidence collected in multiple exploratory European projects integrating ambitious and strategic findings on Internet of Things, urban planning, consolidation centres, transport optimisation, and clean vehicle use. It contributes to a future scenario of urban logistics business models