Factors influencing the use of an artificial intelligence-based app (selfBACK) for tailored self-management support among adults with neck and/or low back pain.

PURPOSE: Tailored self-management support is recommended as first-line treatment for neck and low back pain, for which mHealth applications could be promising. However, there is limited knowledge about factors influencing the engagement with such apps. The aim of this study was to assess barriers and facilitators for engaging with a self-management mHealth app among adults suffering from neck and/or low back pain. MATERIALS AND METHODS: We carried out a qualitative descriptive study among adults with neck and/or low back pain. The artificial intelligence-based selfBACK app supports tailored self-management of neck and low back pain and was used for 6 weeks. After these 6 weeks, participants were interviewed by phone. RESULTS: Thirty-two adults (17 males) with neck and/or low back pain participated (mean age = 54.9 (SD = 15.8)). Our results show that the mode of delivery and the novelty of the selfBACK app were perceived most often as a barrier to use the app. The action plans of the app and health-related factors were perceived most often as facilitating factors. CONCLUSIONS: This study provides insight into possible strategies to improve an mHealth service. Furthermore, it shows that adults with neck and/or low back pain are willing and ready to receive blended treatment.

Adults with neck and/or low back pain are willing to receive blended care (combination of face-to-face contact with healthcare professional and use of eHealth service)When implementing eHealth services in rehabilitation treatment of adults with neck and/or low back pain, rehabilitation professionals need to choose an eHealth service which includes individual action plans, evidence-based content with health benefits, goal setting and rewards and incentives.When implementing eHealth services in rehabilitation treatment of adults with neck and/or low back pain, rehabilitation professionals need to choose an eHealth service which can be used on someone's own smartphone.When implementing eHealth services in rehabilitation treatment of adults with neck and/or low back pain, rehabilitation professionals need to educate their patients about the importance and possible long-term benefits of self-managing their pain.

Shift work, inflammation and musculoskeletal pain-The HUNT Study.

BACKGROUND: Studies have indicated that shift work, in particular night work, is associated with chronic musculoskeletal pain but the mechanisms are unclear. It has been suggested that sleep disturbance, a common complaint among shift and night workers, may induce low-grade inflammation as well as heightened pain sensitivity. AIMS: Firstly, this study was aimed to examine the cross-sectional associations between shift work, C-reactive protein (CRP) level and chronic musculoskeletal pain, and secondly, to analyse CRP as a mediator between shift work and chronic musculoskeletal pain. METHODS: The study included 23 223 vocationally active women and men who participated in the HUNT4 Survey of the Trøndelag Health Study (HUNT). Information was collected by questionnaires, interviews, biological samples and clinical examination. RESULTS: Regression analyses adjusted for sex, age and education revealed significant associations between shift work and odds of any chronic musculoskeletal pain (odd ratio [OR] 1.11, 95% confidence interval [CI] 1.04-1.19), between shift work and CRP level (OR 1.09, 95% CI 1.03-1.16) and between CRP level 3.00-10 mg/L and any chronic musculoskeletal pain (OR 1.38, 95% CI 1.27-1.51). Shift work and CRP were also associated with number of chronic pain sites. Mediation analysis indicated that shift work was indirectly associated with any chronic musculoskeletal pain through CRP (OR 1.03, 95% CI 1.01-1.06). CONCLUSIONS: The results support the hypothesis that shift work is associated with chronic musculoskeletal pain, and that systemic inflammation may be a biological mechanism linking shift work to chronic pain.

Insomnia and risk of chronic musculoskeletal complaints: longitudinal data from the HUNT study, Norway.

BACKGROUND: The aim of this study was to investigate the prospective association between insomnia and risk of chronic musculoskeletal complaints (CMSC) and chronic widespread musculoskeletal complaints (CWMSC). A second aim was to evaluate the association between insomnia and number of body regions with CMSC at follow-up. METHODS: We used data from the second (HUNT2, 1995-1997) and third (HUNT3, 2006-2008) wave of the Nord-Trøndelag Health Study (the HUNT Study). The population-at-risk included 13,429 people aged 20-70 years who reported no CMSC at baseline in HUNT2 and who answered the questionnaires on insomnia in HUNT2 and CMSC in HUNT3. Insomnia was defined according to the 4th edition of the Diagnostic and Statistical Manual of Mental Disorders (DSM-IV) with minor modification, whereas CMSC was assessed for nine different body regions. CWMSC was defined according to the 1990 criteria by the American College of Rheumatology. We used Poisson regression to estimate adjusted risk ratios (RRs) for CMSC and CWMSC at 11 years follow-up. Precision of the estimates was assessed by a 95% confidence interval (CIs). RESULTS: Insomnia at baseline was associated with increased risk of any CMSC (RR 1.16, 95% CI 1.03-1.32) and CWMSC (RR 1.58, 95% CI 1.26-1.98) at follow-up. RR for CMSC for specific body regions ranged from 1.34 (95% CI 1.05-1.73) for the knees and 1.34 (1.10-1.63) for the neck to 1.60 (95% CI 1.19-2.14) for the ankles/ft. Further, insomnia was associated with increased risk of CMSC in 3-4 regions (RR 1.36, 95% CI 1.05-1.77), and 5 or more regions (RR 1.93, 95% CI 1.40-2.66), but not 1-2 regions (RR 0.99, 95% CI 0.80-1.24). CONCLUSIONS: Insomnia is associated with increased risk of CMSC, CWMSC, and CMSC located in 3 or more body regions.

Resistance band training or general exercise in multidisciplinary rehabilitation of low back pain? A randomized trial.

Multidisciplinary biopsychosocial rehabilitation has been recommended for chronic low back pain (LBP), including physical exercise. However, which exercise modality that is most advantageous in multidisciplinary biopsychosocial rehabilitation is unclear. In this study, we investigated whether multidisciplinary biopsychosocial rehabilitation could be more effective in reducing pain-related disability when general physical exercise was replaced by strength training in the form of progressive resistance training using elastic resistance bands. In this single-blinded (researchers), randomized controlled trial, 99 consenting adults with moderate-to-severe non-specific LBP were randomized to three weeks of multidisciplinary biopsychosocial rehabilitation with either general physical exercise or progressive resistance band training and were then instructed to continue with their respective home-based programs for nine additional weeks, in which three booster sessions were offered. The primary outcome was between-group difference in change on the Oswestry Disability Index (ODI) at 12 weeks. Due to early dropouts, data from 74 participants (mean age: 45 years, 57% women, mean ODI: 30.4) were obtained at baseline, 61 participants were followed-up at 3 weeks, and 46 at 12 weeks. There was no difference in the change in ODI score between groups at 12 weeks (mean difference 1.9, 95% CI: -3.6, 7.4, P = .49). Likewise, the change in secondary outcomes did not differ between groups, except for the patient-specific functional scale (0-10), which favored general physical exercise (mean difference 1.4, 95% CI: 0.1, 2.7, P = .033). In conclusion, this study does not support that progressive resistance band training compared to general physical exercise improve outcomes in multidisciplinary biopsychosocial rehabilitation for patients with non-specific LBP.

Parental chronic widespread pain and the association with chronic widespread pain in adult offspring: Family-linkage data from the Norwegian HUNT Study.

BACKGROUND: Individuals experiencing chronic widespread pain (CWP) have greater disability and poorer quality of life compared to those with other chronic painful conditions; although research identifying risk factors for CWP is lacking. We aimed to investigate whether parental CWP increases the risk of offspring CWP, and if offspring body mass index (BMI) and leisure time physical activity modify this association. METHODS: We included 6589 parent-offspring trios participating in the Norwegian HUNT Study in 1995-1997 and 2006-2008. Logistic regression was used to calculate adjusted odd ratios (ORs) (95% confidence intervals, CIs) as estimates of relative risk for offspring CWP. We analysed the joint effect of parental CWP and offspring BMI or leisure time physical activity on offspring risk of CWP and calculated the relative excess risk due to interaction (RERI). RESULTS: In total, 886 (13.5%) offspring developed CWP during follow-up. Having one (OR = 1.23, 95% CI, 1.05-1.44) or both parents with CWP (OR = 1.89, 95% CI, 1.50-2.38) increased the risk of offspring CWP. In analyses of joint effects, ORs were 1.84 (95% CI, 1.31-2.56) and 3.35 (95% CI, 1.94-5.77) in normal weight and obese offspring, respectively, when both parents had CWP. The estimate of RERI suggested some synergistic effect (RERI = 1.19, 95% CI, -0.68 to 3.05), although precision was low. Risk of CWP was similar in active (OR = 2.05, 95% CI, 1.56-2.70) and inactive (OR = 1.96, 95% CI, 1.31-2.91) offspring when both parents had CWP. CONCLUSION: Parental CWP increases the risk of CWP in adult offspring, particularly if both parents have CWP and offspring are obese. This highlights a familial predisposition for CWP and an important target group for preventive measures. SIGNIFICANCE: The parent-offspring transmission of CWP is stronger in obese offspring (particularly when both parents have CWP). This study is the first to investigate the interaction between modifiable lifestyle factors, familial factors and CWP.

Neck/upper back and low back pain in parents and their adult offspring: Family linkage data from the Norwegian HUNT Study.

BACKGROUND: Chronic pain in the neck and low back is highly prevalent. Although heritable components have been identified, knowledge about generational transmission of spinal pain between parents and their adult offspring is sparse. METHODS: This study examined the intergenerational association of spinal pain using data from 11,081 parent-offspring trios participating in the population-based HUNT Study in Norway. Logistic regression was used to calculate adjusted odds ratios (ORs) with 95% confidence intervals (CIs) for offspring spinal pain associated with parental spinal pain. RESULTS: In total, 3654 (33%) offspring reported spinal pain at participation. Maternal and paternal spinal pain was consistently associated with higher ORs for offspring spinal pain. The results suggest a slightly stronger association for parental multilevel spinal pain (i.e., both neck/upper back pain and low back pain) than for pain localized to the neck/upper back or low back. Multilevel spinal pain in both parents was associated with ORs of 2.6 (95% CI, 2.1-3.3), 2.4 (95% CI, 1.9-3.1) and 3.1 (95% CI, 2.2-4.4) for offspring neck/upper back, low back and multilevel spinal pain, respectively. CONCLUSION: Parental chronic spinal pain was consistently associated with increased occurrence of chronic spinal pain in their adult offspring, and this association was particularly strong for multilevel spinal pain.

Should physical activity recommendation depend on state of low back pain?

BACKGROUND: Leisure time physical activity is recommended for preventing long-term sickness absence (LTSA). Although low back pain (LBP) is a risk factor for sickness absence and physical activity is recommended for people with LBP, it is unknown if leisure time physical activity prevents LTSA among persons with different levels of LBP. METHODS: Prospective cohort study among 8655 Danish female healthcare workers responding to a questionnaire in 2004-2005 on leisure time physical activity and LBP, and subsequently followed for 1 year on periods with LTSA ∼2 consecutive weeks or more of sickness absence in a national register of social transfer payments (DREAM). Multi-adjusted Cox regression analysis was used to model risk estimates for LTSA associated with low, moderate, high and very high leisure time physical activity at baseline among healthcare workers with no LBP (0 days past 12 months, n = 2761), non-chronic LBP (1-30 days the past 12 months, n = 3942) and persistent LBP (>30 days the past 12 months, n = 1952). RESULTS: A strongly reduced risk for LTSA from high leisure time physical activity was found among healthcare workers with no LBP [hazard ratio (HR): 95% confidence interval (CI) 0.47:0.23-0.97 for low vs. very high activity] and non-chronic LBP (HR: 95%CI 0.43:0.23-0.84 of low vs. very high activity), but not among healthcare workers with persistent LBP (HR: 95%CI 1.15:0.55-2.44 of low vs. very high activity). CONCLUSIONS: Leisure time physical activity is a strong predictive factor on LTSA among female healthcare workers with no and non-chronic LBP, but not among those with more persistent LBP.

Metabolic rate, cardiac response, and aerobic capacity in fibromyalgia: a case-control study.

OBJECTIVES: Several studies report reduced aerobic capacity in patients with fibromyalgia (FM). The purpose of our study was to investigate whether a reduction in aerobic capacity in these patients is accompanied by alterations in metabolic rate and heart rate (HR) response. METHOD: Twelve women with FM and 12 healthy controls (HCs) matched on sex and age, and with similar leisure time physical activity, participated in the study. All subjects performed an incremental submaximal cycle ergometer test to anaerobic threshold [AT; i.e. blood lactate concentration (bLa) ≥ 4 mmol/L], followed by a stepwise test to exhaustion to estimate maximal oxygen consumption (VO(2max)). RESULTS: Oxygen consumption and workload were lower among patients than HCs both at AT and at termination of the VO(2max) test (p < 0.011 for all comparisons). Two patients (18%) and nine HCs (75%) reached VO(2max) criteria. The relationship between metabolic rate and workload did not differ between groups at exercise below AT. At exercise above AT, the metabolic rate increased disproportionally to workload in the patients. Although the patients had a higher anaerobic contribution to the total metabolic rate at the end of the submaximal test, the anaerobic contribution at the end of the maximal test did not differ between groups. HR responses were largely similar between groups. CONCLUSIONS: The current study indicates that patients with FM have similar metabolic and cardiovascular responses to submaximal exercise as HCs. However, these patients have reduced ability to reach VO(2max) and a possible deficit in the metabolic system when exercising above the AT.

Physical exercise, body mass index and risk of chronic arm pain: longitudinal data on an adult population in Norway.

AIM: The aim of this study was to prospectively investigate the association between leisure time physical exercise, body mass index (BMI) and risk of chronic arm pain. METHODS: The study population comprises 14,041 women and 13,674 men in the Norwegian HUNT Study without musculoskeletal pain or physical impairment at baseline in 1984-86. Chronic arm pain was assessed at follow-up in 1995-97. A generalized linear model was used to calculate adjusted relative risks (RRs). RESULTS: At follow-up, 2205 women and 1458 men reported chronic arm pain. Level of physical exercise was inversely associated with risk of chronic arm pain (P-trend, ≤0.03 for both sexes). Compared with inactive persons, women and men who exercised ≥ 2 h/week had adjusted RRs of 0.84 [95% confidence interval (CI), 0.73-0.96] and 0.74 (95% CI, 0.63-0.87), respectively. BMI was positively associated with risk of chronic arm pain (P-trend, ≤0.002 for both sexes). Compared with normal-weight persons, women and men classified as obese (BMI ≥ 30 kg/m2) had adjusted RRs of 1.26 (95% CI, 1.11-1.44) and 1.29 (95% CI, 1.07-1.57), respectively. Combined analysis showed that obese women and men who exercised ≥ 1 h/week had a RR of 1.20 (95% CI 0.97-1.48) compared with normal-weight women and men with a similar activity level, whereas the RR was 1.41 (95% CI 1.21-1.65) for obese women and men who were physically inactive. CONCLUSION: Regular physical exercise reduces risk of chronic arm pain while high BMI increases the risk. Exercise can to some extent compensate for the adverse effect of obesity on risk of chronic arm pain.

Heart rate variability in fibromyalgia patients and healthy controls during non-REM and REM sleep: a case-control study.

OBJECTIVES: To investigate heart rate variability (HRV) in fibromyalgia (FM) patients and healthy controls (HCs) during different sleep stages, and to examine the association of HRV with pain and sleep quality. METHOD: Polysomnography was recorded from 23 female FM patients and 22 age- and sex-matched HCs. HRV was recorded from bedtime until awakening including the standard deviation of normal-to-normal intervals (SDNN), the root mean square successive difference (RMSSD), and the low (LF; 0.04-0.15 Hz) and high (HF; 0.15-0.4 Hz) frequency power. Subjective scores of neck/shoulder pain and sleep quality were obtained at bedtime and awakening. RESULTS: Both patients and HCs showed high incidence of arousals per hour (FM: 16 ± 9.7; HCs: 17 ± 11). RMSSD was lower in patients than HCs during non-rapid eye movement (non-REM) stage 2 (N2) sleep (mean ± SD; 30 ± 12 ms vs. 42 ± 13 ms, p < 0.002) and during REM sleep (23 ± 11 ms vs. 37 ± 16 ms, p < 0.003). HRV did not differ between groups during N3 sleep (p > 0.19 for all comparisons). In patients, SDNN, RMSSD, and HF power showed modest positive correlations with sleep quality (HF power during N3 sleep showed the highest correlation; Spearman's ρ = 0.54) and modest negative correlations with neck/shoulder pain (RMSSD during N3 sleep showed the highest correlation with pain at bedtime; Spearman's ρ = -0.51). CONCLUSIONS: RMSSD, indicative of parasympathetic predominance, is attenuated in FM patients compared to HCs during N2 sleep and REM sleep. This difference was not present for the HF component. HRV during sleep in FM patients is moderately and positively associated with sleep quality and moderately and negatively associated with neck/shoulder pain.

The use of EMG biofeedback for learning of selective activation of intra-muscular parts within the serratus anterior muscle: a novel approach for rehabilitation of scapular muscle imbalance.

Motor control and learning possibilities of scapular muscles are of clinical interest for restoring scapular muscle balance in patients with neck and shoulder disorders. The aim of the study was to investigate whether selective voluntary activation of intra-muscular parts within the serratus anterior can be learned with electromyographical (EMG) biofeedback, and whether the lower serratus anterior and the lower trapezius muscle comprise the lower scapula rotation force couple by synergistic activation. Nine healthy males practiced selective activation of intra-muscular parts within the serratus anterior with visual EMG biofeedback, while the activity of four parts of the serratus anterior and four parts of the trapezius muscle was recorded. One subject was able to selectively activate both the upper and the lower serratus anterior respectively. Moreover, three subjects managed to selectively activate the lower serratus anterior, and two subjects learned to selectively activate the upper serratus anterior. During selective activation of the lower serratus anterior, the activity of this muscle part was 14.4+/-10.3 times higher than the upper serratus anterior activity (P<0.05). The corresponding ratio for selective upper serratus vs. lower serratus anterior activity was 6.4+/-1.7 (P<0.05). Moreover, selective activation of the lower parts of the serratus anterior evoked 7.7+/-8.5 times higher synergistic activity of the lower trapezius compared with the upper trapezius (P<0.05). The learning of complete selective activation of both the lower and the upper serratus anterior of one subject, and selective activation of either the upper or lower serratus anterior by five subjects designates the promising clinical application of EMG biofeedback for restoring scapular muscle balance. The synergistic activation between the lower serratus anterior and the lower trapezius muscle was observed in only a few subjects, and future studies including more subjects are required before conclusions of a lower scapula rotation couple can be drawn.

Selective activation of neuromuscular compartments within the human trapezius muscle.

Task-dependent differences in relative activity between "functional" subdivisions within human muscles are well documented. Contrary, independent voluntary control of anatomical subdivisions, termed neuromuscular compartments is not observed in human muscles. Therefore, the main aim of this study was to investigate whether subdivisions within the human trapezius can be independently activated by voluntary command using biofeedback guidance. Bipolar electromyographical electrodes were situated on four subdivisions of the trapezius muscle. The threshold for "active" and "rest" for each subdivision was set to >12% and <1.5% of the maximal electromyographical amplitude recorded during a maximal voluntary contraction. After 1h with biofeedback from each of the four trapezius subdivisions, 11 of 15 subjects learned selective activation of at least one of the four anatomical subdivisions of the trapezius muscle. All subjects managed to voluntarily activate the lower subdivisions independently from the upper subdivisions. Half of the subjects succeeded to voluntarily activate both upper subdivisions independently from the two lower subdivisions. These findings show that anatomical subdivisions of the human trapezius muscle can be independently activated by voluntary command, indicating neuromuscular compartmentalization of the trapezius muscle. The independent activation of the upper and lower subdivisions of the trapezius is in accordance with the selective innervation by the fine cranial and main branch of the accessory nerve to the upper and lower subdivisions. These findings provide new insight into motor control characteristics, learning possibilities, and function of the clinically relevant human trapezius muscle.

BioMediator data integration: beyond genomics to neuroscience data.

The BioMediator system developed at the University of Washington (UW) provides a theoretical and practical foundation for data integration across diverse biomedical research domains and various data types. In this paper we demonstrate the generalizability of its architecture through its application to the UW Human Brain Project (HBP) for understanding language organization in the brain. We first describe the system architecture and the characteristics of the four data sources developed by the UW HBP. Second we present the process of developing the application prototype for HBP neuroscience researchers posing queries across these semantically and syntactically heterogeneous neurophysiologic data sources. Then we discuss the benefits and potential limitations of the BioMediator system as a general data integration solution for different user groups in genomic and neuroscience research domains.

Integration of data for gene annotation using the BioMediator system.

Gene annotation requires integration of data from multiple sources in order to functionally classify genes. We are using BioMediator, a general purpose data-integration solution, to develop a gene annotation system to automate the process of collecting data from disparate genomic databases. Integration of annotation data from multiple sources into a single format will facilitate use of analytic tools for the proper functional classification of genes.

Firing patterns of low-threshold trapezius motor units in feedback-controlled contractions and vocational motor activities.

The study aimed to examine firing patterns of low-threshold trapezius motor units, with attention given to motor unit recruitment threshold. Different motor tasks were explored: shoulder elevation, arm movement in typing, and the motor response to mental stress. Contraction amplitudes in the range from 1 to 10% of the surface electromyographic (SEMG) signal at maximal voluntary contraction (1-10% EMGmax) were studied, representing the range of trapezius muscle activity commonly observed in daily living. Single motor unit activity was recorded by a quadrifilar fine-wire electrode. A surface electrode simultaneously recorded the SEMG signal. Low-threshold motor units showed a small increase in mean firing rate, from 10.5 to 12.5 pulses per second ( p<0.01), in constant-amplitude contractions when SEMG amplitude increased from <2% to >4% EMGmax. After the first few minutes, firing rates were similar for all motor units in a contraction, despite different recruitment thresholds. Firing rates of motor units with threshold <2% EMGmax were the same in constant-amplitude contractions, contractions with vocational arm movement, and contractions with imposed stress for SEMG amplitude at the same level. High-frequency firing patterns were observed in dynamic contractions, limited to bursts of up to a second duration. We conclude that low-threshold trapezius motor units have similar, stable firing rates in sustained contractions, independent of task and recruitment threshold, but with a small increase for increasing contraction amplitude.

Expression array annotation using the BioMediator biological data integration system and the BioConductor analytic platform.

This paper presents the implementation of a model for expression array annotation (EAA) using the BioMediator biological data integration system along with BioConductor, an analytic tools platform. The model presented addresses the need for annotation sources identified during BioConductor inverted exclamation mark s development. Annotation provides us with well-curated genomic background knowledge for expression array analysis and interpretation. Annotation requests are constructed and posted to the query interface of the EAA package (the EAA model implemented as a component of BioConductor). The software enumerates all possible annotation paths for queries. These are then transformed to PQL queries and processed by BioMediator. Annotation entities returned from the EAA package answer the annotation request.

PQL: a declarative query language over dynamic biological schemata.

We introduce the PQL query language (PQL) used in the GeneSeek genetic data integration project. PQL incorporates many features of query languages for semi-structured data. To this we add the ability to express metadata constraints like intended semantics and database curation approach. These constraints guide the dynamic generation of potential query plans. This allows a single query to remain relevant even in the presence of source and mediated schemas that are continually evolving, as is often the case in data integration.

A rule driven bi-directional translation system for remapping queries and result sets between a mediated schema and heterogeneous data sources.

As the number of online biomedical data sources increases, so too do the number of ways to access such data. The research described herein focuses on creating a data access system that provides bi-directional translation and mapping of data between heterogeneous databases and a mediated schema. Semantic mapping rules stored in a knowledge base are used by our generalized software to convert XML query results obtained from each data source to a common schema representing a single ontology. We apply this approach to the domain of online genetic databases, demonstrating the system's scalability and integratability.

A model for data integration systems of biomedical data applied to online genetic databases.

We present a general model for data integration systems using a mediated schema to represent commonalities in the underlying sources. These sources are mapped to the mediated schema using source descriptions. Users can pose queries against the mediated schema, allowing the system to generate automatically a query plan that enumerates and ranks all possible ways in which the query could be answered. We apply this approach to the domain of online genetic databases, demonstrating the system s ability to answer relevant queries across multiple sources.

GLIF3: the evolution of a guideline representation format.

The Guideline Interchange Format (GLIF) is a language for structured representation of guidelines. It was developed to facilitate sharing clinical guidelines. GLIF version 2 enabled modeling a guideline as a flowchart of structured steps, representing clinical actions and decisions. However, the attributes of structured constructs were defined as text strings that could not be parsed, and such guidelines could not be used for computer-based execution that requires automatic inference. GLIF3 is a new version of GLIF designed to support computer-based execution. GLIF3 builds upon the framework set by GLIF2 but augments it by introducing several new constructs and extending GLIF2 constructs to allow a more formal definition of decision criteria, action specifications and patient data. GLIF3 enables guideline encoding at three levels: a conceptual flowchart, a computable specification that can be verified for logical consistency and completeness, and an implementable specification that can be incorporated into particular institutional information systems.